model-checking/kani issues and pull requests

#2768 - Update Rust toolchain to 2023-09-15

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

#2767 - Toolchain upgrade to nightly-2023-09-12 failed

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

#2766 - Problem with `NoBackIter<T>::next` in `noback_vec`

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

#2765 - Force any_vec capacity to match length

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

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

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

#2763 - powif64 intrinsic is not currently supported by Kani

Issue - State: closed - Opened by acgetchell about 1 year ago - 8 comments
Labels: [C] Feature / Enhancement, T-User, T-CBMC

#2762 - Concrete playback in-place fails if user is not using nightly

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

#2761 - Values left over after playback.

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

#2760 - Automatic toolchain upgrade to nightly-2023-09-10

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

#2759 - Kani does not flag out-of-bounds dereference with `kani::vec::any_vec`

Issue - State: closed - Opened by zhassan-aws about 1 year ago - 4 comments
Labels: [C] Bug, [F] Soundness

#2758 - Fix hashset perf test

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

#2757 - Add support for the ARM64 Linux platform

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

#2756 - Upgrade to Kissat 3.1.1

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

#2755 - Automatic toolchain upgrade to nightly-2023-09-09

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

#2754 - Fixing the Footnotes and Feature Flag on the Function Contracts RFC

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

#2753 - Do not label auto-generated toolchain PR

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

#2752 - Automatic toolchain upgrade to nightly-2023-09-08

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

#2751 - Evaluate Profile-Guided Optimization (PGO) and LLVM BOLT

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

#2750 - Remove build files generated with `cargo doc` command

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

#2749 - Toolchain upgrade workflow: fix de-duplicating issues

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

#2748 - Toolchain upgrade to nightly-2023-09-07 failed

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

#2747 - Comprehensive Documentation of Contract Usage

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

#2746 - Simple Stubbing with Contracts

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

#2745 - Do not run performance benchmarks for tags

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

#2744 - `perf-benchcomp` CI fails when pushing a new release

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

#2743 - Upgrade rust toolchain to 2023-09-07

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

#2742 - Toolchain upgrade to nightly-2023-09-07 failed

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

#2741 - Warn the user if contracts are unused

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

#2740 - Revert "Bump dependencies for release 0.36.0"

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

#2739 - Bump version to 0.36.0 and add release notes

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

#2738 - Bump dependencies for release 0.36.0

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

#2737 - version of kani available via cargo doesn't check $KANI_HOME

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

#2736 - Automatic toolchain upgrade to nightly-2023-09-06

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

#2735 - Build files are being deployed to `gh-pages`

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

#2734 - Update toolchain to `nightly-2023-09-05`

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

#2733 - Bump CBMC version to 5.91.0

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

#2732 - ice: unconditional panic (array index out of bounds) `assertion failed: length >= min_length`

Issue - State: open - Opened by matthiaskrgr about 1 year ago - 2 comments
Labels: [C] Bug, [F] Crash

#2731 - ICE; unimplemented: box move closure

Issue - State: open - Opened by matthiaskrgr about 1 year ago - 2 comments
Labels: [C] Bug, [F] Crash

#2730 - ICE: assertion failure: `Expected constant allocation for `...`, but got a mutable instead`

Issue - State: open - Opened by matthiaskrgr about 1 year ago - 2 comments
Labels: [C] Bug, [F] Crash

#2729 - Fix automatic toolchain update

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

#2728 - Automatic toolchain upgrade to nightly-2023-09-02

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

#2727 - Enable concrete playback for failure of UB checks

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

#2726 - Update to today's toolchain (sept-01)

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

#2725 - ICE: unimplemented on 2021 closure

Issue - State: open - Opened by matthiaskrgr about 1 year ago - 2 comments
Labels: [C] Bug, [F] Crash

#2724 - Contract Verification of Recursive Functions

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

#2723 - Poor performance for a serialization/deserialization example with variable-length data

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

#2722 - Automatic toolchain upgrade improvements

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

