model-checking/kani issues and pull requests

#2868 - Automatic toolchain upgrade to nightly-2023-11-09

Pull Request - State: closed - Opened by github-actions[bot] about 1 year ago - 2 comments
Labels: Z-BenchCI

#2867 - const-ify `cover`

Pull Request - State: closed - Opened by jswrenn about 1 year ago
Labels: Z-BenchCI

#2866 - Automatic toolchain upgrade to nightly-2023-11-08

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

#2865 - expect() does not take format strings

Pull Request - State: closed - Opened by matthiaskrgr about 1 year ago
Labels: Z-BenchCI

#2864 - Fix setup for `aarch64-unknown-linux-gnu` platform

Pull Request - State: closed - Opened by adpaco-aws about 1 year ago

#2863 - Setup fails in Linux ARM64 platforms

Issue - State: closed - Opened by adpaco-aws about 1 year ago - 1 comment
Labels: [C] Bug

#2862 - Automatic toolchain upgrade to nightly-2023-11-07

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

#2861 - Create optimal generation of Arbitrary values for types with no constraint

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

#2860 - Delete `any_slice` which has been deprecated since Kani 0.38.0.

Pull Request - State: closed - Opened by zhassan-aws about 1 year ago
Labels: Z-BenchCI

#2859 - Add non-deterministic stubs for std::vec

Pull Request - State: closed - Opened by feliperodri about 1 year ago
Labels: Z-BenchCI

#2858 - Update Rust toolchain to 2023-11-06

Pull Request - State: closed - Opened by zhassan-aws about 1 year ago
Labels: Z-BenchCI

#2857 - Unexpected r value in box conversion

Issue - State: closed - Opened by zpzigi754 about 1 year ago - 2 comments
Labels: [C] Bug, [F] Crash, T-User, Z-Kani Compiler

#2856 - Command to build proofs without running the verification process

Issue - State: closed - Opened by arctic-alpaca about 1 year ago - 3 comments
Labels: [C] Feature / Enhancement

#2855 - update in visualizing trace option

Pull Request - State: closed - Opened by muqsit-azeem about 1 year ago

#2854 - Fix docker build step in release workflow

Pull Request - State: closed - Opened by adpaco-aws about 1 year ago

#2853 - Type Invariants Examples

Issue - State: open - Opened by JustusAdam about 1 year ago

#2852 - Do not override `std` library during playback

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

#2851 - `Package Docker` CI job failed during release

Issue - State: closed - Opened by adpaco-aws about 1 year ago
Labels: [I] CI / Infrastructure

#2850 - Do not override `std` functions when running concrete playback

Issue - State: closed - Opened by celinval about 1 year ago
Labels: [C] Feature / Enhancement

#2849 - Fix path-dependent failures in `assess-artifacts` test

Pull Request - State: closed - Opened by adpaco-aws about 1 year ago

#2848 - Toolchain upgrade to nightly-2023-11-01 failed

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

#2847 - Update Kani version to 0.40.0

Pull Request - State: closed - Opened by adpaco-aws about 1 year ago - 1 comment
Labels: Z-BenchCI

#2846 - Update Rust toolchain to `nightly-2023-10-31`

Pull Request - State: closed - Opened by adpaco-aws about 1 year ago
Labels: Z-BenchCI

#2845 - Run regression tests on Apple Silicon runners, only on changes to `main`

Pull Request - State: closed - Opened by adpaco-aws about 1 year ago

#2844 - Update CBMC version to 5.95.1

Pull Request - State: closed - Opened by adpaco-aws about 1 year ago - 1 comment
Labels: Z-BenchCI

#2843 - Fix issues and Update toolchain 10-26

Pull Request - State: closed - Opened by jaisnan about 1 year ago - 5 comments
Labels: Z-BenchCI

#2842 - Cannot find macro `kaniworkaround_core_assert`

Issue - State: open - Opened by weaversa about 1 year ago - 3 comments
Labels: [C] Bug

#2841 - Unify Kani bundle CI jobs

Pull Request - State: closed - Opened by celinval about 1 year ago - 1 comment

#2840 - Toolchain upgrade to nightly-2023-10-21 failed

Issue - State: closed - Opened by github-actions[bot] about 1 year ago - 1 comment
Labels: Z-Sync Upstream

#2839 - Cache CBMC builds for Ubuntu 18

Issue - State: open - Opened by celinval about 1 year ago
Labels: [C] Internal

