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
#3214 - Toolchain upgrade to nightly-2024-05-25 failed
Issue -
State: closed - Opened by github-actions[bot] 4 months ago
- 1 comment
#3213 - Disallow side effects in contract expressions
Issue -
State: open - Opened by pi314mm 4 months ago
- 3 comments
Labels: [C] Feature / Enhancement, Z-Contracts
#3212 - Update Rust toolchain nightly-2024-05-24
Pull Request -
State: closed - Opened by qinheping 4 months ago
Labels: Z-BenchCI
#3211 - Don't crash benchcomp when rounding non-numeric values
Pull Request -
State: closed - Opened by karkhaz 4 months ago
- 1 comment
Labels: Z-BenchCI
#3210 - Benchcomp fails to render scatterplot when some data values are empty
Issue -
State: closed - Opened by karkhaz 4 months ago
Labels: [C] Bug
#3209 - Fix `{,e}println!()`
Pull Request -
State: closed - Opened by GrigorenkoPV 4 months ago
Labels: Z-BenchCI
#3208 - Toolchain upgrade to nightly-2024-05-24 failed
Issue -
State: closed - Opened by github-actions[bot] 4 months ago
#3207 - Change ensures into closures
Pull Request -
State: open - Opened by pi314mm 4 months ago
- 11 comments
Labels: Z-BenchCI
#3206 - Error when annotating an associated function with a contract
Issue -
State: closed - Opened by zhassan-aws 4 months ago
- 4 comments
Labels: [C] Bug, T-High Priority, Z-Contracts
#3205 - Fix `{,e}println!()`
Pull Request -
State: closed - Opened by GrigorenkoPV 4 months ago
- 2 comments
Labels: Z-BenchCI
#3204 - `println!()` with no trailing semicolon causes an error
Issue -
State: closed - Opened by GrigorenkoPV 4 months ago
Labels: [C] Bug
#3203 - Implement validity checks for unsupported constructs
Issue -
State: open - Opened by celinval 4 months ago
- 1 comment
Labels: [C] Feature / Enhancement
#3202 - Bump tests/perf/s2n-quic from `f5d9d74` to `d03cc47`
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: Z-BenchCI, dependencies, submodules
#3201 - Automatic cargo update to 2024-05-27
Pull Request -
State: closed - Opened by github-actions[bot] 4 months ago
Labels: Z-BenchCI
#3200 - Add simple API for shadow memory
Pull Request -
State: closed - Opened by zhassan-aws 4 months ago
Labels: Z-BenchCI
#3199 - Update Rust toolchain from nightly-2024-05-17 to nightly-2024-05-23
Pull Request -
State: closed - Opened by remi-delmas-3000 4 months ago
Labels: Z-BenchCI
#3198 - New section about linter configuraton checking in the doc.
Pull Request -
State: closed - Opened by remi-delmas-3000 4 months ago
#3197 - Update docs to suggest adding `kani` to list of known configs
Issue -
State: closed - Opened by zhassan-aws 4 months ago
Labels: [E] User Experience, [C] Documentation
#3196 - Bump tests/perf/s2n-quic from `bd37960` to `f5d9d74`
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: Z-BenchCI, dependencies, submodules
#3195 - Automatic cargo update to 2024-05-20
Pull Request -
State: closed - Opened by github-actions[bot] 4 months ago
Labels: Z-BenchCI
#3194 - `kani` placeholder crate on crates.io
Issue -
State: closed - Opened by Turbo87 4 months ago
- 3 comments
#3193 - Toolchain upgrade to nightly-2024-05-18 failed
Issue -
State: closed - Opened by github-actions[bot] 5 months ago
- 1 comment
#3192 - Perform cargo update because of yanked libc version
Pull Request -
State: closed - Opened by zhassan-aws 5 months ago
Labels: Z-BenchCI
#3191 - Automatic toolchain upgrade to nightly-2024-05-17
Pull Request -
State: closed - Opened by github-actions[bot] 5 months ago
Labels: Z-BenchCI
#3190 - (Re)introduce `Invariant` trait
Pull Request -
State: open - Opened by adpaco-aws 5 months ago
- 1 comment
Labels: Z-BenchCI
#3189 - Automatic toolchain upgrade to nightly-2024-05-16
Pull Request -
State: closed - Opened by github-actions[bot] 5 months ago
Labels: Z-BenchCI
#3188 - [DRAFT] RFC for Ghost State
Pull Request -
State: open - Opened by celinval 5 months ago
Labels: T-RFC, Z-Contracts
#3187 - Include `--check-cfg=cfg(kani)` in the rust flags to avoid a warning about an unknown `cfg`.
Pull Request -
State: closed - Opened by zhassan-aws 5 months ago
#3186 - Using `#[cfg(kani)]` results in a warning
Issue -
State: closed - Opened by zhassan-aws 5 months ago
- 1 comment
Labels: [C] Bug
#3185 - Automatic toolchain upgrade to nightly-2024-05-15
Pull Request -
State: closed - Opened by github-actions[bot] 5 months ago
Labels: Z-BenchCI
#3184 - Add support to shadow memory
Issue -
State: open - Opened by celinval 5 months ago
Labels: [C] Feature / Enhancement
#3183 - Upgrade toolchain to 2024-05-14
Pull Request -
State: closed - Opened by zhassan-aws 5 months ago
Labels: Z-BenchCI
#3182 - Intrinsic `type_swapped` fails for unit types
Issue -
State: closed - Opened by celinval 5 months ago
Labels: [C] Bug
#3181 - Unexpected failure when `modifies` attribute points to a ZST
Issue -
State: closed - Opened by celinval 5 months ago
- 4 comments
Labels: [C] Bug, Z-Contracts
#3180 - Automatic toolchain upgrade to nightly-2024-04-23
Pull Request -
State: closed - Opened by github-actions[bot] 5 months ago
- 1 comment
Labels: Z-BenchCI
#3179 - Do not run perf tests in parallel
Pull Request -
State: closed - Opened by zhassan-aws 5 months ago
- 1 comment
Labels: Z-BenchCI
#3178 - Bump tests/perf/s2n-quic from `6dd41e0` to `bd37960`
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: Z-BenchCI, dependencies, submodules
#3177 - Automatic cargo update to 2024-05-13
Pull Request -
State: closed - Opened by github-actions[bot] 5 months ago
Labels: Z-BenchCI
#3176 - Bump Kani version to 0.51.0
Pull Request -
State: closed - Opened by karkhaz 5 months ago
- 2 comments
Labels: Z-BenchCI
#3175 - Update Rust dependencies
Pull Request -
State: closed - Opened by karkhaz 5 months ago
Labels: Z-BenchCI
#3174 - Bump tests/perf/s2n-quic from `1436af7` to `6dd41e0`
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: Z-BenchCI, dependencies, submodules
#3173 - Avoid unnecessary uses of Location::none()
Pull Request -
State: closed - Opened by tautschnig 5 months ago
Labels: Z-BenchCI
#3172 - Automatic cargo update to 2024-05-06
Pull Request -
State: closed - Opened by github-actions[bot] 5 months ago
Labels: Z-BenchCI
#3171 - Upgrade toolchain to 2024-04-22
Pull Request -
State: closed - Opened by zhassan-aws 5 months ago
- 4 comments
Labels: Z-BenchCI
#3170 - Fix copyright check for `expected` tests
Pull Request -
State: closed - Opened by adpaco-aws 5 months ago
#3169 - Remove kani::Arbitrary from the modifies contract instrumentation
Pull Request -
State: closed - Opened by feliperodri 5 months ago
- 1 comment
Labels: Z-BenchCI
#3168 - Create an API for loop contracts
Issue -
State: open - Opened by qinheping 5 months ago
Labels: [C] Feature / Enhancement, Z-Contracts
#3167 - RFC: Loop Contracts
Pull Request -
State: closed - Opened by qinheping 5 months ago
- 1 comment
Labels: T-RFC, Z-Contracts
#3166 - Bump tests/perf/s2n-quic from `9730578` to `1436af7`
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: Z-BenchCI, dependencies, submodules
#3165 - Automatic cargo update to 2024-04-29
Pull Request -
State: closed - Opened by github-actions[bot] 5 months ago
Labels: Z-BenchCI
#3164 - Codegen storage markers as assignments to __CPROVER_dead_object
Pull Request -
State: closed - Opened by tautschnig 5 months ago
- 2 comments
Labels: Z-BenchCI
#3163 - ```--tests``` flag should enable ```#[test]``` attributes and behavior
Issue -
State: open - Opened by Necromaticon 5 months ago
- 2 comments
Labels: [C] Feature / Enhancement
#3162 - Remove floating-point check for +/-Inf
Pull Request -
State: open - Opened by feliperodri 5 months ago
- 4 comments
#3161 - Toolchain upgrade to nightly-2024-04-22 failed
Issue -
State: closed - Opened by github-actions[bot] 5 months ago
- 7 comments
#3160 - Fix cargo audit error
Pull Request -
State: closed - Opened by jaisnan 5 months ago
Labels: Z-BenchCI
#3159 - Bump tests/perf/s2n-quic from `5f88e54` to `9730578`
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: Z-BenchCI, dependencies, submodules
#3158 - Automatic toolchain upgrade to nightly-2024-04-21
Pull Request -
State: closed - Opened by github-actions[bot] 5 months ago
Labels: Z-BenchCI
#3157 - Automatic cargo update to 2024-04-22
Pull Request -
State: closed - Opened by github-actions[bot] 5 months ago
Labels: Z-BenchCI
#3156 - Fix cbmc-update CI job
Pull Request -
State: closed - Opened by tautschnig 5 months ago
#3155 - CBMC upgrade to 5.95.1 failed
Issue -
State: closed - Opened by github-actions[bot] 5 months ago
#3154 - Automatic toolchain upgrade to nightly-2024-04-20
Pull Request -
State: closed - Opened by github-actions[bot] 5 months ago
Labels: Z-BenchCI
#3153 - Create a `#[no_core]` Kani library
Issue -
State: closed - Opened by celinval 5 months ago
#3152 - Enable Kani to verify the standard library crates
Issue -
State: closed - Opened by celinval 5 months ago
- 2 comments
#3151 - Loop Contracts Annotation for While-Loop
Pull Request -
State: open - Opened by qinheping 5 months ago
- 3 comments
Labels: Z-BenchCI, Z-Contracts
#3150 - Automatic toolchain upgrade to nightly-2024-04-19
Pull Request -
State: closed - Opened by github-actions[bot] 5 months ago
Labels: Z-BenchCI
#3149 - Upgrade toolchain to 2024-04-18 and improve toolchain workflow
Pull Request -
State: closed - Opened by celinval 5 months ago
Labels: Z-BenchCI
#3148 - Bump dependencies and Kani's version to 0.50.0
Pull Request -
State: closed - Opened by celinval 6 months ago
Labels: Z-BenchCI
#3147 - Patch kani 0.49.1
Pull Request -
State: closed - Opened by celinval 6 months ago
Labels: Z-BenchCI
#3146 - Automatic toolchain upgrade to nightly-2024-04-16
Pull Request -
State: closed - Opened by github-actions[bot] 6 months ago
- 1 comment
Labels: Z-BenchCI
#3145 - Handle errors thrown from benchcomp column exprs
Pull Request -
State: closed - Opened by karkhaz 6 months ago
- 1 comment
Labels: Z-BenchCI
#3144 - Upgrade toolchain to nightly-2024-04-15
Pull Request -
State: closed - Opened by celinval 6 months ago
- 3 comments
Labels: Z-BenchCI
#3143 - RFC: Source-based code coverage
Pull Request -
State: closed - Opened by adpaco-aws 6 months ago
Labels: T-RFC
#3142 - Latest kani version breaks CI job
Issue -
State: closed - Opened by tcharding 6 months ago
- 5 comments
Labels: [C] Bug
#3141 - The copyright check doesn't seem to be working
Issue -
State: closed - Opened by celinval 6 months ago
Labels: [C] Internal, [I] CI / Infrastructure
#3140 - Bump tests/perf/s2n-quic from `2d5e891` to `5f88e54`
Pull Request -
State: closed - Opened by dependabot[bot] 6 months ago
Labels: Z-BenchCI, dependencies, submodules
#3139 - Fix syntax error in cbmc-update CI job
Pull Request -
State: closed - Opened by tautschnig 6 months ago
- 1 comment
#3138 - Newest `proc_macro2` version does not work with kani-0.49.0
Issue -
State: closed - Opened by tautschnig 6 months ago
- 11 comments
Labels: [C] Internal, [I] CI / Infrastructure
#3137 - Remove is-a-parameter from gen_stack_variable
Pull Request -
State: closed - Opened by tautschnig 6 months ago
Labels: Z-BenchCI
#3136 - Restore mdbook-graphviz installation
Pull Request -
State: closed - Opened by tautschnig 6 months ago
#3135 - Bump tests/perf/s2n-quic from `2d5e891` to `1130df6`
Pull Request -
State: closed - Opened by dependabot[bot] 6 months ago
Labels: Z-BenchCI, dependencies, submodules
#3134 - Do not assume that ZST-typed symbols refer to unique objects
Pull Request -
State: closed - Opened by tautschnig 6 months ago
- 17 comments
Labels: Z-BenchCI
#3133 - PPA git-core no longer exists
Issue -
State: closed - Opened by tautschnig 6 months ago
- 1 comment
Labels: [C] Bug, [I] CI / Infrastructure
#3132 - Automatic cargo update to 2024-04-08
Pull Request -
State: closed - Opened by github-actions[bot] 6 months ago
Labels: Z-BenchCI
#3131 - Fix TestLocalToolchain jobs for release push
Pull Request -
State: closed - Opened by tautschnig 6 months ago
#3130 - Toolchain upgrade to nightly-2024-04-03 failed
Issue -
State: closed - Opened by github-actions[bot] 6 months ago
#3129 - Reasoning about ZST addresses
Issue -
State: closed - Opened by nishanthkarthik 6 months ago
- 7 comments
Labels: [C] Bug, [F] Soundness
#3128 - Update the rust toolchain to nightly-2024-04-03
Pull Request -
State: closed - Opened by tautschnig 6 months ago
- 5 comments
Labels: Z-BenchCI
#3127 - Update the rust toolchain to nightly-2024-04-02
Pull Request -
State: closed - Opened by tautschnig 6 months ago
Labels: Z-BenchCI
#3126 - Bump Kani version to 0.49.0
Pull Request -
State: closed - Opened by tautschnig 6 months ago
Labels: Z-BenchCI
#3125 - Toolchain upgrade to nightly-2024-03-30 failed
Issue -
State: closed - Opened by github-actions[bot] 6 months ago
#3124 - Remove unnecessary build step for some workflows
Pull Request -
State: closed - Opened by zhassan-aws 6 months ago
- 1 comment
Labels: Z-BenchCI
#3123 - Remove bookrunner
Pull Request -
State: closed - Opened by tautschnig 6 months ago
Labels: Z-BenchCI
#3122 - Automatic cargo update to 2024-04-04
Pull Request -
State: closed - Opened by github-actions[bot] 6 months ago
Labels: Z-BenchCI
#3121 - `kani-cov`: A coverage tool for Kani
Pull Request -
State: open - Opened by adpaco-aws 6 months ago
- 3 comments
Labels: Z-BenchCI
#3120 - Add code scanner tool
Pull Request -
State: closed - Opened by celinval 6 months ago
- 2 comments
Labels: Z-BenchCI
#3119 - Adopt Rust's source-based code coverage instrumentation
Pull Request -
State: closed - Opened by adpaco-aws 6 months ago
- 3 comments
Labels: Z-BenchCI
#3118 - Bump tests/perf/s2n-quic from `0a60ec1` to `2d5e891`
Pull Request -
State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies, submodules
#3117 - Automatic cargo update to 2024-04-01
Pull Request -
State: closed - Opened by github-actions[bot] 6 months ago
- 1 comment
Labels: Z-BenchCI
#3116 - Upgrade Rust toolchain to nightly-2024-03-29
Pull Request -
State: closed - Opened by feliperodri 6 months ago
- 3 comments
Labels: Z-BenchCI
#3115 - Toolchain upgrade to nightly-2024-03-22 failed
Issue -
State: closed - Opened by github-actions[bot] 6 months ago