-
Notifications
You must be signed in to change notification settings - Fork 11
/
dune-project
122 lines (111 loc) · 2.12 KB
/
dune-project
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
(lang dune 3.14)
(name kcas)
(generate_opam_files true)
(implicit_transitive_deps false)
(authors
"KC Sivaramakrishnan <[email protected]>"
"Vesa Karvonen <[email protected]>")
(maintainers
"Vesa Karvonen <[email protected]>"
"KC Sivaramakrishnan <[email protected]>")
(source
(github ocaml-multicore/kcas))
(homepage "https://github.com/ocaml-multicore/kcas")
(license ISC)
(using mdx 0.4)
(package
(name kcas)
(synopsis
"Software transactional memory based on lock-free multi-word compare-and-set")
(description
"A software transactional memory (STM) implementation based on an atomic lock-free multi-word compare-and-set (MCAS) algorithm enhanced with read-only compare operations and ability to block awaiting for changes.")
(depends
(ocaml
(>= 4.13.0))
(backoff
(>= 0.1.1))
(domain-local-await
(>= 1.0.1))
(domain-local-timeout
(>= 1.0.1))
(multicore-magic
(>= 2.3.0))
(domain_shims
(and
(>= 0.1.0)
:with-test))
(alcotest
(and
(>= 1.8.0)
:with-test))
(qcheck-core
(and
(>= 0.21.2)
:with-test))
(qcheck-stm
(and
(>= 0.3)
:with-test))
(mdx
(and
(>= 2.4.1)
:with-test))
(sherlodoc
(and
(>= 0.2)
:with-doc))
(odoc
(and
(>= 2.4.2)
:with-doc))))
(package
(name kcas_data)
(synopsis
"Compositional lock-free data structures and primitives for communication and synchronization")
(description
"A library of compositional lock-free data structures and primitives for communication and synchronization implemented using kcas.")
(depends
(kcas
(= :version))
(multicore-magic
(>= 2.3.0))
(backoff
(and
(>= 0.1.1)
:with-test))
(domain-local-await
(and
(>= 1.0.1)
:with-test))
(domain_shims
(and
(>= 0.1.0)
:with-test))
(multicore-bench
(and
(>= 0.1.7)
:with-test))
(alcotest
(and
(>= 1.8.0)
:with-test))
(qcheck-core
(and
(>= 0.21.2)
:with-test))
(qcheck-stm
(and
(>= 0.3)
:with-test))
(mdx
(and
(>= 2.4.1)
:with-test))
(sherlodoc
(and
(>= 0.2)
:with-doc))
(odoc
(and
(>= 2.4.2)
:with-doc))))