Thibaut Schaeffer 8e7867907a Merge pull request #400 from Zokrates/add-boolean-propagation ... Add boolean constant propagation		2019-07-05 23:52:09 +02:00
..
lib	Implements abiv2 into cli and core	2019-06-28 14:04:52 +02:00
src	Merge pull request #400 from Zokrates/add-boolean-propagation	2019-07-05 23:52:09 +02:00
tests	integrate ethereum deployment with integration tests, remove duplicated code in js script	2019-07-04 18:11:02 +02:00
build.rs	Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into bellman-sha256	2019-04-09 15:53:39 +02:00
Cargo.toml	bump versions	2019-06-23 12:09:15 +02:00