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
#3534 - Toolchain upgrade to nightly-2024-09-18 failed
Issue -
State: closed - Opened by github-actions[bot] 7 days ago
#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
#3530 - Toolchain upgrade to nightly-2024-09-15 failed
Issue -
State: closed - Opened by github-actions[bot] 9 days ago
#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
#3512 - Toolchain upgrade to nightly-2024-09-09 failed
Issue -
State: closed - Opened by github-actions[bot] 20 days ago
#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
#3503 - Toolchain upgrade to nightly-2024-09-07 failed
Issue -
State: closed - Opened by github-actions[bot] 22 days ago
#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
#3477 - Toolchain upgrade to nightly-2024-08-31 failed
Issue -
State: closed - Opened by github-actions[bot] 29 days ago
#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
#3451 - thread 'main' panicked at ...kani-verifier-0.54.0/src/lib.rs:156:38: No exit code?
Issue -
State: open - Opened by weaversa about 1 month ago
- 4 comments