9 Commits

Author	SHA1	Message	Date
Grégoire Henry	777ff19dcd	Michelson: remove a spurious rule ... This should have been removed when floats were removed from the language.	2017-08-19 12:13:13 +02:00
Bayle Shanks	1436286fd6	doc typo set::MEM (again) ... This pull request is identical to recently closed #19, but applied to the current head. I think #19 may have been closed erroneously. If MEM takes as an input a set of elements of type 'elt, then if it also takes another input which is an element to test for membership, clearly that other input must be of type 'elt. If #19 was not closed erroneously, then please explain, and i will stop reopening this issue.	2017-08-19 10:55:09 +02:00
Milo Davis	8d852993ff	Michelson: Add LAMBDA to the language spec	2017-08-18 19:09:46 +00:00
Milo Davis	98c96be749	Michelson: updates spec to use int and nat	2017-07-27 18:24:08 +02:00
Milo Davis	7bfaf2fe9b	Michelson: removes amount from calling convention	2017-07-25 11:18:43 +02:00
Milo Davis	733be3fa17	Michelson: adds missing instructions from language BNF	2017-07-24 14:42:52 +02:00
Milo Davis	23c814c783	Michelson: Adds DEFAULT_ACCOUNT instruction	2017-07-21 10:45:57 +02:00
Milo Davis	b320d43259	Michelson: removes NOP instruction from surface syntax	2017-07-21 10:34:22 +02:00
Grégoire Henry	d5d5cc7c09	Proto: rename bootstrap into alpha	2017-02-25 18:14:05 +01:00