Grégoire Henry
17475aa743
Shell: switch to Blake2b ( closes #87 #89 )
...
Also drop the dependencies on Cryptokit.
2016-11-25 19:46:50 +01:00
Grégoire Henry
46cca127a6
Merge branch 'uint64_comparison_in_proof_of_work' into 'master'
...
Use unsigned comparison in proof of work
See merge request !114
2016-11-21 09:55:46 +01:00
Grégoire Henry
b9c3d95406
Proto: use integer comparison while checking proof-of-work.
2016-11-17 14:58:09 +01:00
Grégoire Henry
c842140f74
Shell: introduce Compare.Uint{32,64}
2016-11-17 14:58:09 +01:00
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
Grégoire Henry
938ff6404b
Shell: export Bytes.{get,set}_intXX to the proto
2016-11-17 02:06:50 +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
6eda849ce9
Proto: drop imperative constructs and instructions from the language.
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
0f91192769
Proto: script translator code indentation cleanup.
2016-11-16 17:38:53 +01:00
Benjamin Canou
472258b1bf
Proto: Fix typechecking of FAIL.
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
b4b3aece97
Dropped unnecessary script_typed_ir.mli (duplicate of .ml).
2016-11-16 17:38:53 +01:00
Grégoire Henry
d61220f4f9
Compiler: use explicit functor in Environment
...
Previously, the functor applications were hidden in a module generated
by `tezos-protocol-compiler`.
2016-11-16 00:53:40 +01:00
Grégoire Henry
b16a644e55
Proto: Completion of Base48-encoded public keys and contracts
...
This required some modifications in the Base48 module, in order not to
share the 'resolver' between distinct version of the economical protocol.
2016-11-16 00:53:40 +01:00
Grégoire Henry
9062c405ad
Proto: minor fix in Storage.Key
2016-11-16 00:53:40 +01:00
Grégoire Henry
b82ad19806
Shell: Consistently use Ed25519.Public_key_hash
2016-11-16 00:53:40 +01:00
Grégoire Henry
1ce2643dc7
Shell: add Base48.decode_partial
2016-11-16 00:52:48 +01:00
Grégoire Henry
07ba685b8d
Base48: encode the "data" before its "hash"
2016-11-16 00:52:48 +01:00
Grégoire Henry
cbca39d4ea
Shell: proper handling of uint{8,16} in Data_encoding
2016-11-16 00:38:58 +01:00
Grégoire Henry
5cea09bcb5
Merge remote-tracking branch 'ocp/protocol-db'
2016-11-08 12:53:00 +01:00
Vincent Bernardoff
f2e581c168
rolls: improve mli
2016-11-07 15:27:06 +01:00
Vincent Bernardoff
96b55369e4
typo: froze -> freeze
2016-11-07 15:26:54 +01:00
Vincent Bernardoff
ccf6ed4a9d
TEZOS_PROTOCOL: use json syntax
2016-10-25 19:03:14 +02:00
Vincent Bernardoff
488373551b
add protocol store + rpcs
2016-10-25 19:03:13 +02:00
Grégoire Henry
026007e7f1
Rename "block_header" into "block".
2016-10-19 20:47:04 +02:00
Grégoire Henry
6c9cfde9be
Update to the latest ocplib-resto.
2016-10-16 21:59:44 +02:00
Benjamin Canou
e0c039e244
Proto+client: add RPCs and CLI entries to typecheck / hash / sign data.
2016-09-12 14:06:23 +02:00
Benjamin Canou
7044576b3f
Docs: add language documentation.
2016-09-09 18:17:31 +02:00
Benjamin Canou
c9efaa2a64
Proto: fix interpretation of tez constants.
2016-09-09 18:05:23 +02:00
Benjamin Canou
e262a334dc
Proto: transfer_funds is now transfer_tokens.
2016-09-09 17:12:28 +02:00
Benjamin Canou
d2d78dc8d6
Proto: Implement new JSON structure for script expressions.
2016-09-09 17:04:55 +02:00
Benjamin Canou
e80ce1e8d5
Shell: add assoc combinator to Data_encoding.
2016-09-09 17:02:43 +02:00
Tezos
f42e9d12ac
First public release
2016-09-08 19:29:33 -07:00
