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

#1444 - Update dependencies (rustc nightly-2023-08-15, viper v-2023-08-05-1220)

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

#1444 - Update dependencies (rustc nightly-2023-08-15, viper v-2023-08-05-1220)

Pull Request - State: closed - Opened by viper-admin over 1 year ago - 3 comments

#1444 - Update dependencies (rustc nightly-2023-08-15, viper v-2023-08-05-1220)

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

#1443 - Termination checks of mutually recursive functions

Issue - State: open - Opened by fpoli over 1 year ago
Labels: unsoundness

#1443 - Termination checks of mutually recursive functions

Issue - State: open - Opened by fpoli over 1 year ago
Labels: unsoundness

#1443 - Termination checks of mutually recursive functions

Issue - State: open - Opened by fpoli over 1 year ago
Labels: unsoundness

#1443 - Termination checks of mutually recursive functions

Issue - State: open - Opened by fpoli over 1 year ago
Labels: unsoundness

#1442 - Restore FIXME

Pull Request - State: closed - Opened by fpoli over 1 year ago

#1442 - Restore FIXME

Pull Request - State: closed - Opened by fpoli over 1 year ago

#1442 - Restore FIXME

Pull Request - State: closed - Opened by fpoli over 1 year ago

#1442 - Restore FIXME

Pull Request - State: closed - Opened by fpoli over 1 year ago

#1441 - Internal error: Viper doesn't support `folding .. in ..` expressions

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

#1441 - Internal error: Viper doesn't support `folding .. in ..` expressions

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

#1441 - Internal error: Viper doesn't support `folding .. in ..` expressions

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

#1441 - Internal error: Viper doesn't support `folding .. in ..` expressions

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

#1440 - Fix encoding of mutually recursive pure functions

Pull Request - State: closed - Opened by fpoli over 1 year ago - 1 comment

#1440 - Fix encoding of mutually recursive pure functions

Pull Request - State: closed - Opened by fpoli over 1 year ago - 1 comment

#1439 - Remove redundant build on Ubuntu 22.04

Pull Request - State: open - Opened by fpoli over 1 year ago

#1439 - Remove redundant build on Ubuntu 22.04

Pull Request - State: closed - Opened by fpoli over 1 year ago

#1438 - Try enabling LTO

Pull Request - State: closed - Opened by fpoli over 1 year ago - 1 comment

#1438 - Try enabling LTO

Pull Request - State: closed - Opened by fpoli over 1 year ago - 1 comment

#1437 - Keep more nightly releases

Pull Request - State: closed - Opened by fpoli over 1 year ago

#1437 - Keep more nightly releases

Pull Request - State: closed - Opened by fpoli over 1 year ago

#1435 - Update GitHub actions and fix release builds

Pull Request - State: closed - Opened by vakaras over 1 year ago - 2 comments

#1434 - Test Viper release.

Pull Request - State: closed - Opened by vakaras over 1 year ago

#1433 - Clarify meaning of internal errors

Pull Request - State: closed - Opened by fpoli over 1 year ago

#1431 - (Documentation of) Closures

Issue - State: open - Opened by vfukala over 1 year ago - 2 comments
Labels: documentation

#1430 - Update dependencies (rustc nightly-2023-07-15)

Pull Request - State: closed - Opened by vakaras over 1 year ago - 10 comments

#1429 - Compiler shows `non_snake_case` warnings for internal `prusti_extern_spec_...` functions

Issue - State: open - Opened by vfukala over 1 year ago - 1 comment
Labels: bug, good first issue

#1427 - Issues with verifying the result is None

Issue - State: open - Opened by nokunish over 1 year ago - 4 comments
Labels: bug

#1426 - Stack overflow for mutually recursive specifications

Issue - State: open - Opened by mimo31 over 1 year ago
Labels: bug

#1425 - External specification for std::cmp::Ord crashing Prusti

Issue - State: closed - Opened by nokunish over 1 year ago - 1 comment

#1423 - Unsound verification when cloning vector elements

Issue - State: open - Opened by nokunish over 1 year ago - 1 comment

#1422 - Disable tracing by default

Pull Request - State: closed - Opened by fpoli over 1 year ago

#1421 - Insufficient access permission

Issue - State: open - Opened by nokunish over 1 year ago - 1 comment
Labels: error-reporting

#1420 - Prusti proves `false` in `tests/verify_overflow/pass/extern-spec/linked-list.rs`

Issue - State: open - Opened by mimo31 over 1 year ago - 2 comments
Labels: bug, unsoundness

#1419 - Update dependencies (rustc nightly-2023-07-01, viper v-2023-06-15-0756)

Pull Request - State: closed - Opened by viper-admin over 1 year ago - 1 comment

#1418 - Use position IDs as Viper line numbers

Pull Request - State: closed - Opened by fpoli over 1 year ago - 1 comment

#1417 - Upgrade test suite to ui_test

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

#1416 - Simplify creation of pages

Pull Request - State: closed - Opened by fpoli over 1 year ago - 1 comment

#1415 - User guide rework

Pull Request - State: closed - Opened by Aurel300 over 1 year ago

#1414 - Prusti panics when executed from / or /data/

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

#1413 - Update README

Pull Request - State: closed - Opened by fpoli over 1 year ago

#1412 - Incorrect help message for `cargo-prusti`

Issue - State: open - Opened by Patrick-6 over 1 year ago
Labels: bug

#1411 - Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733)

Pull Request - State: closed - Opened by viper-admin over 1 year ago - 23 comments

#1408 - Resources, Obligations, Time Reasoning

Pull Request - State: open - Opened by mimo31 over 1 year ago

#1406 - Imposing pre-condition when implementing traits?

Issue - State: open - Opened by nokunish over 1 year ago - 1 comment

