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
6bfbb0d300
Michelson: enforce case sensitivity.
2017-01-20 13:24:46 +01:00
Grégoire Henry
df81d95614
Shell: update to lwt.2.7.0
2017-01-14 13:12:55 +01:00
Grégoire Henry
7689021810
CI: less build artifacts
2017-01-02 14:49:56 +01:00
Benjamin Canou
a098d25a55
Client: add a context to command evaluation.
2016-12-03 13:05:02 +01:00
Benjamin Canou
dc64f9b6fb
Webclient: first draft.
2016-12-02 20:06:29 +01:00
Benjamin Canou
e7c39578b4
Extract the js_of_ocaml compatible part of utils.
2016-12-01 18:27:53 +01:00
Guillem Rieu
5b1244648c
Client: remove compilation warnings due to Cli_entries.log returning 'unit Lwt.t'
2016-12-01 15:52:31 +01:00
Guillem Rieu
69adc115be
Client: fix typo 'litteral' -> 'literal'
2016-12-01 15:52:31 +01:00
Guillem Rieu
a48d8c0026
Client: replace (e)printfs with Cli_entries.{error,warning,message} equivalent
2016-12-01 15:52:31 +01:00
Benjamin Canou
087a097cf7
Client: cli_entries module refactoring.
2016-12-01 15:52:31 +01:00
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
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
Grégoire Henry
b82ad19806
Shell: Consistently use Ed25519.Public_key_hash
2016-11-16 00:53:40 +01:00
Grégoire Henry
07ba685b8d
Base48: encode the "data" before its "hash"
2016-11-16 00:52:48 +01:00
Grégoire Henry
026007e7f1
Rename "block_header" into "block".
2016-10-19 20:47:04 +02:00
Çağdaş Bozman
4a7eb60631
Client/Shell: filter heads by date
2016-10-10 14:23:23 +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
18d33ff6ca
Expand macro instructions in the parser.
2016-09-09 18:44:30 +02: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
