Lesenechal Remi 46623ceb77 contract are now typecheck (at least in the CLI)

2019-12-10 15:58:53 +01:00

..

cast.ml

upgrade to babylon

2019-10-17 11:45:27 +02:00

dune

upgrade to babylon

2019-10-17 11:45:27 +02:00

init_proto_alpha.ml

upgrade to babylon

2019-10-17 11:45:27 +02:00

proto_alpha_utils.ml

move before merging repositories

2019-05-27 11:08:26 +02:00

proto-alpha-utils.opam

Prepare for tezos upgrade

2019-11-02 17:38:39 -05:00

trace.ml

add set tests

2019-07-19 14:35:47 +02:00

x_error_monad.ml

allow to catch failwith's in our tests

2019-11-19 15:38:23 +01:00

x_memory_proto_alpha.ml

contract are now typecheck (at least in the CLI)

2019-12-10 15:58:53 +01:00