Compare commits

...

56 commits

Author SHA1 Message Date
Simon Cruanes
9aebd8b932 Merge branch 'master' into stable 2018-01-21 15:45:16 -06:00
Simon Cruanes
3de5400579 Merge branch 'master' into stable for 2.0 alpha 2018-01-21 15:42:36 -06:00
Simon Cruanes
d0223f053f Merge branch 'master' into stable for 2.0~alpha1 2018-01-21 15:31:24 -06:00
Simon Cruanes
5ebed4e324 Merge branch 'master' into stable 2018-01-04 11:13:43 -06:00
Simon Cruanes
11e70e329e Merge branch 'master' into stable 2018-01-02 23:43:04 +01:00
Simon Cruanes
a91d504c23 ready for 1.5 2018-01-02 18:15:52 +01:00
Simon Cruanes
46e41f7f84 Merge branch 'master' into stable for 1.5 2018-01-02 18:14:49 +01:00
Simon Cruanes
ad8a61a795 Merge branch 'master' into stable 2017-10-11 09:30:53 +02:00
Simon Cruanes
f24d983b04 Merge branch 'master' into stable for 1.3 2017-07-29 18:13:25 +02:00
Simon Cruanes
32bc0450dc Merge branch 'master' into stable for 1.2 2017-05-01 17:02:29 +02:00
Simon Cruanes
461d6309e7 version 1.1 2017-03-03 16:19:40 +01:00
Simon Cruanes
9fb319966b Merge branch 'master' into stable for 1.1 2017-03-03 16:18:26 +01:00
Simon Cruanes
e52b847e90 Merge branch 'master' into stable for 1.0 2017-02-11 14:31:14 +01:00
Simon Cruanes
265ed02dc6 Merge branch 'master' into stable for 0.22.1 2016-12-29 10:47:40 +01:00
Simon Cruanes
9c80dba89e Merge branch 'master' into stable 2016-12-18 01:35:58 +01:00
Simon Cruanes
d84b1e1369 Merge branch 'master' into stable for 0.21 2016-11-03 16:07:17 +01:00
Simon Cruanes
88025034b6 release 0.20 2016-10-14 11:35:39 +02:00
Simon Cruanes
f6774434cd Merge branch 'master' into stable 2016-10-14 11:34:02 +02:00
Simon Cruanes
47978e4bba Merge branch 'master' into stable for 0.19 2016-08-22 10:01:36 +02:00
Simon Cruanes
ed2b741865 Merge branch 'master' into stable for 0.18 2016-06-14 14:13:29 +02:00
Simon Cruanes
e69ad8a6de Merge branch 'master' into stable 2016-04-22 23:42:29 +02:00
Simon Cruanes
94396b79e0 small release, 0.16.1, for the oasis fix 2016-03-09 10:20:03 +01:00
Simon Cruanes
d541de5d03 re-generate oasis files; remove dep on oasis in opam 2016-03-09 10:13:30 +01:00
Simon Cruanes
c16af69fb3 update opam file 2016-02-24 22:16:33 +01:00
Simon Cruanes
ab183a7348 Merge branch 'master' into stable for 0.16 2016-02-24 22:09:31 +01:00
Simon Cruanes
42c912fe0e Merge branch 'master' into stable for 0.15 2015-12-22 10:38:21 +01:00
Simon Cruanes
8eac492c21 0.14.0.1 with some bugfixes 2015-11-11 17:43:07 +01:00
Simon Cruanes
adc37e48b3 version 0.14 2015-11-08 13:04:55 +01:00
Simon Cruanes
844d39c826 Merge branch 'master' into stable; version 0.13 2015-09-23 16:40:38 +02:00
Simon Cruanes
4e49e2a893 Merge branch 'master' into stable 2015-07-16 11:28:19 +02:00
Simon Cruanes
7bacac2c98 Merge branch 'master' into stable; oasis setup; 0.11 2015-05-24 21:52:22 +02:00
Simon Cruanes
9f562cd657 opam file 2015-04-10 16:49:46 +02:00
Simon Cruanes
e268f2d10c Merge branch 'master' into stable for 0.10 2015-04-10 16:43:16 +02:00
Simon Cruanes
99df5baac2 merge from master 2015-03-17 00:40:09 +01:00
Simon Cruanes
4ed1691eb9 merge bugfixes from master 2015-03-02 16:52:51 +01:00
Simon Cruanes
8054a9f256 version 0.9 (merge from master) 2015-02-27 14:41:09 +01:00
Simon Cruanes
d4fa455365 merge from master (bis) 2015-01-26 20:35:17 +01:00
Simon Cruanes
0d61b48fdd merge from master 2015-01-26 20:28:53 +01:00
Simon Cruanes
a21f097a64 version 0.8 2015-01-26 20:24:52 +01:00
Simon Cruanes
d534d4c50e only build doc if all the required flags are enabled 2014-12-22 17:59:14 +01:00
Simon Cruanes
2efbc8d56b add dependency on sequence for containers.advanced 2014-12-19 20:58:02 +01:00
Simon Cruanes
a8f5c3420f merge from master for 0.7 2014-12-19 20:23:13 +01:00
Simon Cruanes
41e6e5ec75 bugfix in CCIO.read_all and CCIO.read_chunks 2014-12-16 22:36:54 +01:00
Simon Cruanes
31fdc16185 forgot an odocl file 2014-12-08 12:06:40 +01:00
Simon Cruanes
b91d42912a Merge branch 'master' into stable 2014-12-08 10:39:28 +01:00
Simon Cruanes
1b15573acd merge from master; version 0.6 2014-11-23 14:37:21 +01:00
Simon Cruanes
22d9d27c80 version 0.5 2014-11-12 11:03:13 +01:00
Simon Cruanes
e0a47cba9b Merge branch 'master' into stable 2014-11-12 00:03:09 +01:00
Simon Cruanes
608edd9a1a version 0.4.1 2014-10-19 21:59:37 +02:00
Simon Cruanes
0e555bed6c merge from master 2014-10-19 21:14:17 +02:00
Simon Cruanes
2cb86cb93f version 0.4 2014-09-30 17:21:58 +02:00
Simon Cruanes
4e3631c12b forgot build files 2014-09-30 17:17:10 +02:00
Simon Cruanes
a3cfdacc78 oasis files 2014-09-30 17:12:59 +02:00
Simon Cruanes
7d3742e765 merge from master 2014-09-30 17:12:59 +02:00
Simon Cruanes
2fb05ad8b5 merge from master 2014-09-28 15:25:52 +02:00
Simon Cruanes
efc3dcb44d merge from stable (including sequence subtree); 0.3.4 2014-08-09 00:21:50 +02:00
56 changed files with 745 additions and 1 deletions

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: 0f1ca0e2b031ae1710e26abf02cca256)
Containers_advanced
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: 0f1ca0e2b031ae1710e26abf02cca256)
Containers_advanced
# OASIS_STOP

