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

#3068 - Remove `--enable-unstable`

Issue - State: open - Opened by celinval 8 months ago
Labels: [E] User Experience

#3067 - cargo update and fix macos CI

Pull Request - State: closed - Opened by zhassan-aws 8 months ago - 2 comments
Labels: Z-BenchCI

#3066 - Bump tests/perf/s2n-quic from `d103836` to `1a7faa8`

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: Z-BenchCI, dependencies, submodules

#3065 - Automatic cargo update to 2024-03-11

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

#3064 - Replace internal reverse_postorder by a stable one

Pull Request - State: closed - Opened by celinval 8 months ago - 2 comments
Labels: Z-BenchCI

#3063 - Emit `dead` goto-instructions on MIR StatementDead

Pull Request - State: closed - Opened by karkhaz 9 months ago - 1 comment
Labels: Z-BenchCI

#3062 - Add method to assert a pointer is valid

Pull Request - State: closed - Opened by celinval 9 months ago - 2 comments
Labels: Z-BenchCI

#3061 - Kani should fail due to invalid access of a dead local variable via raw pointer

Issue - State: closed - Opened by celinval 9 months ago - 4 comments
Labels: [C] Bug, T-High Priority, [F] Soundness

#3060 - Cleanup flow to setup cargo kani

Issue - State: open - Opened by jaisnan 9 months ago
Labels: [C] Internal

#3059 - How to pass `target-feature` in cargo-kani?

Issue - State: open - Opened by zpzigi754 9 months ago - 6 comments
Labels: [C] Bug

#3058 - Add the ability for Kani to use a locally installed toolchain at runtime

Issue - State: closed - Opened by jaisnan 9 months ago
Labels: [C] Feature / Enhancement

#3056 - Add `--use-local-toolchain` to Kani setup

Pull Request - State: closed - Opened by jaisnan 9 months ago - 3 comments
Labels: Z-BenchCI

#3055 - Automatic cargo update to 2024-03-04

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

#3054 - Add option to override `--crate-name` from `kani`

Pull Request - State: closed - Opened by adpaco-aws 9 months ago - 3 comments

#3053 - Update s2n-quic submodule weekly through dependabot

Pull Request - State: closed - Opened by zhassan-aws 9 months ago - 1 comment

#3052 - Upgrade Rust toolchain to `nightly-2024-03-01`

Pull Request - State: closed - Opened by adpaco-aws 9 months ago - 6 comments
Labels: Z-BenchCI

#3051 - Automatic toolchain upgrade to nightly-2024-02-26

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

#3050 - Update s2n-quic submodule

Pull Request - State: closed - Opened by zhassan-aws 9 months ago

#3049 - Upgrade `windows-targets` crate to version 0.52.4

Pull Request - State: closed - Opened by adpaco-aws 9 months ago
Labels: Z-BenchCI

#3048 - Upgrade Rust toolchain to `nightly-2024-02-25`

Pull Request - State: closed - Opened by adpaco-aws 9 months ago
Labels: Z-BenchCI

#3047 - Fix `codegen_atomic_binop` for `atomic_ptr`

Pull Request - State: closed - Opened by qinheping 9 months ago - 1 comment
Labels: Z-BenchCI

#3046 - Advise on using Kani for non-cargo projects

Issue - State: closed - Opened by rodionov 9 months ago - 9 comments

#3045 - Retrieve info for recursion tracker reliably

Pull Request - State: closed - Opened by feliperodri 9 months ago - 5 comments
Labels: Z-BenchCI

#3043 - Automatic cargo update to 2024-02-26

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

#3042 - Kani crashes when handling code related to AtomicPtr

Issue - State: closed - Opened by jaisnan 9 months ago - 4 comments
Labels: [C] Bug

#3041 - Document how to debug slowness of the proof

Issue - State: open - Opened by Kixunil 9 months ago - 3 comments
Labels: [E] User Experience, [C] Documentation

#3040 - Upgrade rust toolchain to 2024-02-17

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

#3039 - Bump Kani version to 0.47.0

Pull Request - State: closed - Opened by jaisnan 9 months ago
Labels: Z-BenchCI

#3038 - Update dependencies from `cargo update`

Pull Request - State: closed - Opened by jaisnan 9 months ago
Labels: Z-BenchCI

#3036 - Upgrade toolchain to 2024-02-14

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

#3035 - Regression in contract verification from 0.45.0 to 0.46.0

Issue - State: closed - Opened by roypat 9 months ago
Labels: [C] Bug

#3034 - A crash when calling a closure with a struct involving the never type

