]> git.lizzy.rs Git - rust.git/tree
Use verifier, perform assignment and field projection, fix branching
-rw-r--r-- 26 .gitignore
-rw-r--r-- 6435 Cargo.lock
-rw-r--r-- 181 Cargo.toml
-rwxr-xr-x 124 build.sh
-rw-r--r-- 598 example.rs
-rw-r--r-- 8 rust-toolchain
drwxr-xr-x - src