View file

@ -0,0 +1,7 @@
# OASIS_START
# DO NOT EDIT (digest: 5a399cd532edb84596f3034081578694)
CCLinq
CCBatch
CCCat
CCMonadIO
# OASIS_STOP

69
containers.odocl Normal file
View file

@ -0,0 +1,69 @@
# OASIS_START
# DO NOT EDIT (digest: fe2373b07664be05f7322781403afad6)
src/core/CCVector
src/core/CCHeap
src/core/CCList
src/core/CCOpt
src/core/CCPair
src/core/CCFun
src/core/CCHash
src/core/CCInt
src/core/CCBool
src/core/CCFloat
src/core/CCArray
src/core/CCRef
src/core/CCSet
src/core/CCOrd
src/core/CCRandom
src/core/CCString
src/core/CCHashtbl
src/core/CCMap
src/core/CCFormat
src/core/CCIO
src/core/CCInt64
src/core/CCChar
src/core/CCResult
src/core/CCParse
src/core/CCArray_slice
src/core/CCListLabels
src/core/CCArrayLabels
src/core/CCEqual
src/core/Containers
src/iter/CCKTree
src/iter/CCKList
src/iter/CCLazy_list
src/data/CCMultiMap
src/data/CCMultiSet
src/data/CCTrie
src/data/CCFlatHashtbl
src/data/CCCache
src/data/CCPersistentHashtbl
src/data/CCDeque
src/data/CCFQueue
src/data/CCBV
src/data/CCMixtbl
src/data/CCMixmap
src/data/CCRingBuffer
src/data/CCIntMap
src/data/CCPersistentArray
src/data/CCMixset
src/data/CCGraph
src/data/CCHashSet
src/data/CCBitField
src/data/CCHashTrie
src/data/CCWBTree
src/data/CCRAL
src/data/CCSimple_queue
src/data/CCImmutArray
src/data/CCHet
src/data/CCZipper
src/threads/CCPool
src/threads/CCLock
src/threads/CCSemaphore
src/threads/CCThread
src/threads/CCBlockingQueue
src/threads/CCTimer
src/unix/CCUnix
src/sexp/CCSexp
src/sexp/CCSexp_lex
# OASIS_STOP