#1404 - Errors with extern_spec on SliceIndex trait

Issue - State: open - Opened by nokunish almost 2 years ago

#1403 - Sif extension

Pull Request - State: open - Opened by Pialex99 almost 2 years ago

#1401 - Update dependencies (rustc nightly-2023-05-01, viper v-2023-04-14-0820)

Pull Request - State: closed - Opened by viper-admin almost 2 years ago - 1 comment

#1400 - How to install cargo-prusti into cargo?

Issue - State: open - Opened by rlaferla almost 2 years ago - 1 comment
Labels: documentation

#1399 - Prusti Assistant Server fails to load on Apple Silicon m2

Issue - State: closed - Opened by rlaferla almost 2 years ago - 1 comment
Labels: duplicate

#1398 - Prusti 2.0: Free PCS

Pull Request - State: open - Opened by JonasAlaif almost 2 years ago

#1397 - Prusti panics on `slices in loops not yet implemented`

Issue - State: open - Opened by hiroki-chen almost 2 years ago

#1395 - Verification time for conjunctions in `(prusti_)assert`

Issue - State: open - Opened by Patrick-6 almost 2 years ago

#1394 - `cargo prusti -vv` fails verification in crate dependencies

Issue - State: open - Opened by Patrick-6 almost 2 years ago

#1393 - Failing parsing of `... && if let ...`

Issue - State: open - Opened by fpoli almost 2 years ago - 1 comment
Labels: bug

#1391 - Can't prove simple snapshot inequality of different enum variants

Issue - State: open - Opened by mimo31 almost 2 years ago - 1 comment
Labels: bug, incompleteness

#1390 - Windows executable crashes during verification

Issue - State: open - Opened by Patrick-6 almost 2 years ago

#1389 - Make position manager return positions with unique line/column

Pull Request - State: closed - Opened by simon-hrabec almost 2 years ago - 6 comments

#1388 - Shallow Borrows not supported

Issue - State: open - Opened by Patrick-6 almost 2 years ago

#1387 - Internal Error from matching on generic `enum` in pure function

Issue - State: open - Opened by Patrick-6 almost 2 years ago
Labels: bug

#1386 - Publish CI does dry run in PRs

Pull Request - State: closed - Opened by JonasAlaif almost 2 years ago

#1385 - Unreachable code detection

Pull Request - State: open - Opened by simon-hrabec almost 2 years ago - 6 comments

#1384 - Update dependencies (rustc nightly-2023-04-01, viper v-2023-03-29-1448)

Pull Request - State: closed - Opened by viper-admin almost 2 years ago - 3 comments

#1383 - Consistency error when running `cargo-prusti --release`

Issue - State: open - Opened by Patrick-6 almost 2 years ago - 2 comments
Labels: bug

#1382 - Add missing check of cfg!(debug_assertions)

Pull Request - State: closed - Opened by fpoli almost 2 years ago

#1381 - Assertion failed with check_panics = false, check_overflows = true (default)

Issue - State: open - Opened by gmorenz almost 2 years ago
Labels: bug

#1380 - Fix optimization

Pull Request - State: closed - Opened by fpoli almost 2 years ago

#1379 - Update test - infinite loop

Pull Request - State: closed - Opened by simon-hrabec almost 2 years ago

#1378 - Bump `prusti-contracts` version number

Pull Request - State: closed - Opened by Patrick-6 almost 2 years ago

#1377 - Remove unnecessairy serde dependency

Pull Request - State: closed - Opened by Patrick-6 almost 2 years ago

#1376 - Getting error while building Docker image

Issue - State: closed - Opened by Sakshisingh95 almost 2 years ago - 2 comments

#1375 - Enable cfg!(prusti) when compiling with Prusti

Pull Request - State: closed - Opened by fpoli almost 2 years ago

#1374 - Show duration of consistency checks

Pull Request - State: closed - Opened by fpoli almost 2 years ago

#1373 - How to install prusti on mac m2 chip

Issue - State: closed - Opened by kavitalnu almost 2 years ago - 1 comment
Labels: duplicate

#1372 - Command line options for profiling?

Issue - State: open - Opened by ranjitjhala almost 2 years ago - 2 comments
Labels: question

#1371 - `prusti_assert` macros incorrect expansion during normal compilation

Issue - State: open - Opened by Patrick-6 almost 2 years ago
Labels: bug

#1370 - Specifications of foreign functions

Pull Request - State: closed - Opened by mimo31 almost 2 years ago

#1369 - Specifications of foreign functions

Pull Request - State: closed - Opened by mimo31 almost 2 years ago

#1368 - Make trait_field! macro work for trait fields

Pull Request - State: closed - Opened by simon-hrabec almost 2 years ago - 1 comment

#1367 - Enable cargo sparse index protocol

Pull Request - State: closed - Opened by Patrick-6 almost 2 years ago

#1366 - Copy is not supported for associated types

Issue - State: open - Opened by jscissr almost 2 years ago

#1366 - Copy is not supported for associated types

Issue - State: open - Opened by jscissr almost 2 years ago

#1365 - Add prusti_refute! macro

Pull Request - State: closed - Opened by simon-hrabec almost 2 years ago - 13 comments

#1364 - JNI bindings - print actual class name on type mismatch

Pull Request - State: closed - Opened by simon-hrabec almost 2 years ago - 6 comments

#1363 - Vec function only verifies when passed by reference

Issue - State: closed - Opened by Ramla-I almost 2 years ago - 1 comment

#1363 - Vec function only verifies when passed by reference

Issue - State: closed - Opened by Ramla-I almost 2 years ago - 1 comment

#1362 - Skip broken crates in test-crates

Pull Request - State: closed - Opened by fpoli almost 2 years ago