All issues

Search results

Support verification with usize/isize

Status: Open.

#316In Rust-Proof/rustproof;

· eternaleye opened on Jan 22, 2017

Add functionality for loops, including tags for loop invariants

enhancement

Status: Open.

#315In Rust-Proof/rustproof;

· selenesal opened on Oct 5, 2016

Mention what build.rs is for and why it's commented out in Cargo.toml

Status: Open.

#308In Rust-Proof/rustproof;

· selenesal opened on Aug 25, 2016

Add helper functions for Expression building/assignment

Status: Open.

#307In Rust-Proof/rustproof;

· selenesal opened on Aug 25, 2016

Find way to cleanly run tests on Rustproof

enhancement

help wanted

Status: Open.

#295In Rust-Proof/rustproof;

· VSchuster opened on Aug 22, 2016

Assert_eq! hits unreachable code

Status: Open.

#292In Rust-Proof/rustproof;

· obriematt opened on Aug 22, 2016

Add multiple levels of "debug" flag

enhancement

Status: Open.

#269In Rust-Proof/rustproof;

· selenesal opened on Aug 16, 2016

Develop Architecture Story for the project

Status: Open.

#268In Rust-Proof/rustproof;

· selenesal opened on Aug 16, 2016

Work on inferring types for function arguments and return

enhancement

Status: Open.

#266In Rust-Proof/rustproof;

· selenesal opened on Aug 16, 2016

Write future roadmap for function call support

Status: Open.

#265In Rust-Proof/rustproof;

· arc3x opened on Aug 16, 2016

Rustproof should return counterexample (call to get-model if SAT)

enhancement

Status: Open.

#251In Rust-Proof/rustproof;

· selenesal opened on Aug 16, 2016

Make parser error messages more meaningful / relevant

enhancement

Status: Open.

#155In Rust-Proof/rustproof;

· selenesal opened on Jul 27, 2016