View file

@ -1,6 +1,6 @@
opam-version: "1.2" opam-version: "1.2"
name: "containers" name: "containers"
version: "2.0" version: "2.0+alpha1"
author: "Simon Cruanes" author: "Simon Cruanes"
maintainer: "simon.cruanes.2007@m4x.org" maintainer: "simon.cruanes.2007@m4x.org"
build: [ build: [
@ -30,3 +30,13 @@ doc: "https://c-cube.github.io/ocaml-containers"
available: [ocaml-version >= "4.02.0"] available: [ocaml-version >= "4.02.0"]
dev-repo: "https://github.com/c-cube/ocaml-containers.git" dev-repo: "https://github.com/c-cube/ocaml-containers.git"
bug-reports: "https://github.com/c-cube/ocaml-containers/issues/" bug-reports: "https://github.com/c-cube/ocaml-containers/issues/"
post-messages: [
"Major release with some breaking changes in the API.
These changes belong to 3 categories:
- make `open Containers` replace polymorphic operators with monomorphic ones
- make most optional arguments relying on polymorphic operators mandatory
- improve consistency of printers
changelog: https://github.com/c-cube/ocaml-containers/blob/2.0+alpha1/CHANGELOG.adoc"
]

View file

@ -0,0 +1,7 @@
# OASIS_START
# DO NOT EDIT (digest: c39cb4de2de5f975c95c1e05f9661ea6)
advanced/CCLinq
advanced/CCBatch
advanced/CCCat
advanced/CCMonadIO
# OASIS_STOP

6
containers_lwt.odocl Normal file
View file

@ -0,0 +1,6 @@
# OASIS_START
# DO NOT EDIT (digest: e7bd30038718864173f30ddcb755f758)
lwt/Behavior
lwt/Lwt_automaton
lwt/Lwt_actor
# OASIS_STOP

34
containers_misc.odocl Normal file
View file

@ -0,0 +1,34 @@
# OASIS_START
# DO NOT EDIT (digest: df85a5182175d1029216007c66a27aa4)
misc/FHashtbl
misc/FlatHashtbl
misc/Hashset
misc/Heap
misc/LazyGraph
misc/PersistentGraph
misc/PHashtbl
misc/SkipList
misc/SplayTree
misc/SplayMap
misc/Univ
misc/Bij
misc/PiCalculus
misc/RAL
misc/UnionFind
misc/SmallSet
misc/AbsSet
misc/CSM
misc/TTree
misc/PrintBox
misc/HGraph
misc/Automaton
misc/Conv
misc/Bidir
misc/Iteratee
misc/BTree
misc/Ty
misc/Cause
misc/AVL
misc/ParseReact
misc/Mixtbl
# OASIS_STOP

5
containers_string.odocl Normal file
View file

@ -0,0 +1,5 @@
# OASIS_START
# DO NOT EDIT (digest: fae37ce560d3fa23ae92d95d4ecca210)
string/KMP
string/Levenshtein
# OASIS_STOP

87
core/META Normal file
View file

@ -0,0 +1,87 @@
# OASIS_START
# DO NOT EDIT (digest: 29eba35d8937ec2340c27a97da9180a6)
version = "0.6.1"
description = "A modular standard library focused on data structures."
requires = "bytes"
archive(byte) = "containers.cma"
archive(byte, plugin) = "containers.cma"
archive(native) = "containers.cmxa"
archive(native, plugin) = "containers.cmxs"
exists_if = "containers.cma"
package "thread" (
version = "0.6.1"
description = "A modular standard library focused on data structures."
requires = "containers threads"
archive(byte) = "containers_thread.cma"
archive(byte, plugin) = "containers_thread.cma"
archive(native) = "containers_thread.cmxa"
archive(native, plugin) = "containers_thread.cmxs"
exists_if = "containers_thread.cma"
)
package "string" (
version = "0.6.1"
description = "A modular standard library focused on data structures."
archive(byte) = "containers_string.cma"
archive(byte, plugin) = "containers_string.cma"
archive(native) = "containers_string.cmxa"
archive(native, plugin) = "containers_string.cmxs"
exists_if = "containers_string.cma"
)
package "pervasives" (
version = "0.6.1"
description = "A modular standard library focused on data structures."
requires = "containers"
archive(byte) = "containers_pervasives.cma"
archive(byte, plugin) = "containers_pervasives.cma"
archive(native) = "containers_pervasives.cmxa"
archive(native, plugin) = "containers_pervasives.cmxs"
exists_if = "containers_pervasives.cma"
)
package "misc" (
version = "0.6.1"
description = "A modular standard library focused on data structures."
requires = "unix containers"
archive(byte) = "containers_misc.cma"
archive(byte, plugin) = "containers_misc.cma"
archive(native) = "containers_misc.cmxa"
archive(native, plugin) = "containers_misc.cmxs"
exists_if = "containers_misc.cma"
)
package "lwt" (
version = "0.6.1"
description = "A modular standard library focused on data structures."
requires = "containers lwt lwt.unix containers.misc"
archive(byte) = "containers_lwt.cma"
archive(byte, plugin) = "containers_lwt.cma"
archive(native) = "containers_lwt.cmxa"
archive(native, plugin) = "containers_lwt.cmxs"
exists_if = "containers_lwt.cma"
)
package "cgi" (
version = "0.6.1"
description = "A modular standard library focused on data structures."
requires = "containers CamlGI"
archive(byte) = "containers_cgi.cma"
archive(byte, plugin) = "containers_cgi.cma"
archive(native) = "containers_cgi.cmxa"
archive(native, plugin) = "containers_cgi.cmxs"
exists_if = "containers_cgi.cma"
)
package "advanced" (
version = "0.6.1"
description = "A modular standard library focused on data structures."
requires = "containers"
archive(byte) = "containers_advanced.cma"
archive(byte, plugin) = "containers_advanced.cma"
archive(native) = "containers_advanced.cmxa"
archive(native, plugin) = "containers_advanced.cmxs"
exists_if = "containers_advanced.cma"
)
# OASIS_STOP

37
core/containers.mldylib Normal file
View file

@ -0,0 +1,37 @@
# OASIS_START
# DO NOT EDIT (digest: 8d84707fdc7358bdadca9b7202118243)
CCVector
CCDeque
CCGen
Gen_intf
CCSequence
CCFQueue
CCMultiMap
CCMultiSet
CCBV
CCPrint
CCPersistentHashtbl
CCError
CCHeap
CCList
CCOpt
CCPair
CCFun
CCHash
CCKList
CCInt
CCBool
CCFloat
CCArray
CCOrd
CCIO
CCRandom
CCKTree
CCTrie
CCString
CCHashtbl
CCFlatHashtbl
CCSexp
CCMap
CCCache
# OASIS_STOP

37
core/containers.mllib Normal file
View file

@ -0,0 +1,37 @@
# OASIS_START
# DO NOT EDIT (digest: 8d84707fdc7358bdadca9b7202118243)
CCVector
CCDeque
CCGen
Gen_intf
CCSequence
CCFQueue
CCMultiMap
CCMultiSet
CCBV
CCPrint
CCPersistentHashtbl
CCError
CCHeap
CCList
CCOpt
CCPair
CCFun
CCHash
CCKList
CCInt
CCBool
CCFloat
CCArray
CCOrd
CCIO
CCRandom
CCKTree
CCTrie
CCString
CCHashtbl
CCFlatHashtbl
CCSexp
CCMap
CCCache
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: bc144ef7b5b54947fab9662a822f9179)
Containers_lwt
# OASIS_STOP

4
lwt/containers_lwt.mllib Normal file
View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: bc144ef7b5b54947fab9662a822f9179)
Containers_lwt
# OASIS_STOP

