8 Commits

Author	SHA1	Message	Date
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	f284714fba	Proto: drop floats in the contract language.	2016-11-16 17:38:53 +01:00
Grégoire Henry	b82ad19806	Shell: Consistently use Ed25519.Public_key_hash	2016-11-16 00:53:40 +01:00
Vincent Bernardoff	96b55369e4	typo: froze -> freeze	2016-11-07 15:26:54 +01:00
Grégoire Henry	026007e7f1	Rename "block_header" into "block".	2016-10-19 20:47:04 +02:00
Tezos	f42e9d12ac	First public release	2016-09-08 19:29:33 -07:00