Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / Rust-Proof/rustproof issues and pull requests

#316 - Support verification with usize/isize

Issue - State: open - Opened by eternaleye over 7 years ago

#315 - Add functionality for loops, including tags for loop invariants

Issue - State: open - Opened by selenesal almost 8 years ago
Labels: enhancement

#314 - Removed extra keyword.

Pull Request - State: closed - Opened by selenesal about 8 years ago

#313 - Changed imports and removed bad examples for deployment.

Pull Request - State: closed - Opened by selenesal about 8 years ago

#312 - Can't publish to crates.io with github-based dependencies

Issue - State: closed - Opened by selenesal about 8 years ago - 2 comments

#309 - bugfix for unsigned sub underflow check

Pull Request - State: closed - Opened by arc3x about 8 years ago

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

Issue - State: open - Opened by selenesal about 8 years ago - 3 comments

#307 - Add helper functions for Expression building/assignment

Issue - State: open - Opened by selenesal about 8 years ago

#306 - Change Expression's type storage to be an enum instead of strings

Issue - State: closed - Opened by selenesal about 8 years ago - 1 comment

#305 - Removed duplicate type checking

Pull Request - State: closed - Opened by selenesal about 8 years ago

#304 - added overflow testing to signed and unsigned

Pull Request - State: closed - Opened by BlindMosquito about 8 years ago

#303 - Added overflow check for mod.

Pull Request - State: closed - Opened by selenesal about 8 years ago

#302 - Created CONTRIBUTE.md to guide contributing developers

Pull Request - State: closed - Opened by ssahli about 8 years ago

#301 - Add overflow tests

Issue - State: closed - Opened by selenesal about 8 years ago

#300 - Edited vschuster example and more tests

Pull Request - State: closed - Opened by VSchuster about 8 years ago

#299 - Signed and Unsigned Test

Pull Request - State: closed - Opened by BlindMosquito about 8 years ago

#298 - Fixes to readme, debug prints

Pull Request - State: closed - Opened by ssahli about 8 years ago

#297 - documentation

Pull Request - State: closed - Opened by arc3x about 8 years ago

#296 - Moved debug print for basic blocks to lib.rs

Pull Request - State: closed - Opened by ssahli about 8 years ago

#295 - Find way to cleanly run tests on Rustproof

Issue - State: open - Opened by VSchuster about 8 years ago
Labels: enhancement, help wanted

#294 - Type checking errors fixed

Pull Request - State: closed - Opened by selenesal about 8 years ago

#293 - Created the Assertion test file

Pull Request - State: closed - Opened by obriematt about 8 years ago

#292 - Assert_eq! hits unreachable code

Issue - State: open - Opened by obriematt about 8 years ago

#291 - Type checking errors fixed

Pull Request - State: closed - Opened by selenesal about 8 years ago

#290 - Signed Integer Test Bugs

Issue - State: closed - Opened by BlindMosquito about 8 years ago - 1 comment

#289 - Fixed a spelling error

Pull Request - State: closed - Opened by obriematt about 8 years ago

#288 - Added more boolean examples

Pull Request - State: closed - Opened by obriematt about 8 years ago

#287 - Fixed signedness check for bitwise shifts.

Pull Request - State: closed - Opened by selenesal about 8 years ago

#286 - Added more Boolean Arithmetic Examples

Pull Request - State: closed - Opened by VSchuster about 8 years ago

#285 - Added tests for conditionals

Pull Request - State: closed - Opened by ssahli about 8 years ago

#284 - Made system tests fail if rustproof errors

Pull Request - State: closed - Opened by arc3x about 8 years ago

#283 - signed and unsigned tests

Pull Request - State: closed - Opened by BlindMosquito about 8 years ago - 1 comment

#282 - bug fix

Pull Request - State: closed - Opened by arc3x about 8 years ago

#281 - Hotfix for boolean bitwise operators

Pull Request - State: closed - Opened by selenesal about 8 years ago

#280 - libsmt isn't properly catching errors

Issue - State: closed - Opened by selenesal about 8 years ago - 1 comment

#279 - Updated the systems test

Pull Request - State: closed - Opened by obriematt about 8 years ago

#278 - Rename enum variants to not include the enum name

Issue - State: closed - Opened by bajr about 8 years ago - 2 comments

#277 - documentation

Pull Request - State: closed - Opened by arc3x about 8 years ago

#276 - documentation

Pull Request - State: closed - Opened by arc3x about 8 years ago

#275 - Bug fix for system tests

Pull Request - State: closed - Opened by arc3x about 8 years ago

#274 - Change integer literal type declaration to be more like Rust

Issue - State: closed - Opened by selenesal about 8 years ago

#272 - foced travis to use archived nightly 2016-08-12

Pull Request - State: closed - Opened by arc3x about 8 years ago

#271 - Travis CI hangs during cargo test

Issue - State: closed - Opened by ssahli about 8 years ago - 3 comments

#270 - Removed old comments, added match arm for StatementKind

Pull Request - State: closed - Opened by ssahli about 8 years ago

#269 - Add multiple levels of "debug" flag

Issue - State: open - Opened by selenesal about 8 years ago - 2 comments
Labels: enhancement

#268 - Develop Architecture Story for the project

Issue - State: open - Opened by selenesal about 8 years ago

#267 - Add support for "->" for IMPLIES and "==" for EQUIV

Issue - State: closed - Opened by selenesal about 8 years ago

