Benjamin Canou
3b071cac46
Merge branch 'work-on-script' into 'master'
...
Tracing interpreter and type checker
Implements:
* a typechecker that optionally dumps the types of each instruction
* an interpreter that drops the stack at each execution step
Incidentally:
* adds some RPCs to pretty print the traces
* drops floats and imperative structures from the language
* fixes the typing of `FAIL`
2016-11-17 14:57:54 +01:00
Benjamin Canou
8edfc84ae6
Proto: tracing interpreter, RPCs and command line.
2016-11-16 17:38:53 +01:00
Benjamin Canou
db6a68a08f
Proto: RPC to run an arbitrary program on arbitrary data.
2016-11-16 17:38:53 +01:00
Benjamin Canou
8602e5b0a0
Client: unexpand some macros when pretty printing programs.
2016-11-16 17:38:53 +01:00
Benjamin Canou
1e2911dd94
Proto: tracing script translator.
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
Grégoire Henry
1805a1d816
Shell: inline Ed25519 into Environment
...
This interface is not used in the shell, only in the protocol. It is
just a (documented) wrapper over a fragment of sodium.
2016-11-16 00:53:40 +01:00
Benjamin Canou
e0c039e244
Proto+client: add RPCs and CLI entries to typecheck / hash / sign data.
2016-09-12 14:06:23 +02:00
Tezos
f42e9d12ac
First public release
2016-09-08 19:29:33 -07:00
