balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
ligo/src/lib_stdlib
History
Grégoire Henry 9fdf0636c9
Opam: add upper constraint on dune 
The "old" version of Lwt we use is incompatible with `dune >= 1.7`.
2019-02-19 17:37:52 +01:00
..
test
Dune: use the new syntax
2018-08-01 10:52:24 +02:00
binary_stream.ml
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
binary_stream.mli
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
compare.ml
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
compare.mli
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
dune
Dune: use the new syntax
2018-08-01 10:52:24 +02:00
hashPtree.ml
Everywhere: exception Not_found -> _opt
2018-07-13 01:31:04 +02:00
hashPtree.mli
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
logging.ml
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
logging.mli
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
lwt_canceler.ml
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
lwt_canceler.mli
Stdlib: add some docstrings
2019-01-02 19:22:09 +01:00
lwt_dropbox.ml
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
lwt_dropbox.mli
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
lwt_idle_waiter.ml
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
lwt_idle_waiter.mli
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
lwt_pipe.ml
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
lwt_pipe.mli
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
lwt_utils.ml
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
lwt_utils.mli
Stdlib: add some docstrings
2019-01-02 19:22:09 +01:00
lwt_watcher.ml
Shell/Prevalidation: add the streaming of the newly validated operations
2018-08-20 11:04:54 +02:00
lwt_watcher.mli
Stdlib: add some docstrings
2019-01-02 19:22:09 +01:00
mBytes.ml
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
mBytes.mli
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
option.ml
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
option.mli
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
registry.ml
Add Registry to stdlib
2018-10-17 10:32:35 +02:00
registry.mli
Add Registry to stdlib
2018-10-17 10:32:35 +02:00
ring.ml
Stdlib/Ring: fix ring's semantics
2018-10-26 15:56:36 +02:00
ring.mli
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
tag.ml
Update wrong licenses
2018-07-03 12:04:24 +02:00
tag.mli
Update wrong licenses
2018-07-03 12:04:24 +02:00
test-ocp-indent.sh
Tooling: do not enter _opam when fixing indent
2018-10-10 18:49:09 +02:00
tezos-stdlib.opam
Opam: add upper constraint on dune
2019-02-19 17:37:52 +01:00
tzList.ml
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
tzList.mli
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
tzString.ml
Everywhere: exception Not_found -> _opt
2018-07-13 01:31:04 +02:00
tzString.mli
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
utils.ml
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
utils.mli
Tezos is now Open Source
2018-06-30 17:41:32 +02:00
weakRingTable.ml
Stdlib: remove spurious comment in weakTableRing
2018-12-20 17:06:34 +01:00
weakRingTable.mli
StdLib: introduce a WeakRingTable based on ephemerons for bounded cache/memoization purposes
2018-12-18 16:02:18 +01:00