bjorn3 b046369040 Add LICENSE-MIT		2018-06-22 19:34:27 +02:00
src	Split common utils out of base.rs	2018-06-22 19:18:53 +02:00
.gitignore	Initial commit	2018-06-17 18:05:11 +02:00
build.sh	Use verifier, perform assignment and field projection, fix branching	2018-06-17 18:46:11 +02:00
Cargo.lock	Add cretonne_module	2018-06-19 19:51:29 +02:00
Cargo.toml	Add cretonne_module	2018-06-19 19:51:29 +02:00
example.rs	Use pass by value fro simple simple types	2018-06-20 15:15:28 +02:00
LICENSE-APACHE	Create LICENSE-APACHE	2018-06-22 19:33:35 +02:00
LICENSE-MIT	Add LICENSE-MIT	2018-06-22 19:34:27 +02:00
rust-toolchain	Initial commit	2018-06-17 18:05:11 +02:00