5 Commits

Author	SHA1	Message	Date
Benjamin Canou	cfd5151279	Alpha: fix colliding JSON schema definitions	2018-01-27 11:33:30 +01:00
Bruno B	ce35bc5346	Michelson: light refactoring of equality witnesses	2018-01-23 13:35:48 +00:00
Milo Davis	4433395c6e	Proto/Env: export the Option module	2018-01-19 13:59:04 +01:00
Milo Davis	b8063b40fe	Storage: add omitted case to storage_error_encoding	2018-01-19 13:59:01 +01:00
Pietro	d9405292a4	Move all packages to src/ ... Modify Makefile accordingly	2018-01-16 23:11:39 +01:00