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

#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

#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

#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

#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

#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