Pierre-Emmanuel Wulfman 034c92a64c Use ADT for types and move type to ast_common ...

and Making name, type_variable, built-in, constructor, label and string uncompatible types in ligo (weird bug with types in ligodity)

2019-12-04 11:40:58 +00:00

..

memory-proto-alpha

upgrade to babylon

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

proto-alpha-utils

allow to pack message (aka lambda of type unit -> operation list)

2019-11-19 23:27:43 +01:00

simple-utils

Use ADT for types and move type to ast_common

2019-12-04 11:40:58 +00:00

tezos-protocol-alpha

Use runtest to run tests

2019-11-21 12:28:38 -06:00

tezos-protocol-alpha-parameters

upgrade to babylon

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

tezos-utils

Add command for measuring contracts

2019-11-25 17:36:22 -06:00

.gitignore

move before merging repositories

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