Issue - State: closed - Opened by zhassan-aws 9 months ago
Labels: [C] Bug, [F] Crash, Z-Kani Compiler

#3033 - Automatic cargo update to 2024-02-19

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

#3032 - Upgrade tooclhain to 2024-02-17

Pull Request - State: closed - Opened by zhassan-aws 9 months ago - 9 comments
Labels: Z-BenchCI

#3031 - Update s2n-quic submodule to latest

Pull Request - State: closed - Opened by zhassan-aws 9 months ago

#3030 - Out of memory with Kani 0.46.0 on an s2n-quic harness

Issue - State: closed - Opened by zhassan-aws 9 months ago - 14 comments
Labels: T-High Priority, [E] Performance, [C] Feature / Enhancement, T-User

#3029 - crates.io stub and docs.rs documentation

Issue - State: open - Opened by GrigorenkoPV 9 months ago - 3 comments
Labels: [C] Feature / Enhancement

#3027 - Contracts: Can't include non-`Copy` types in contract

Issue - State: open - Opened by adpaco-aws 9 months ago - 4 comments
Labels: [C] Bug, [F] Crash

#3026 - Contracts: Error refers to nonvisible `*e_renamed` expression

Issue - State: closed - Opened by adpaco-aws 9 months ago - 1 comment
Labels: [C] Feature / Enhancement

#3025 - Bump ncipollo/release-action from 1.13.0 to 1.14.0

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#3024 - Automatic cargo update to 2024-02-12

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

#3023 - ICE: `Can't cast`

Issue - State: open - Opened by matthiaskrgr 9 months ago
Labels: [C] Bug, [F] Crash

#3022 - ice: unequal types in stable mir

Issue - State: closed - Opened by matthiaskrgr 9 months ago - 1 comment
Labels: [C] Bug, [F] Crash

#3021 - ice: `Expected '&[T]' to point to a single buffer`

Issue - State: open - Opened by matthiaskrgr 9 months ago
Labels: [C] Bug

#3020 - panic `Error("Unexpected value for bool: `2`")` on transmute shenanigans

Issue - State: open - Opened by matthiaskrgr 9 months ago - 1 comment
Labels: [C] Bug

#3019 - ICE ` entered unreachable code: Ty..` const &dyn Trait

Issue - State: open - Opened by matthiaskrgr 9 months ago
Labels: [C] Bug

#3018 - ICE `Error in struct_expr; value type does not match field type`

Issue - State: open - Opened by matthiaskrgr 9 months ago
Labels: [C] Bug

#3017 - ICE: `resolution failed during building vtable representation`

Issue - State: open - Opened by matthiaskrgr 9 months ago
Labels: [C] Bug, [F] Crash

#3016 - Advise on verifying state machines with kani

Issue - State: open - Opened by LizardWizzard 9 months ago - 5 comments
Labels: [E] Performance, [C] Feature / Enhancement, T-User

#3015 - Upgrade Rust toolchain to nightly-2024-02-09

Pull Request - State: closed - Opened by feliperodri 9 months ago
Labels: Z-BenchCI

#3013 - Bump Kani version to 0.46.0

Pull Request - State: closed - Opened by feliperodri 9 months ago
Labels: Z-BenchCI

#3011 - Automatic toolchain upgrade to nightly-2024-01-25

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

#3010 - kani contracts cause false-positives for unused mut lint on the gcd example

Issue - State: closed - Opened by pnkfelix 9 months ago
Labels: [C] Bug

#3009 - Span of type error in contracts could be narrowed

Issue - State: closed - Opened by pnkfelix 9 months ago - 3 comments
Labels: [C] Feature / Enhancement, T-User, Z-Contracts

#3008 - Upgrade Rust toolchain to nightly-2024-01-24

Pull Request - State: closed - Opened by feliperodri 9 months ago
Labels: Z-BenchCI

#3006 - Support harness partition

Issue - State: open - Opened by celinval 9 months ago - 2 comments
Labels: [C] Feature / Enhancement

#3005 - Restore mdbook-graphviz installation

Issue - State: closed - Opened by tautschnig 9 months ago
Labels: [C] Internal

#3004 - Update cargo dependencies

Pull Request - State: closed - Opened by tautschnig 10 months ago
Labels: Z-BenchCI

#3003 - Automatic cargo update to 2024-02-07

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

#3002 - Enable fma* intrinsics

Pull Request - State: closed - Opened by tautschnig 10 months ago
Labels: Z-BenchCI

#3001 - Enable log2*, log10* intrinsics

