Benjamin Canou
|
c472dbdfa4
|
Michelson: towards better typechecking error reports.
|
2017-01-20 13:25:28 +01:00 |
|
Benjamin Canou
|
507c46bbcb
|
Michelson: get rid of tagged data notation.
|
2017-01-20 13:25:14 +01:00 |
|
Benjamin Canou
|
26e1adc143
|
Michelson: rename void into unit.
|
2017-01-20 13:25:14 +01:00 |
|
Benjamin Canou
|
8edfc84ae6
|
Proto: tracing interpreter, RPCs and command line.
|
2016-11-16 17:38:53 +01:00 |
|
Benjamin Canou
|
6eda849ce9
|
Proto: drop imperative constructs and instructions from the language.
|
2016-11-16 17:38:53 +01:00 |
|
Benjamin Canou
|
f284714fba
|
Proto: drop floats in the contract language.
|
2016-11-16 17:38:53 +01:00 |
|
Benjamin Canou
|
e262a334dc
|
Proto: transfer_funds is now transfer_tokens.
|
2016-09-09 17:12:28 +02:00 |
|
Tezos
|
f42e9d12ac
|
First public release
|
2016-09-08 19:29:33 -07:00 |
|