View file

@ -0,0 +1,6 @@
# OASIS_START
# DO NOT EDIT (digest: 0522ffe492b9796ab336d55b925afe68)
Behavior
Lwt_automaton
Lwt_actor
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: 2df0608accd158542ebcb00720cfe599)
Containers_misc
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: 2df0608accd158542ebcb00720cfe599)
Containers_misc
# OASIS_STOP

View file

@ -0,0 +1,34 @@
# OASIS_START
# DO NOT EDIT (digest: 5f2c8615af923cd3ff229b6d10c55bc8)
FHashtbl
FlatHashtbl
Hashset
Heap
LazyGraph
PersistentGraph
PHashtbl
SkipList
SplayTree
SplayMap
Univ
Bij
PiCalculus
RAL
UnionFind
SmallSet
AbsSet
CSM
TTree
PrintBox
HGraph
Automaton
Conv
Bidir
Iteratee
BTree
Ty
Cause
AVL
ParseReact
Mixtbl
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: ea286cccf88f4c81c7b4627216807d4e)
CCPervasives
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: ea286cccf88f4c81c7b4627216807d4e)
CCPervasives
# OASIS_STOP

View file

@ -0,0 +1,8 @@
# OASIS_START
# DO NOT EDIT (digest: b0f5a3a0b7428f165d73d9e621998219)
Containers_advanced
CCLinq
CCBatch
CCCat
CCMonadIO
# OASIS_STOP

