viperproject/prusti-dev issues and pull requests

#1527 - Prusti server stopped working

Issue - State: open - Opened by cdstanford 4 months ago - 1 comment

#1526 - linux-aarch64: "cargo-prusti: cannot execute binary file: Exec format error"

Issue - State: open - Opened by ValarMorghulisMaiDou 4 months ago

#1525 - add verify_errors_as_warnings

Pull Request - State: open - Opened by seanrion 4 months ago

#1524 - Feature Request: Add Configuration Flag to Lower Verify Errors to Warnings

Issue - State: open - Opened by seanrion 4 months ago - 1 comment

#1523 - Prusti encounters unexpected internal error

Issue - State: closed - Opened by lpnaunau 4 months ago - 3 comments

#1522 - Fix incorrect environment variable name

Pull Request - State: open - Opened by thederekkaplan 5 months ago - 1 comment

#1516 - `len()` implementation without overflow errors

Issue - State: open - Opened by fpoli 6 months ago - 1 comment
Labels: enhancement

#1514 - python script: import error

Pull Request - State: open - Opened by cospectrum 7 months ago

#1513 - Enum: unsupported statement kind `Intrinsic(Assume(move _))`

Issue - State: open - Opened by nishanthkarthik 7 months ago

#1512 - Enum discriminant completeness

Issue - State: open - Opened by nishanthkarthik 8 months ago

#1511 - Fix issue #1505

Pull Request - State: closed - Opened by fpoli 8 months ago

#1511 - Fix issue #1505

Pull Request - State: open - Opened by fpoli 8 months ago

#1511 - Fix issue #1505

Pull Request - State: closed - Opened by fpoli 8 months ago

#1510 - Viper Data Collection changes

Pull Request - State: open - Opened by Simon-Hostettler 8 months ago

#1510 - Viper Data Collection changes

Pull Request - State: open - Opened by Simon-Hostettler 8 months ago

#1509 - Error for missing model lifetime specifier recommends invalid syntax, has unclear fix

Issue - State: open - Opened by csgordon 8 months ago - 3 comments
Labels: bug

#1509 - Error for missing model lifetime specifier recommends invalid syntax, has unclear fix

Issue - State: open - Opened by csgordon 8 months ago - 3 comments
Labels: bug

#1508 - ghost seq not implemented

Issue - State: open - Opened by nishanthkarthik 9 months ago - 1 comment
Labels: bug, error-reporting

#1508 - ghost seq not implemented

Issue - State: open - Opened by nishanthkarthik 9 months ago - 1 comment
Labels: bug, error-reporting

#1507 - Disable MIR optimizations in tests

Pull Request - State: closed - Opened by fpoli 9 months ago

#1506 - Inconsistency in the encoding of Rust addresses as Viper Ref types

Issue - State: open - Opened by fpoli 9 months ago
Labels: bug, unsoundness

#1505 - Wrong encoding of signed divisions

Issue - State: closed - Opened by fpoli 9 months ago - 2 comments
Labels: bug, good first issue, unsoundness

#1504 - Unsupported constant string in println

Issue - State: open - Opened by MathieuSoysal 9 months ago - 1 comment
Labels: enhancement

#1503 - Optimize encoding of `mir::BinOp::Rem` for unsigned integers

Pull Request - State: closed - Opened by fpoli 9 months ago

#1502 - Fix signed discriminant in pure code

Pull Request - State: closed - Opened by fpoli 9 months ago

#1501 - Wrong encoding of signed discriminants in pure code

Issue - State: closed - Opened by fpoli 9 months ago - 1 comment
Labels: bug, unsoundness

#1500 - Support for old(..) expressions in loop invariants

Issue - State: open - Opened by fpoli 9 months ago
Labels: bug, error-reporting

#1497 - Executable mode bits in release files not set

Issue - State: closed - Opened by ifndefJOSH 9 months ago - 4 comments
Labels: bug, good first issue

#1496 - Adds functionality to ignore dependencies contracts

Pull Request - State: closed - Opened by nshyrei 9 months ago - 1 comment

#1495 - Try the new Viper release

Pull Request - State: closed - Opened by fpoli 9 months ago

#1495 - Try the new Viper release

Pull Request - State: closed - Opened by fpoli 9 months ago

#1494 - Update readme

