Ecosyste.ms: Issues

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

GitHub / model-checking/kani issues and pull requests

#3547 - Automatic toolchain upgrade to nightly-2024-09-25

Pull Request - State: closed - Opened by github-actions[bot] 5 days ago - 1 comment
Labels: Z-BenchCI

#3546 - Analyze unsafe code reachability

Pull Request - State: open - Opened by celinval 6 days ago
Labels: Z-BenchCI

#3545 - Revert #3539 and reuse rust backend infrastructure instead

Pull Request - State: closed - Opened by celinval 6 days ago
Labels: Z-BenchCI

#3544 - Update toolchain to 2024-09-23

Pull Request - State: closed - Opened by tautschnig 6 days ago - 2 comments
Labels: Z-BenchCI

#3543 - Some coverage results need to be filtered out because they point to non-existing regions

Issue - State: open - Opened by adpaco-aws 6 days ago - 2 comments
Labels: [C] Bug, [E] User Experience, [F] Soundness, Z-UnstableFeature

#3542 - Filenames stored in raw coverage results should be absolute

Issue - State: open - Opened by adpaco-aws 7 days ago
Labels: [C] Internal

#3541 - Check structures and other code is duplicated in `kani-cov`

Issue - State: open - Opened by adpaco-aws 7 days ago
Labels: [C] Internal

#3540 - Bump tests/perf/s2n-quic from `132ba54` to `a88ae41`

Pull Request - State: closed - Opened by dependabot[bot] 7 days ago
Labels: dependencies, submodules

#3539 - Update toolchain to 2024-09-20

Pull Request - State: closed - Opened by tautschnig 7 days ago - 1 comment
Labels: Z-BenchCI

#3538 - Add experimental API to generate arbitrary pointers

Pull Request - State: open - Opened by celinval 7 days ago - 1 comment
Labels: Z-BenchCI

#3537 - Update to CBMC 6.3.1 and fix auto-update script

Pull Request - State: closed - Opened by tautschnig 7 days ago
Labels: Z-BenchCI

#3536 - CBMC upgrade to 6.3.1 failed

Issue - State: closed - Opened by github-actions[bot] 7 days ago - 1 comment

#3535 - Automatic cargo update to 2024-09-23

Pull Request - State: closed - Opened by github-actions[bot] 7 days ago
Labels: Z-BenchCI

#3533 - Automatic toolchain upgrade to nightly-2024-09-17

Pull Request - State: closed - Opened by github-actions[bot] 8 days ago - 1 comment
Labels: Z-BenchCI

#3532 - Automatic toolchain upgrade to nightly-2024-09-16

Pull Request - State: closed - Opened by github-actions[bot] 8 days ago - 1 comment
Labels: Z-BenchCI

#3531 - Upgrade toolchain to 2024-09-15

Pull Request - State: closed - Opened by qinheping 8 days ago
Labels: Z-BenchCI

#3529 - Upgrade toolchain to 2024-09-14

Pull Request - State: closed - Opened by qinheping 9 days ago
Labels: Z-BenchCI

#3528 - Append harness name to the graph file (debug feature only)

Pull Request - State: closed - Opened by celinval 9 days ago
Labels: Z-BenchCI

#3527 - Fix storing coverage data in cargo projects

Pull Request - State: closed - Opened by adpaco-aws 10 days ago

#3526 - Add tests for issue 3009

Pull Request - State: closed - Opened by carolynzech 12 days ago

#3525 - Toolchain upgrade to nightly-2024-09-13 failed

Issue - State: closed - Opened by github-actions[bot] 12 days ago - 1 comment

#3524 - Upgrade toolchain to 2024-09-12

Pull Request - State: closed - Opened by qinheping 12 days ago
Labels: Z-BenchCI

#3523 - List Subcommand (Implementation)

Pull Request - State: open - Opened by carolynzech 13 days ago
Labels: Z-BenchCI

#3522 - Call `check_proof_attribute` for contract harnesses