View file

@ -0,0 +1,8 @@
# OASIS_START
# DO NOT EDIT (digest: b0f5a3a0b7428f165d73d9e621998219)
Containers_advanced
CCLinq
CCBatch
CCCat
CCMonadIO
# OASIS_STOP

View file

@ -0,0 +1,5 @@
# OASIS_START
# DO NOT EDIT (digest: 4901abd33a2dfcf115ddeffb93e1186e)
CCBigstring
CCArray1
# OASIS_STOP

View file

@ -0,0 +1,5 @@
# OASIS_START
# DO NOT EDIT (digest: 4901abd33a2dfcf115ddeffb93e1186e)
CCBigstring
CCArray1
# OASIS_STOP

77
src/core/META Normal file
View file

@ -0,0 +1,77 @@
# OASIS_START
# DO NOT EDIT (digest: 6fc8b50f808e0788951f153fb45868c5)
version = "1.5.2"
description = "A modular standard library focused on data structures."
requires = "bytes result"
archive(byte) = "containers.cma"
archive(byte, plugin) = "containers.cma"
archive(native) = "containers.cmxa"
archive(native, plugin) = "containers.cmxs"
exists_if = "containers.cma"
package "unix" (
version = "1.5.2"
description = "A modular standard library focused on data structures."
requires = "bytes result unix"
archive(byte) = "containers_unix.cma"
archive(byte, plugin) = "containers_unix.cma"
archive(native) = "containers_unix.cmxa"
archive(native, plugin) = "containers_unix.cmxs"
exists_if = "containers_unix.cma"
)
package "top" (
version = "1.5.2"
description = "A modular standard library focused on data structures."
requires =
"compiler-libs.common containers containers.data containers.unix containers.sexp containers.iter"
archive(byte) = "containers_top.cma"
archive(byte, plugin) = "containers_top.cma"
archive(native) = "containers_top.cmxa"
archive(native, plugin) = "containers_top.cmxs"
exists_if = "containers_top.cma"
)
package "thread" (
version = "1.5.2"
description = "A modular standard library focused on data structures."
requires = "containers threads"
archive(byte) = "containers_thread.cma"
archive(byte, plugin) = "containers_thread.cma"
archive(native) = "containers_thread.cmxa"
archive(native, plugin) = "containers_thread.cmxs"
exists_if = "containers_thread.cma"
)
package "sexp" (
version = "1.5.2"
description = "A modular standard library focused on data structures."
requires = "bytes result"
archive(byte) = "containers_sexp.cma"
archive(byte, plugin) = "containers_sexp.cma"
archive(native) = "containers_sexp.cmxa"
archive(native, plugin) = "containers_sexp.cmxs"
exists_if = "containers_sexp.cma"
)
package "iter" (
version = "1.5.2"
description = "A modular standard library focused on data structures."
archive(byte) = "containers_iter.cma"
archive(byte, plugin) = "containers_iter.cma"
archive(native) = "containers_iter.cmxa"
archive(native, plugin) = "containers_iter.cmxs"
exists_if = "containers_iter.cma"
)
package "data" (
version = "1.5.2"
description = "A modular standard library focused on data structures."
requires = "bytes"
archive(byte) = "containers_data.cma"
archive(byte, plugin) = "containers_data.cma"
archive(native) = "containers_data.cmxa"
archive(native, plugin) = "containers_data.cmxs"
exists_if = "containers_data.cma"
)
# OASIS_STOP