#266 - Work on inferring types for function arguments and return

Issue - State: open - Opened by selenesal about 8 years ago
Labels: enhancement

#265 - Write future roadmap for function call support

Issue - State: open - Opened by arc3x about 8 years ago

#264 - Cleaned up Rustproof with a linter

Pull Request - State: closed - Opened by bajr about 8 years ago - 2 comments

#263 - added print of model to output. updated tests to ignore model output

Pull Request - State: closed - Opened by arc3x about 8 years ago

#261 - Optional debug added; fixed unused_attribute warning

Pull Request - State: closed - Opened by ssahli about 8 years ago

#260 - Added root level test for examples

Pull Request - State: closed - Opened by obriematt about 8 years ago

#259 - Optional debug print, handling unused_attribute warning

Pull Request - State: closed - Opened by ssahli about 8 years ago - 1 comment

#258 - Add tests for conditionals

Issue - State: closed - Opened by selenesal about 8 years ago

#257 - Add tests for boolean arithmetic

Issue - State: closed - Opened by selenesal about 8 years ago - 2 comments

#256 - Add tests for signed arithmetic

Issue - State: closed - Opened by selenesal about 8 years ago

#255 - Add tests for unsigned arithmetic

Issue - State: closed - Opened by selenesal about 8 years ago

#254 - Refactored system tests + added z3 to travis

Pull Request - State: closed - Opened by arc3x about 8 years ago

#253 - Added root level documentation

Pull Request - State: closed - Opened by VSchuster about 8 years ago

#252 - Disallow Rust keywords as identifiers in parser

Issue - State: closed - Opened by selenesal about 8 years ago - 2 comments

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

Issue - State: open - Opened by selenesal about 8 years ago - 5 comments
Labels: enhancement

#250 - Travis doesn't have z3 by default (obviously)

Issue - State: closed - Opened by arc3x about 8 years ago

#248 - Mostly documenting

Pull Request - State: closed - Opened by selenesal about 8 years ago - 3 comments

#247 - Implemented Tests

Pull Request - State: closed - Opened by obriematt about 8 years ago

#246 - Added auto documentation through travis

Pull Request - State: closed - Opened by VSchuster about 8 years ago

#245 - added example

Pull Request - State: closed - Opened by arc3x about 8 years ago

#244 - Updated README.md and added EXAMPLES.md

Pull Request - State: closed - Opened by arc3x about 8 years ago

#243 - Now compiling with newest nightly

Pull Request - State: closed - Opened by bajr about 8 years ago

#242 - Unimplemented terminator type blocks assertions with i32::max_value()

Issue - State: closed - Opened by arc3x about 8 years ago - 2 comments

#241 - Change attribute MAX to max_value (and MIN)

Issue - State: closed - Opened by arc3x about 8 years ago - 4 comments

#240 - Reporting mod

Pull Request - State: closed - Opened by bajr about 8 years ago

#239 - Reporting mod

Pull Request - State: closed - Opened by BlindMosquito about 8 years ago - 1 comment

#238 - Tested modulus; missed a name change for mul overflow

Pull Request - State: closed - Opened by ssahli about 8 years ago

#237 - Added div overflow checks

Pull Request - State: closed - Opened by ssahli about 8 years ago

#236 - added tests for booleans

Pull Request - State: closed - Opened by arc3x about 8 years ago

#235 - Change of support for boolean variables.

Pull Request - State: closed - Opened by selenesal about 8 years ago

#234 - Added functionality for mul overflow

Pull Request - State: closed - Opened by ssahli about 8 years ago

#233 - Check for unsigned and signed overflow during multiplication

Issue - State: closed - Opened by selenesal about 8 years ago - 1 comment

#232 - Check for signed overflow during division and modulus

Issue - State: closed - Opened by selenesal about 8 years ago - 1 comment

#231 - Cleaned up signed add overflow function. Commented both signed add/sub.

Pull Request - State: closed - Opened by selenesal about 8 years ago

#229 - Added unsigned add & sub + other general improvements (see desc)

Pull Request - State: closed - Opened by arc3x about 8 years ago

#228 - Signed subtraction overflow/underflow

Pull Request - State: closed - Opened by selenesal about 8 years ago - 1 comment

#227 - Moved overflow checks to overflow.rs; implemented signed add overflow

Pull Request - State: closed - Opened by ssahli about 8 years ago

#226 - Rustproof might be generating some bitvectors wrong.

Issue - State: closed - Opened by arc3x about 8 years ago - 2 comments

#225 - Minor reworks of determine_evaluation_type() and ty_check()

Pull Request - State: closed - Opened by selenesal about 8 years ago - 2 comments

#221 - Remove overflow/underflow checks from uncheck binary ops

Issue - State: closed - Opened by arc3x about 8 years ago - 4 comments

#218 - Precondition parser rejects boolean comparison

Issue - State: closed - Opened by arc3x about 8 years ago - 2 comments

#213 - Something broke for overflow checking

Issue - State: closed - Opened by arc3x about 8 years ago - 5 comments

#175 - Reporting needs changed or is being over used.

Issue - State: closed - Opened by arc3x about 8 years ago

#155 - Make parser error messages more meaningful / relevant

Issue - State: open - Opened by selenesal about 8 years ago
Labels: enhancement

#85 - "Visit" attributes during mir_pass

Issue - State: closed - Opened by arc3x about 8 years ago - 1 comment
Labels: help wanted