Tom Jack a521c01115 some michelson optimizations

2019-09-25 20:15:19 -05:00

..

memory-proto-alpha

Remove dune-project files

2019-09-09 13:59:08 -07:00

proto-alpha-utils

Remove dune-project files

2019-09-09 13:59:08 -07:00

simple-utils

some michelson optimizations

2019-09-25 20:15:19 -05:00

tezos-protocol-alpha

Remove dune-project files

2019-09-09 13:59:08 -07:00

tezos-protocol-alpha-parameters

Remove dune-project files

2019-09-09 13:59:08 -07:00

tezos-utils

add list pattern matching

2019-09-21 09:12:00 +02:00

.gitignore

move before merging repositories

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