#2838 - Automatic toolchain upgrade to nightly-2023-10-20

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

#2837 - Create workflow Kani Extra for checks that run conditionally on labels

Pull Request - State: closed - Opened by celinval about 1 year ago - 2 comments

#2836 - Update ahash dependency

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

#2835 - Bloated MIR due to panic code in standard library

Issue - State: open - Opened by yvizel about 1 year ago - 1 comment
Labels: [C] Internal

#2834 - Upgrade `tracing` dependency

Pull Request - State: closed - Opened by adpaco-aws about 1 year ago
Labels: Z-BenchCI

#2833 - Ease setup in Amazon Linux 2

Pull Request - State: closed - Opened by adpaco-aws about 1 year ago - 2 comments

#2832 - Simplify installation

Issue - State: open - Opened by stefnotch about 1 year ago - 3 comments
Labels: [C] Feature / Enhancement

#2831 - Automatic toolchain upgrade to nightly-2023-10-19

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

#2830 - `cargo kani install` does not recover from partially downloaded archive

Issue - State: open - Opened by matthiaskrgr about 1 year ago - 1 comment
Labels: [C] Bug, [E] User Experience

#2829 - Automatic toolchain upgrade to nightly-2023-10-18

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

#2828 - Update our CI to run on MacOS 12 instead of 11

Pull Request - State: closed - Opened by celinval about 1 year ago

#2827 - Replace macos-11 with macos-12 in our CI

Issue - State: closed - Opened by zhassan-aws about 1 year ago
Labels: [C] Internal

#2826 - Fix toolchain version in the changelog

Pull Request - State: closed - Opened by celinval about 1 year ago

#2825 - Automatic toolchain upgrade to nightly-2023-10-17

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

#2824 - Update Kani version to 0.39.0

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

#2823 - Users Should Have the Option to Opt-out of Inductive Function Contract Verification

Issue - State: open - Opened by JustusAdam about 1 year ago - 1 comment
Labels: [E] User Experience

#2822 - Upgrade toolchain and fix test

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

#2821 - Update CBMC version to 5.94

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

#2820 - Fix panic warning and add arbitrary Duration

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

#2819 - Upgrade Rust toolchain to nightly-2023-10-12

Pull Request - State: closed - Opened by feliperodri about 1 year ago - 2 comments
Labels: Z-BenchCI

#2818 - Add unsafe function that creates valid (but potentially unsafe) ADT without reference

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

#2817 - Toolchain upgrade to nightly-2023-10-11 failed

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

#2816 - Automatic toolchain upgrade to nightly-2023-10-10

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

#2815 - Avoid two regression test warnings

Pull Request - State: closed - Opened by tautschnig about 1 year ago
Labels: Z-BenchCI

#2814 - Update Rust toolchain to 2023-10-09

Pull Request - State: closed - Opened by tautschnig about 1 year ago
Labels: Z-BenchCI

#2813 - Toolchain upgrade to nightly-2023-10-07 failed

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

#2812 - Automatic toolchain upgrade to nightly-2023-10-06

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

#2811 - Toolchain upgrade to nightly-2023-09-24 failed

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

#2810 - Run benchcomp if PR is labeled 'Z-BenchCI'

Pull Request - State: closed - Opened by celinval about 1 year ago - 1 comment

#2809 - Support for inductively verifying contracts of recursive functions

Pull Request - State: closed - Opened by JustusAdam about 1 year ago - 3 comments
Labels: [C] Feature / Enhancement, Z-BenchCI

#2808 - Limit --exclude to workspace packages

Pull Request - State: closed - Opened by tautschnig about 1 year ago - 2 comments

#2807 - Address clippy warnings

Pull Request - State: closed - Opened by tautschnig about 1 year ago
Labels: Z-BenchCI

#2806 - Update Rust toolchain to 2023-09-23

Pull Request - State: closed - Opened by tautschnig about 1 year ago
Labels: Z-BenchCI

#2805 - Installing Kani on ARM64 Linux

Issue - State: closed - Opened by rhakobyan about 1 year ago - 2 comments
Labels: [C] Feature / Enhancement

#2804 - Create concrete playback temp files in source directory

Pull Request - State: closed - Opened by tautschnig about 1 year ago
Labels: Z-BenchCI

#2803 - History Expression Support for Function Contracts

Issue - State: closed - Opened by JustusAdam about 1 year ago
Labels: [C] Feature / Enhancement