#2721 - design by contract

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

#2720 - Automatic toolchain upgrade to nightly-2023-08-26

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

#2719 - Unified handling for unstable command line flags across compiler and driver

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

#2718 - Concrete playback prints characters for interpreted values in ARM64 Linux

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

#2717 - Add a test that deallocates a stack variable

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

#2716 - Update RFC process

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

#2715 - CBMC failed with status 137

Issue - State: closed - Opened by weaversa about 1 year ago - 3 comments
Labels: [C] Bug, T-User

#2714 - Use dependabot to upgrade dependencies

Issue - State: closed - Opened by zhassan-aws about 1 year ago
Labels: [C] Internal, [I] CI / Infrastructure

#2713 - Automatic toolchain upgrade to nightly-2023-08-25

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

#2712 - Clean-up handling of `SwitchInt`

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

#2711 - Update to today's toolchain (2023-08-24)

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

#2710 - Support target x86_64-unknown-freebsd

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

#2709 - Installing Kani prints an ERROR even though it succeeds

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

#2708 - Don't error out if cleanup fails

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

#2707 - Add release note + bump version to 0.35.0

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

#2706 - Bump dependencies for release 0.35.0

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

#2705 - Concrete playback fails when temp folder is on a different mount point

Issue - State: closed - Opened by yvizel about 1 year ago - 4 comments
Labels: [C] Bug

#2704 - Free up disk space (again)

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

#2703 - Unify release bundle tests

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

#2702 - Bump CBMC version

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

#2701 - Compilation crashes when expecting one artifact (with `--tests`)

Issue - State: open - Opened by adpaco-aws about 1 year ago
Labels: [C] Bug, [F] Crash

#2700 - Ensure that reachability includes `free` when using `assigns` contracts

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

#2699 - Ask for vector/pdf version of logo

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

#2698 - Automatic toolchain upgrade to nightly-2023-08-20

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

#2697 - Automatic toolchain upgrade to nightly-2023-08-19

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

#2696 - Upgrade Rust toolchain to 2023-08-18

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

#2695 - Automatic toolchain upgrade to nightly-2023-08-16

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

#2694 - Method to get DIMACS file (SAT problem) sent to CBMC

Issue - State: open - Opened by adpaco-aws over 1 year ago
Labels: [C] Feature / Enhancement

#2693 - An API to prevent against false assumptions

Issue - State: open - Opened by adpaco-aws over 1 year ago - 3 comments
Labels: [C] Feature / Enhancement

#2692 - ICE: Simd operations crashes when using input that is not `repr(simd)`

Issue - State: open - Opened by celinval over 1 year ago - 1 comment
Labels: [C] Bug

#2691 - Automatic toolchain upgrade to nightly-2023-08-15

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

#2690 - Create an API to check valid raw pointer

Issue - State: open - Opened by celinval over 1 year ago - 4 comments
Labels: [C] Feature / Enhancement, [E] User Experience, T-CBMC

#2689 - Use the clap `derive` API for the command line arguments of `kani-compiler`

Pull Request - State: closed - Opened by JustusAdam over 1 year ago - 5 comments

#2688 - Upgrade Rust toolchain to 2023-08-14

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

#2687 - Automatic toolchain upgrade to nightly-2023-08-08

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

#2686 - Stub of foreign function fail name resolution

Issue - State: open - Opened by celinval over 1 year ago - 1 comment
Labels: [C] Bug

#2685 - Upgrade Rust toolchin to 2023-08-07

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

#2684 - hang with thread join

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

#2683 - ICE: `BinaryOperation Expression does not typecheck Plus Expr`

Issue - State: open - Opened by matthiaskrgr over 1 year ago - 2 comments
Labels: [C] Bug, [F] Crash

#2682 - ICE: `entered unreachable code: Only expected constant index for arrays and slices: also found it for:` `*mut [isize]`

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

GitHub / model-checking/kani issues and pull requests