Pull Request - State: closed - Opened by carolynzech 13 days ago - 3 comments
Labels: Z-BenchCI

#3521 - Toolchain upgrade to nightly-2024-09-12 failed

Issue - State: closed - Opened by github-actions[bot] 13 days ago - 1 comment

#3520 - Automatic toolchain upgrade to nightly-2024-09-11

Pull Request - State: closed - Opened by github-actions[bot] 13 days ago - 1 comment
Labels: Z-BenchCI

#3519 - Automatic toolchain upgrade to nightly-2024-09-10

Pull Request - State: closed - Opened by github-actions[bot] 13 days ago - 1 comment
Labels: Z-BenchCI

#3518 - Upgrade toolchain to 2024-09-09

Pull Request - State: closed - Opened by qinheping 13 days ago
Labels: Z-BenchCI

#3517 - Downgrade once_cell

Pull Request - State: closed - Opened by zhassan-aws 14 days ago
Labels: Z-BenchCI

#3516 - Bump tests/perf/s2n-quic from `d8be30e` to `132ba54`

Pull Request - State: closed - Opened by dependabot[bot] 14 days ago
Labels: dependencies, submodules

#3515 - Automatic cargo update to 2024-09-16

Pull Request - State: closed - Opened by github-actions[bot] 14 days ago
Labels: Z-BenchCI

#3514 - Add an LLBC backend

Pull Request - State: open - Opened by zhassan-aws 16 days ago
Labels: Z-BenchCI

#3513 - Instrument validity checks for pointer to reference casts for slices and str's

Pull Request - State: closed - Opened by zhassan-aws 18 days ago - 1 comment
Labels: Z-BenchCI

#3511 - Reduce object-bits for test to avoid OOM

Pull Request - State: closed - Opened by zhassan-aws 21 days ago - 2 comments

#3510 - Bump peter-evans/create-pull-request from 6 to 7

Pull Request - State: closed - Opened by dependabot[bot] 21 days ago
Labels: dependencies, github_actions

#3509 - Bump tests/perf/s2n-quic from `1ff3a9c` to `d8be30e`

Pull Request - State: closed - Opened by dependabot[bot] 21 days ago
Labels: dependencies, submodules

#3508 - Update features/verify-std branch

Pull Request - State: closed - Opened by carolynzech 21 days ago
Labels: Z-BenchCI

#3507 - CBMC upgrade to 6.2.0 failed

Issue - State: closed - Opened by github-actions[bot] 21 days ago

#3506 - Automatic cargo update to 2024-09-09

Pull Request - State: closed - Opened by github-actions[bot] 21 days ago
Labels: Z-BenchCI

#3505 - Automatic toolchain upgrade to nightly-2024-09-08

Pull Request - State: closed - Opened by github-actions[bot] 21 days ago - 1 comment
Labels: Z-BenchCI

#3504 - Upgrade toolchain to 2024-09-07

Pull Request - State: closed - Opened by zhassan-aws 22 days ago
Labels: Z-BenchCI

#3502 - Automatic toolchain upgrade to nightly-2024-09-06

Pull Request - State: closed - Opened by github-actions[bot] 23 days ago - 1 comment
Labels: Z-BenchCI

#3501 - Fix iss3495

Pull Request - State: closed - Opened by zhassan-aws 23 days ago
Labels: Z-BenchCI

#3500 - Automatic toolchain upgrade to nightly-2024-09-05

Pull Request - State: closed - Opened by github-actions[bot] 24 days ago - 1 comment
Labels: Z-BenchCI

#3499 - Fix cmake configuration for perf job

Pull Request - State: closed - Opened by zhassan-aws 24 days ago

#3498 - Kani does not detect UB when generating an invalid slice reference from an invalid slice pointer

Issue - State: closed - Opened by celinval 25 days ago - 2 comments
Labels: [C] Bug, [F] Soundness

#3497 - CI fails with latest CBMC