View file

@ -0,0 +1,32 @@
# OASIS_START
# DO NOT EDIT (digest: c777330f5cf164f02058ae02e3afa987)
CCVector
CCHeap
CCList
CCOpt
CCPair
CCFun
CCHash
CCInt
CCBool
CCFloat
CCArray
CCRef
CCSet
CCOrd
CCRandom
CCString
CCHashtbl
CCMap
CCFormat
CCIO
CCInt64
CCChar
CCResult
CCParse
CCArray_slice
CCListLabels
CCArrayLabels
CCEqual
Containers
# OASIS_STOP

32
src/core/containers.mllib Normal file
View file

@ -0,0 +1,32 @@
# OASIS_START
# DO NOT EDIT (digest: c777330f5cf164f02058ae02e3afa987)
CCVector
CCHeap
CCList
CCOpt
CCPair
CCFun
CCHash
CCInt
CCBool
CCFloat
CCArray
CCRef
CCSet
CCOrd
CCRandom
CCString
CCHashtbl
CCMap
CCFormat
CCIO
CCInt64
CCChar
CCResult
CCParse
CCArray_slice
CCListLabels
CCArrayLabels
CCEqual
Containers
# OASIS_STOP

View file

@ -0,0 +1,28 @@
# OASIS_START
# DO NOT EDIT (digest: d1bab4c4f6793f682baaf28f0865fa42)
CCMultiMap
CCMultiSet
CCTrie
CCFlatHashtbl
CCCache
CCPersistentHashtbl
CCDeque
CCFQueue
CCBV
CCMixtbl
CCMixmap
CCRingBuffer
CCIntMap
CCPersistentArray
CCMixset
CCGraph
CCHashSet
CCBitField
CCHashTrie
CCWBTree
CCRAL
CCSimple_queue
CCImmutArray
CCHet
CCZipper
# OASIS_STOP

View file

@ -0,0 +1,28 @@
# OASIS_START
# DO NOT EDIT (digest: d1bab4c4f6793f682baaf28f0865fa42)
CCMultiMap
CCMultiSet
CCTrie
CCFlatHashtbl
CCCache
CCPersistentHashtbl
CCDeque
CCFQueue
CCBV
CCMixtbl
CCMixmap
CCRingBuffer
CCIntMap
CCPersistentArray
CCMixset
CCGraph
CCHashSet
CCBitField
CCHashTrie
CCWBTree
CCRAL
CCSimple_queue
CCImmutArray
CCHet
CCZipper
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: 9573c9c3109b1d53a61739444853a7b2)
Containers_io_is_deprecated
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: 9573c9c3109b1d53a61739444853a7b2)
Containers_io_is_deprecated
# OASIS_STOP

