5 Commits

Author SHA1 Message Date
Grégoire Henry
48cc2e9928 Proto/Env: rename Set.S and Map.S into S.SET and S.MAP. 2018-03-27 09:59:59 +00:00
Pierre Chambart
d3cb77575d Proto environment: Remove Buffer 2018-02-22 05:36:57 +01:00
Pierre Chambart
35424af049 Proto environment: Remove Bytes 2018-02-22 05:36:57 +01:00
Pierre Chambart
78bc80e70c Proto environment: Get rid of Lwt_sequence 2018-02-22 05:36:57 +01:00
Grégoire Henry
697b291782 Merge `tezos-protocol-environment-{sigs,client} 2018-02-18 17:11:16 +00:00