Issue - State: closed - Opened by zhassan-aws 25 days ago - 1 comment
Labels: [C] Bug

#3496 - Enable stubbing and function contracts for primitive types

Pull Request - State: closed - Opened by celinval 25 days ago
Labels: Z-BenchCI

#3495 - Emit annotated item in error message

Issue - State: closed - Opened by zhassan-aws 25 days ago - 1 comment
Labels: [C] Feature / Enhancement

#3494 - ICE: `failed to resolve instance for <dyn ThriftService as ThriftService>::foo`

Issue - State: open - Opened by matthiaskrgr 25 days ago - 1 comment
Labels: [C] Bug, [F] Crash

#3493 - Replace `proc-macro-error` with `proc-macro-error2`

Pull Request - State: closed - Opened by zhassan-aws 25 days ago
Labels: Z-BenchCI

#3492 - Upgrade upload-artifact and download-artifact actions

Issue - State: open - Opened by zhassan-aws 26 days ago
Labels: T-High Priority, [C] Internal, [I] CI / Infrastructure

#3491 - Fix contract expansion for `old`

Pull Request - State: closed - Opened by carolynzech 26 days ago
Labels: Z-BenchCI

#3490 - List RFC revisions

Pull Request - State: closed - Opened by carolynzech 26 days ago - 1 comment

#3489 - List RFC (Second Review)

Pull Request - State: closed - Opened by carolynzech 26 days ago

#3488 - Automatic toolchain upgrade to nightly-2024-09-04

Pull Request - State: closed - Opened by github-actions[bot] 26 days ago - 1 comment
Labels: Z-BenchCI

#3487 - Bump actions/download-artifact and actions/upload-artifact

Pull Request - State: closed - Opened by zhassan-aws 26 days ago - 1 comment

#3486 - Bump Kani version to 0.55.0

Pull Request - State: closed - Opened by zhassan-aws 26 days ago - 3 comments
Labels: Z-BenchCI

#3485 - Upgrade to CBMC 6.2.0

Pull Request - State: closed - Opened by zhassan-aws 26 days ago - 4 comments
Labels: Z-BenchCI

#3484 - Add tests for fixed issues.

Pull Request - State: closed - Opened by carolynzech 27 days ago

#3483 - Add test for issue 3022

Pull Request - State: closed - Opened by carolynzech 27 days ago - 1 comment

#3482 - Automatic toolchain upgrade to nightly-2024-09-03

Pull Request - State: closed - Opened by github-actions[bot] 27 days ago - 1 comment
Labels: Z-BenchCI

#3481 - Bump tests/perf/s2n-quic from `8f7c04b` to `1ff3a9c`

Pull Request - State: closed - Opened by dependabot[bot] 28 days ago
Labels: dependencies, submodules

#3480 - Automatic cargo update to 2024-09-02

Pull Request - State: closed - Opened by github-actions[bot] 28 days ago
Labels: Z-BenchCI

#3479 - Automatic toolchain upgrade to nightly-2024-09-02

Pull Request - State: closed - Opened by github-actions[bot] 28 days ago - 1 comment
Labels: Z-BenchCI

#3478 - Update Toolchain to 9/1

Pull Request - State: closed - Opened by carolynzech 29 days ago
Labels: Z-BenchCI

#3476 - Toolchain upgrade to nightly-2024-08-31 failed

Issue - State: closed - Opened by github-actions[bot] about 1 month ago - 2 comments

#3475 - Stacked Borrows In Kani -- Extend Feature to handle more code

Issue - State: open - Opened by jsalzbergedu about 1 month ago - 2 comments
Labels: [C] Feature / Enhancement

#3474 - Update Kani Book

Pull Request - State: closed - Opened by carolynzech about 1 month ago

#3473 - vstte paper

Pull Request - State: closed - Opened by rahulku about 1 month ago - 4 comments

#3472 - add VSTTE 2024 paper files