Pull Request - State: closed - Opened by fpoli 10 months ago

#1493 - Verifying 3rd party dependency crate results in compiler panic

Issue - State: open - Opened by nshyrei 10 months ago - 12 comments
Labels: bug, good first issue

#1492 - Fix doc

Pull Request - State: closed - Opened by pixelshot91 10 months ago - 4 comments

#1491 - Update Viper to v-2023-12-16-1716

Pull Request - State: closed - Opened by fpoli 10 months ago - 2 comments

#1491 - Update Viper to v-2024-02-01-0836

Pull Request - State: closed - Opened by fpoli 10 months ago - 2 comments

#1490 - Disable the "more complete" exhale

Pull Request - State: closed - Opened by fpoli 10 months ago - 2 comments

#1489 - Unexpected order of verification errors

Issue - State: open - Opened by fpoli 11 months ago
Labels: error-reporting

#1488 - Update dependencies (rustc nightly-2024-01-15, viper v-2023-12-16-1716)

Pull Request - State: closed - Opened by viper-admin 11 months ago

#1487 - Remove redundant invariant

Pull Request - State: closed - Opened by fpoli 11 months ago

#1487 - Remove redundant invariant

Pull Request - State: closed - Opened by fpoli 11 months ago

#1487 - Remove redundant invariant

Pull Request - State: closed - Opened by fpoli 11 months ago

#1487 - Remove redundant invariant

Pull Request - State: closed - Opened by fpoli 11 months ago

#1486 - Strengthen the postcondition of bisect

Pull Request - State: closed - Opened by fpoli 11 months ago

#1485 - Fix normalization of ids in package statements

Pull Request - State: closed - Opened by fpoli 11 months ago

#1484 - Update dependencies (rustc nightly-2024-01-01, viper v-2023-12-16-1716)

Pull Request - State: closed - Opened by viper-admin 11 months ago

#1483 - Update dependencies (rustc nightly-2023-12-15, viper v-2023-12-06-0725)

Pull Request - State: closed - Opened by viper-admin 12 months ago - 1 comment

#1483 - Update dependencies (rustc nightly-2023-12-15, viper v-2023-12-06-0725)

Pull Request - State: closed - Opened by viper-admin 12 months ago - 1 comment

#1482 - Raise an error if old() expressions are used in local vars outside of loops

Pull Request - State: closed - Opened by zgrannan 12 months ago

#1482 - Raise an error if old() expressions are used in local vars outside of loops

Pull Request - State: closed - Opened by zgrannan 12 months ago

#1481 - Fix rosetta binary search

Pull Request - State: closed - Opened by vakaras 12 months ago

#1480 - Failing procedural macro of a contract

Issue - State: open - Opened by fpoli 12 months ago
Labels: bug, error-reporting

#1479 - Fix `get_target_dir` and build.py to make packaging work properly with new prusti_contracts dir

Pull Request - State: closed - Opened by zgrannan 12 months ago

#1478 - Update rust nightly to support codegen-backend

Issue - State: open - Opened by sigmaSd 12 months ago - 1 comment
Labels: enhancement

#1477 - Update dependencies (rustc nightly-2023-12-01, viper v-2023-09-27-0729)

Pull Request - State: closed - Opened by viper-admin 12 months ago - 1 comment

#1476 - Fix windows CI builds

Pull Request - State: closed - Opened by zgrannan 12 months ago - 9 comments

#1475 - Updated snapshot injectivity axiom.

Pull Request - State: closed - Opened by zgrannan 12 months ago

#1474 - Raise an error when postconditions of pure functions contain old() expressions

Pull Request - State: closed - Opened by zgrannan 12 months ago

#1473 - rustc removed plugins

Issue - State: closed - Opened by safinaskar about 1 year ago - 2 comments

#1472 - Internal error when assigning a closure call to a reference

Issue - State: open - Opened by fpoli about 1 year ago
Labels: bug

#1471 - Internal error when assigning to an argument

Issue - State: open - Opened by fpoli about 1 year ago
Labels: bug

#1470 - Update dependencies (rustc nightly-2023-11-01, viper v-2023-09-27-0729)

Pull Request - State: open - Opened by viper-admin about 1 year ago - 2 comments

#1469 - Help message for x.py

Issue - State: open - Opened by fpoli about 1 year ago
Labels: enhancement, good first issue