#2802 - Update Rust toolchain to 2023-10-05

Pull Request - State: closed - Opened by tautschnig about 1 year ago - 3 comments
Labels: Z-BenchCI

#2801 - Division with concrete and constant operands causes long verification times

Issue - State: open - Opened by adpaco-aws about 1 year ago - 4 comments
Labels: [C] Bug, [E] Performance, T-User, T-CBMC

#2800 - `modifies` Clauses for Function Contracts

Pull Request - State: closed - Opened by JustusAdam about 1 year ago - 6 comments
Labels: Z-BenchCI

#2799 - Prevent kani crash during setup for first time

Pull Request - State: closed - Opened by jaisnan about 1 year ago

#2798 - Bump Kani version to 0.38.0

Pull Request - State: closed - Opened by tautschnig about 1 year ago
Labels: Z-BenchCI

#2797 - Update dependencies

Pull Request - State: closed - Opened by tautschnig about 1 year ago
Labels: Z-BenchCI

#2796 - Bump CBMC version

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

#2795 - Adding support for code coverage

Issue - State: open - Opened by mahircg-aws about 1 year ago - 1 comment
Labels: [C] Feature / Enhancement, T-User

#2794 - Avoid mismatch when generating structs that represent scalar data but also include ZSTs

Pull Request - State: closed - Opened by adpaco-aws about 1 year ago
Labels: Z-BenchCI

#2793 - Add vacuity test for contradictory requires clause

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

#2792 - fail harness if `cover` is not satisfied

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

#2791 - Update PR template

Pull Request - State: closed - Opened by celinval about 1 year ago - 2 comments

#2790 - Performance is significantly worse with `Vec::with_capacity`

Issue - State: closed - Opened by zhassan-aws about 1 year ago - 5 comments
Labels: [C] Bug, [E] Performance

#2789 - Deprecate any_slice

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

#2788 - Deprecate `kani::slice::any_slice`

Issue - State: closed - Opened by zhassan-aws about 1 year ago
Labels: [C] Internal

#2787 - Fix issue 2589

Pull Request - State: closed - Opened by JustusAdam about 1 year ago

#2786 - Improve documentation and error messaing around concrete playback crashes

Issue - State: open - Opened by jaisnan about 1 year ago
Labels: [E] User Experience, [C] Documentation

#2785 - Auto label PRs that may require extra checks

Pull Request - State: closed - Opened by celinval about 1 year ago

#2784 - Toolchain upgrade to nightly-2023-09-20 failed

Issue - State: closed - Opened by github-actions[bot] about 1 year ago - 1 comment
Labels: Z-Sync Upstream, [I] CI / Infrastructure

#2783 - Bump version 0.37.0

Pull Request - State: closed - Opened by remi-delmas-3000 about 1 year ago
Labels: Z-BenchCI

#2782 - fix expected value for pref_align_of under aarch64/macos

Pull Request - State: closed - Opened by remi-delmas-3000 about 1 year ago

#2781 - Bump Kani version to 0.37.0

Pull Request - State: closed - Opened by remi-delmas-3000 about 1 year ago - 1 comment

#2780 - major version updates

Pull Request - State: closed - Opened by remi-delmas-3000 about 1 year ago - 2 comments

#2779 - minor version update of deps using cargo update

Pull Request - State: closed - Opened by remi-delmas-3000 about 1 year ago

#2778 - Update rust toolchain to nightly-2023-09-19

Pull Request - State: closed - Opened by remi-delmas-3000 about 1 year ago
Labels: Z-BenchCI

#2777 - Toolchain upgrade to nightly-2023-09-19 failed

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

#2776 - Kani + spade panic

Issue - State: closed - Opened by acgetchell about 1 year ago - 6 comments
Labels: [C] Bug, [F] Crash, T-User

#2775 - Automatic toolchain upgrade to nightly-2023-09-18

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

#2774 - Automatic toolchain upgrade to nightly-2023-09-17

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

#2773 - Automatic toolchain upgrade to nightly-2023-09-16

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

#2772 - Add range demo example

Pull Request - State: closed - Opened by zhassan-aws about 1 year ago - 2 comments

#2771 - Bump CBMC version

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

#2770 - Delete obsolete stubs for Vec and related options

Pull Request - State: closed - Opened by zhassan-aws about 1 year ago - 1 comment

#2769 - Fix syntax errors in Kissat checking script

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

GitHub / model-checking/kani issues and pull requests