Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / viperproject/prusti-dev issues and pull requests
#1361 - Try fix Windows CI v3
Pull Request -
State: closed - Opened by fpoli over 1 year ago
- 2 comments
#1360 - Implement export/import of quantifiers
Pull Request -
State: closed - Opened by jscissr over 1 year ago
#1360 - Implement export/import of quantifiers
Pull Request -
State: closed - Opened by jscissr over 1 year ago
#1359 - `extern_spec` panic with `pub` attribute
Issue -
State: open - Opened by Patrick-6 over 1 year ago
#1358 - No counterexample for `prusti_assert`
Issue -
State: open - Opened by Patrick-6 over 1 year ago
#1357 - Error with `extern crate prusti_contracts`
Issue -
State: open - Opened by Patrick-6 over 1 year ago
#1356 - Separate Errors for Integer Under- and Overflows
Issue -
State: open - Opened by Patrick-6 over 1 year ago
Labels: enhancement
#1355 - Rework User-Guide and Documentation
Pull Request -
State: closed - Opened by Patrick-6 over 1 year ago
#1354 - Predicate overflow not reported correctly
Issue -
State: open - Opened by jthomme1 over 1 year ago
Labels: error-reporting
#1354 - Predicate overflow not reported correctly
Issue -
State: open - Opened by jthomme1 over 1 year ago
Labels: error-reporting
#1353 - Try fix Windows CI v2
Pull Request -
State: closed - Opened by JonasAlaif over 1 year ago
- 2 comments
#1352 - Fix status of the can-merge job
Pull Request -
State: closed - Opened by fpoli over 1 year ago
#1352 - Fix status of the can-merge job
Pull Request -
State: closed - Opened by fpoli over 1 year ago
#1351 - [WIP] MicroMir and Free PCS
Pull Request -
State: closed - Opened by JonasAlaif over 1 year ago
#1350 - Make Prusti work with build scripts and AnonConst fns
Pull Request -
State: closed - Opened by JonasAlaif over 1 year ago
- 3 comments
#1349 - Fix getting field places of an enum variant
Pull Request -
State: closed - Opened by JonasAlaif over 1 year ago
#1348 - Try fix Windows CI
Pull Request -
State: closed - Opened by JonasAlaif over 1 year ago
#1347 - JNI bindings - generate all dynamic type check at one place
Pull Request -
State: closed - Opened by simon-hrabec over 1 year ago
- 1 comment
#1346 - Overflow checks for division and remainder even when disabled
Issue -
State: open - Opened by mimo31 over 1 year ago
#1346 - Overflow checks for division and remainder even when disabled
Issue -
State: open - Opened by mimo31 over 1 year ago
#1345 - [WIP] JNI bindings - print actually class name on type missmatch
Pull Request -
State: closed - Opened by simon-hrabec over 1 year ago
- 1 comment
#1344 - Debug CI
Pull Request -
State: closed - Opened by fpoli over 1 year ago
#1344 - Debug CI
Pull Request -
State: closed - Opened by fpoli over 1 year ago
#1344 - Debug CI
Pull Request -
State: closed - Opened by fpoli over 1 year ago
#1343 - Update dependencies (rustc nightly-2023-03-01, viper v-2023-02-26-2019)
Pull Request -
State: closed - Opened by viper-admin over 1 year ago
- 6 comments
#1343 - Update dependencies (rustc nightly-2023-03-01, viper v-2023-02-26-2019)
Pull Request -
State: closed - Opened by viper-admin over 1 year ago
- 6 comments
#1342 - Experience report: running Prusti against chrono
Issue -
State: open - Opened by djc over 1 year ago
#1342 - Experience report: running Prusti against chrono
Issue -
State: open - Opened by djc over 1 year ago
#1342 - Experience report: running Prusti against chrono
Issue -
State: open - Opened by djc over 1 year ago
#1341 - "unions are not supported"
Issue -
State: open - Opened by djc over 1 year ago
Labels: enhancement, error-reporting
#1341 - "unions are not supported"
Issue -
State: open - Opened by djc over 1 year ago
Labels: enhancement, error-reporting
#1341 - "unions are not supported"
Issue -
State: open - Opened by djc over 1 year ago
Labels: enhancement, error-reporting
#1340 - [WIP] Feature/jni field getter setter without signature
Pull Request -
State: closed - Opened by simon-hrabec over 1 year ago
- 3 comments
#1340 - [WIP] Feature/jni field getter setter without signature
Pull Request -
State: closed - Opened by simon-hrabec over 1 year ago
- 3 comments
#1340 - [WIP] Feature/jni field getter setter without signature
Pull Request -
State: closed - Opened by simon-hrabec over 1 year ago
- 3 comments
#1339 - Debugging loop invariant failure
Issue -
State: open - Opened by zhassan-aws almost 2 years ago
- 3 comments
Labels: viper-issue, incompleteness
#1338 - Fix test-crates
Pull Request -
State: closed - Opened by fpoli almost 2 years ago
#1338 - Fix test-crates
Pull Request -
State: closed - Opened by fpoli almost 2 years ago
#1338 - Fix test-crates
Pull Request -
State: closed - Opened by fpoli almost 2 years ago
#1337 - Retry compiling for MacOS ARM
Pull Request -
State: closed - Opened by fpoli almost 2 years ago
#1337 - Retry compiling for MacOS ARM
Pull Request -
State: closed - Opened by fpoli almost 2 years ago
#1337 - Retry compiling for MacOS ARM
Pull Request -
State: closed - Opened by fpoli almost 2 years ago
#1336 - Run test-crates on ubuntu-22.04
Pull Request -
State: closed - Opened by fpoli almost 2 years ago
#1335 - Fix syntax of pledges in the user guide
Pull Request -
State: closed - Opened by fpoli almost 2 years ago
#1334 - [WIP] Various IDE improvements and new features
Pull Request -
State: open - Opened by cedihegi almost 2 years ago
- 1 comment
#1333 - Prusti needs asserts to sucessfully verify
Issue -
State: open - Opened by pvdbrand almost 2 years ago
Labels: incompleteness
#1333 - Prusti needs asserts to sucessfully verify
Issue -
State: open - Opened by pvdbrand almost 2 years ago
Labels: incompleteness
#1333 - Prusti needs asserts to sucessfully verify
Issue -
State: open - Opened by pvdbrand almost 2 years ago
Labels: incompleteness
#1332 - Support unevaluated constants in specs
Pull Request -
State: closed - Opened by Aurel300 almost 2 years ago
- 1 comment
#1332 - Support unevaluated constants in specs
Pull Request -
State: closed - Opened by Aurel300 almost 2 years ago
- 1 comment
#1332 - Support unevaluated constants in specs
Pull Request -
State: closed - Opened by Aurel300 almost 2 years ago
- 1 comment
#1331 - Add macro to generate getters/setters for fields via JNI
Pull Request -
State: closed - Opened by simon-hrabec almost 2 years ago
- 7 comments
#1331 - Add macro to generate getters/setters for fields via JNI
Pull Request -
State: closed - Opened by simon-hrabec almost 2 years ago
- 7 comments
#1331 - Add macro to generate getters/setters for fields via JNI
Pull Request -
State: closed - Opened by simon-hrabec almost 2 years ago
- 7 comments
#1329 - Refactoring to allow for new verification back ends
Pull Request -
State: closed - Opened by JakuJ almost 2 years ago
- 6 comments
#1329 - Refactoring to allow for new verification back ends
Pull Request -
State: closed - Opened by JakuJ almost 2 years ago
- 6 comments
#1329 - Refactoring to allow for new verification back ends
Pull Request -
State: closed - Opened by JakuJ almost 2 years ago
- 6 comments
#1328 - Enable tracing support
Pull Request -
State: closed - Opened by JonasAlaif almost 2 years ago
- 2 comments
#1328 - Enable tracing support
Pull Request -
State: closed - Opened by JonasAlaif almost 2 years ago
- 2 comments
#1321 - Lithium: a Rust-native back end
Pull Request -
State: open - Opened by JakuJ almost 2 years ago
- 9 comments
#1319 - Missing edge in dependency_graph.py
Issue -
State: open - Opened by fpoli almost 2 years ago
- 3 comments
Labels: bug, good first issue
#1318 - Normalize field types
Pull Request -
State: closed - Opened by jscissr almost 2 years ago
- 1 comment
#1318 - Normalize field types
Pull Request -
State: closed - Opened by jscissr almost 2 years ago
- 1 comment
#1306 - Consistency error from marking `Option::unwrap` as `#[pure]`
Issue -
State: closed - Opened by Patrick-6 almost 2 years ago
- 1 comment
Labels: error-reporting
#1295 - Cannot detect if code is getting verified by Prusti or compiled normally
Issue -
State: closed - Opened by Patrick-6 almost 2 years ago
- 1 comment
#1287 - Cannot generate documentation with links to definitions
Issue -
State: closed - Opened by fpoli almost 2 years ago
- 1 comment
Labels: pending-on-external
#1282 - Just checking CI
Pull Request -
State: open - Opened by vakaras almost 2 years ago
#1275 - Time reasoning
Pull Request -
State: closed - Opened by Pialex99 almost 2 years ago
- 1 comment
#1275 - Time reasoning
Pull Request -
State: open - Opened by Pialex99 almost 2 years ago
#1275 - Time reasoning
Pull Request -
State: open - Opened by Pialex99 almost 2 years ago
#1268 - Unsupported constant type `Ref(...)`
Issue -
State: closed - Opened by Patrick-6 almost 2 years ago
- 2 comments
#1268 - Unsupported constant type `Ref(...)`
Issue -
State: closed - Opened by Patrick-6 almost 2 years ago
- 2 comments
#1268 - Unsupported constant type `Ref(...)`
Issue -
State: closed - Opened by Patrick-6 almost 2 years ago
- 2 comments
#1267 - Internal error from pure function calling itself in its contract
Issue -
State: closed - Opened by Patrick-6 almost 2 years ago
- 1 comment
#1249 - Provide Specs for the Standard Library
Pull Request -
State: open - Opened by juliand665 about 2 years ago
- 6 comments
#1240 - Squash commits of GitHub pages
Pull Request -
State: closed - Opened by fpoli about 2 years ago
- 7 comments
#1240 - Squash commits of GitHub pages
Pull Request -
State: open - Opened by fpoli about 2 years ago
- 6 comments
#1235 - Collect extern specs for foreign functions
Pull Request -
State: closed - Opened by meyerzinn about 2 years ago
- 1 comment
#1231 - Try disabling function unfolding triggers.
Pull Request -
State: open - Opened by vakaras about 2 years ago
- 2 comments
#1231 - Try disabling function unfolding triggers.
Pull Request -
State: open - Opened by vakaras about 2 years ago
- 2 comments
#1231 - Try disabling function unfolding triggers.
Pull Request -
State: open - Opened by vakaras about 2 years ago
- 2 comments
#1214 - Internal error from mutually recursive pure functions
Issue -
State: open - Opened by Patrick-6 about 2 years ago
- 2 comments
Labels: bug
#1193 - Support for macOS arm64
Issue -
State: closed - Opened by fcoury about 2 years ago
- 11 comments
Labels: bug, viper-issue, documentation
#1192 - Refactoring
Pull Request -
State: open - Opened by vakaras about 2 years ago
#1192 - Refactoring
Pull Request -
State: open - Opened by vakaras about 2 years ago
#1192 - Refactoring
Pull Request -
State: open - Opened by vakaras about 2 years ago
#1178 - [WIP] Backport mathematical types
Pull Request -
State: closed - Opened by zgrannan about 2 years ago
#1174 - Enforce no unwrap in proc macro implementations
Pull Request -
State: open - Opened by JonasAlaif about 2 years ago
#1174 - Enforce no unwrap in proc macro implementations
Pull Request -
State: open - Opened by JonasAlaif about 2 years ago
#1107 - Change implementation of resolve_method_call to not use resolve_instance
Pull Request -
State: closed - Opened by zgrannan over 2 years ago
#1098 - Owned non aliased generics 2 - [showcase/attempt]
Pull Request -
State: open - Opened by pascal-huber over 2 years ago
#1098 - Owned non aliased generics 2 - [showcase/attempt]
Pull Request -
State: open - Opened by pascal-huber over 2 years ago
#1094 - Handle Unconstrained Lifetimes in Loops
Pull Request -
State: open - Opened by pascal-huber over 2 years ago
#1094 - Handle Unconstrained Lifetimes in Loops
Pull Request -
State: open - Opened by pascal-huber over 2 years ago
#1016 - Other BST and AVL examples
Pull Request -
State: open - Opened by JonasAlaif over 2 years ago
#1016 - Other BST and AVL examples
Pull Request -
State: open - Opened by JonasAlaif over 2 years ago
#1016 - Other BST and AVL examples
Pull Request -
State: open - Opened by JonasAlaif over 2 years ago
#980 - WIP: Iterator tracking issues
Pull Request -
State: open - Opened by vl0w over 2 years ago
- 10 comments
#980 - WIP: Iterator tracking issues
Pull Request -
State: open - Opened by vl0w over 2 years ago
- 10 comments
#980 - WIP: Iterator tracking issues
Pull Request -
State: open - Opened by vl0w over 2 years ago
- 10 comments