Empowering everyone to build reliable and efficient software.
Go to file
2018-06-18 18:39:07 +02:00
src Implement indirect calls 2018-06-18 18:39:07 +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 Implement indirect calls 2018-06-18 18:39:07 +02:00
rust-toolchain Initial commit 2018-06-17 18:05:11 +02:00