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