Empowering everyone to build reliable and efficient software. Gabriel's commits. https://www.rust-lang.org/

bjorn3 653c67cb6d Use verifier, perform assignment and field projection, fix branching		2018-06-17 18:46:11 +02:00
src	Use verifier, perform assignment and field projection, fix branching	2018-06-17 18:46:11 +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	Initial commit	2018-06-17 18:05:11 +02:00
Cargo.toml	Initial commit	2018-06-17 18:05:11 +02:00
example.rs	Initial commit	2018-06-17 18:05:11 +02:00
rust-toolchain	Initial commit	2018-06-17 18:05:11 +02:00