Pull Request - State: closed - Opened by tautschnig 10 months ago
Labels: Z-BenchCI

#3000 - Enable sqrt* intrinsics

Pull Request - State: closed - Opened by tautschnig 10 months ago - 2 comments
Labels: Z-BenchCI

#2999 - Enable powif* intrinsics

Pull Request - State: closed - Opened by tautschnig 10 months ago
Labels: Z-BenchCI

#2998 - Tracking Issue: Automatically ensure validity invariants of unsafe operations

Issue - State: open - Opened by celinval 10 months ago - 1 comment
Labels: [C] Feature / Enhancement

#2997 - Users should be able to create contracts suitable for verification but not stubbing

Issue - State: closed - Opened by celinval 10 months ago - 2 comments
Labels: [C] Feature / Enhancement

#2996 - Enable powf*, exp*, log* intrinsics

Pull Request - State: closed - Opened by tautschnig 10 months ago - 2 comments
Labels: Z-BenchCI

#2995 - Update to CBMC version 6.1.1

Pull Request - State: closed - Opened by tautschnig 10 months ago - 4 comments
Labels: Z-BenchCI

#2994 - Fix ICEs due to mismatched arguments

Pull Request - State: closed - Opened by celinval 10 months ago
Labels: Z-BenchCI

#2993 - History Expressions

Pull Request - State: closed - Opened by JustusAdam 10 months ago - 1 comment
Labels: Z-BenchCI

#2992 - Refactoring contracts macro logic into separate modules

Pull Request - State: closed - Opened by JustusAdam 10 months ago - 2 comments
Labels: Z-BenchCI

#2991 - Bump peter-evans/create-pull-request from 5 to 6

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#2990 - Automatic cargo update to 2024-02-05

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

#2989 - Fix std overrides when crate has extern std

Pull Request - State: closed - Opened by celinval 10 months ago
Labels: Z-BenchCI

#2988 - Automatic toolchain upgrade to nightly-2024-01-18

Pull Request - State: closed - Opened by github-actions[bot] 10 months ago - 1 comment

#2987 - Switch MacOS CI jobs to macos-13

Pull Request - State: closed - Opened by tautschnig 10 months ago

#2986 - Automatic cargo update to 2024-01-29

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

#2985 - Don't crash when benchmark contains unknown metric

Pull Request - State: closed - Opened by karkhaz 10 months ago

#2984 - Bump Kani version to 0.45.0

Pull Request - State: closed - Opened by qinheping 10 months ago - 3 comments
Labels: Z-BenchCI

#2983 - Upgrade Rust toolchain to nightly-2024-01-23

Pull Request - State: closed - Opened by celinval 10 months ago - 2 comments
Labels: Z-BenchCI

#2982 - Kani unwinds forever on semver-pubgrub

Issue - State: open - Opened by zhassan-aws 10 months ago - 1 comment
Labels: [E] Performance, [C] Feature / Enhancement, T-User

#2981 - Expand `${variable}` in benchcomp variant `env`

Issue - State: closed - Opened by karkhaz 10 months ago
Labels: [C] Feature / Enhancement

#2980 - Automatic cargo update to 2024-01-22

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

#2979 - Automatic toolchain upgrade to nightly-2024-01-18

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

#2978 - Cargo update 2024-01-18

Pull Request - State: closed - Opened by remi-delmas-3000 10 months ago
Labels: Z-BenchCI

#2977 - Benchcomp visualize: fix missing import

Pull Request - State: closed - Opened by tautschnig 10 months ago

#2976 - Upgrade toolchain to nightly-2024-01-17

Pull Request - State: closed - Opened by celinval 10 months ago
Labels: Z-BenchCI

#2975 - Check for pointer validity when casting raw pointer to reference.

Issue - State: closed - Opened by celinval 10 months ago - 1 comment
Labels: T-High Priority, [C] Feature / Enhancement, [E] Unsupported UB, Z-Kani Compiler

#2974 - Automatic cargo update to 2024-01-15

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

#2973 - Intermittent failures in macOS CI jobs

Issue - State: closed - Opened by adpaco-aws 10 months ago - 2 comments
Labels: [C] Internal

#2972 - Prepare for CBMC version 6

Issue - State: closed - Opened by tautschnig 10 months ago
Labels: [C] Internal

#2970 - Bump Kani version to 0.44.0

Pull Request - State: closed - Opened by zhassan-aws 10 months ago
Labels: Z-BenchCI

#2969 - Upgrade to 2024-01-08 rust toolchain

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