Pull Request - State: closed - Opened by rahulku about 1 month ago - 7 comments

#3471 - Enums that are #[repr(u8)] are slower than u8

Issue - State: open - Opened by jsalzbergedu about 1 month ago - 2 comments
Labels: [C] Bug

#3470 - Partially integrate uninit memory checks into `verify_std`

Pull Request - State: closed - Opened by artemagvanian about 1 month ago
Labels: Z-BenchCI

#3469 - Automatic toolchain upgrade to nightly-2024-08-30

Pull Request - State: closed - Opened by github-actions[bot] about 1 month ago - 1 comment
Labels: Z-BenchCI

#3468 - Upgrade Toolchain to 8/29

Pull Request - State: closed - Opened by carolynzech about 1 month ago
Labels: Z-BenchCI

#3467 - ICE Resolving `proof_for_contract` target

Issue - State: open - Opened by carolynzech about 1 month ago - 2 comments
Labels: [C] Bug, Z-Contracts

#3466 - Toolchain upgrade to nightly-2024-08-29 failed

Issue - State: closed - Opened by github-actions[bot] about 1 month ago

#3465 - Cross-function union instrumentation

Pull Request - State: closed - Opened by artemagvanian about 1 month ago
Labels: Z-BenchCI

#3464 - Adjust test patterns so as not to check for trivial properties

Pull Request - State: closed - Opened by tautschnig about 1 month ago

#3463 - RFC for List Subcommand

Pull Request - State: closed - Opened by carolynzech about 1 month ago - 1 comment

#3462 - Clarify comment in RFC Template

Pull Request - State: closed - Opened by carolynzech about 1 month ago

#3458 - Fast fail

Issue - State: open - Opened by cospectrum about 1 month ago
Labels: [C] Feature / Enhancement

#3458 - Fast fail

Issue - State: open - Opened by cospectrum about 1 month ago
Labels: [C] Feature / Enhancement

#3457 - Extend name resolution to support qualified paths

Pull Request - State: open - Opened by celinval about 1 month ago
Labels: Z-BenchCI

#3457 - Extend name resolution to support qualified paths (Partial Fix)

Pull Request - State: closed - Opened by celinval about 1 month ago
Labels: Z-BenchCI

#3456 - Confusing coverage result: Uncovered argument for `match`

Issue - State: open - Opened by adpaco-aws about 1 month ago
Labels: [C] Bug, [E] User Experience, [F] Spurious Failure, Z-UnstableFeature

#3456 - Confusing coverage result: Uncovered argument for `match`

Issue - State: open - Opened by adpaco-aws about 1 month ago
Labels: [C] Bug, [E] User Experience, [F] Spurious Failure, Z-UnstableFeature

#3455 - Confusing coverage result: Uncovered end of block on `if` statement

Issue - State: open - Opened by adpaco-aws about 1 month ago
Labels: [C] Bug, [E] User Experience, [F] Spurious Failure, Z-UnstableFeature

#3455 - Confusing coverage result: Uncovered end of block on `if` statement

Issue - State: open - Opened by adpaco-aws about 1 month ago
Labels: [C] Bug, [E] User Experience, [F] Spurious Failure, Z-UnstableFeature

#3454 - Upgrade toolchain to 08/28

Pull Request - State: closed - Opened by jaisnan about 1 month ago
Labels: Z-BenchCI

#3454 - Upgrade toolchain to 08/20

Pull Request - State: open - Opened by jaisnan about 1 month ago
Labels: Z-BenchCI

#3453 - Bump tests/perf/s2n-quic from `ab9723a` to `80b93a7`

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, submodules

#3452 - Make points-to analysis handle all intrinsics explicitly

Pull Request - State: closed - Opened by artemagvanian about 1 month ago
Labels: Z-BenchCI

#3452 - Make points-to analysis handle all intrinsics explicitly

Pull Request - State: closed - Opened by artemagvanian about 1 month ago
Labels: Z-BenchCI