View file

@ -0,0 +1,6 @@
# OASIS_START
# DO NOT EDIT (digest: 158a5d6029014525d6b1b1c6dc6c848a)
CCKTree
CCKList
CCLazy_list
# OASIS_STOP

View file

@ -0,0 +1,6 @@
# OASIS_START
# DO NOT EDIT (digest: 158a5d6029014525d6b1b1c6dc6c848a)
CCKTree
CCKList
CCLazy_list
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: bc144ef7b5b54947fab9662a822f9179)
Containers_lwt
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: bc144ef7b5b54947fab9662a822f9179)
Containers_lwt
# OASIS_STOP

View file

@ -0,0 +1,7 @@
# OASIS_START
# DO NOT EDIT (digest: 41ca039f453c9bf865bafe93b638ae8a)
Lwt_automaton
Lwt_actor
Lwt_klist
Lwt_pipe
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: 2df0608accd158542ebcb00720cfe599)
Containers_misc
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: 2df0608accd158542ebcb00720cfe599)
Containers_misc
# OASIS_STOP

View file

@ -0,0 +1,18 @@
# OASIS_START
# DO NOT EDIT (digest: a0730df368ed19a3b181d80ccf7985b6)
AbsSet
Automaton
Bij
CSM
Hashset
LazyGraph
PHashtbl
PrintBox
RAL
RoseTree
SmallSet
UnionFind
Univ
Puf
Backtrack
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: ea286cccf88f4c81c7b4627216807d4e)
CCPervasives
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: ea286cccf88f4c81c7b4627216807d4e)
CCPervasives
# OASIS_STOP

View file

@ -0,0 +1,5 @@
# OASIS_START
# DO NOT EDIT (digest: 4640171b5c1e230fed61988875c62e8d)
CCSexp
CCSexp_lex
# OASIS_STOP

View file

@ -0,0 +1,5 @@
# OASIS_START
# DO NOT EDIT (digest: 4640171b5c1e230fed61988875c62e8d)
CCSexp
CCSexp_lex
# OASIS_STOP

View file

@ -0,0 +1,8 @@
# OASIS_START
# DO NOT EDIT (digest: b0d9848489c9eaabded92f7c9fec3073)
Containers_string
CCKMP
CCLevenshtein
CCApp_parse
CCParse
# OASIS_STOP

View file

@ -0,0 +1,8 @@
# OASIS_START
# DO NOT EDIT (digest: b0d9848489c9eaabded92f7c9fec3073)
Containers_string
CCKMP
CCLevenshtein
CCApp_parse
CCParse
# OASIS_STOP

View file

@ -0,0 +1,9 @@
# OASIS_START
# DO NOT EDIT (digest: 5cf3cd134d141ea5acafb464c2b3e927)
CCPool
CCLock
CCSemaphore
CCThread
CCBlockingQueue
CCTimer
# OASIS_STOP

View file

@ -0,0 +1,9 @@
# OASIS_START
# DO NOT EDIT (digest: 5cf3cd134d141ea5acafb464c2b3e927)
CCPool
CCLock
CCSemaphore
CCThread
CCBlockingQueue
CCTimer
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: 06c9d81e0a532aa96d3f60ef4ed7045d)
Containers_top
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: 06c9d81e0a532aa96d3f60ef4ed7045d)
Containers_top
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: cc54fa6ddd5d32bdf577cb187f4cf07c)
CCUnix
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: cc54fa6ddd5d32bdf577cb187f4cf07c)
CCUnix
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: c89cc456e050edff914368d7fbea4eca)
Containers_string
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: c89cc456e050edff914368d7fbea4eca)
Containers_string
# OASIS_STOP

View file

@ -0,0 +1,5 @@
# OASIS_START
# DO NOT EDIT (digest: eed887f169b0c8e02f98f97c676f846c)
KMP
Levenshtein
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: ede75f11c3857d71e591f7b889f4d09d)
CCFuture
# OASIS_STOP

View file

@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: ede75f11c3857d71e591f7b889f4d09d)
CCFuture
# OASIS_STOP