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

#2968 - Automatic cargo update to 2024-01-08

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

#2967 - Rethink `should_panic` and `fail_uncoverable` options as global conditions

Pull Request - State: closed - Opened by adpaco-aws 11 months ago - 1 comment
Labels: T-RFC

#2966 - Support for powf operations

Issue - State: closed - Opened by nickgarfield 11 months ago - 6 comments
Labels: [C] Feature / Enhancement, T-User, [E] Unsupported Construct

#2965 - Build CBMC with `cmake` in all "CBMC latest" jobs

Pull Request - State: closed - Opened by adpaco-aws 11 months ago - 1 comment

#2964 - Automatic cargo update to 2024-01-01

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

#2963 - Automatic cargo update to 2023-12-25

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

#2962 - Automatic toolchain upgrade to nightly-2023-12-21

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

#2961 - Update the rust toolchain to 2023-12-20

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

#2960 - Toolchain upgrade to nightly-2023-12-19 failed

Issue - State: closed - Opened by github-actions[bot] 11 months ago - 1 comment

#2959 - Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR

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

#2957 - [Boogie Backend] Add support for int-to-int casts

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

#2956 - Automatic toolchain upgrade to nightly-2023-12-17

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

#2955 - [Boogie Backend] Add an unbounded array API

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

#2954 - Fix nightly jobs running CBMC latest on the `perf` suite

Pull Request - State: closed - Opened by adpaco-aws 11 months ago - 6 comments

#2953 - Update Rust toolchain to `nightly-2023-12-18`

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

#2952 - Nightly CBMC jobs fail due to `goto-cc` version mismatch

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

#2951 - Automatic cargo update to 2023-12-18

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

#2950 - Toolchain upgrade to nightly-2023-12-16 failed

Issue - State: closed - Opened by github-actions[bot] 11 months ago - 1 comment

#2949 - [Boogie Backend] Add datatypes to Boogie AST

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

#2948 - Update nightly toolchain to toolchain-2023-12-15

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

#2947 - Migrate function, block and statement modules to StableMIR

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

#2945 - Bump actions/download-artifact from 3 to 4

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

#2944 - Replacing `Vec` with `SmallVec` causes CMBC's memory usage to grow unboundedly during post-processing

Issue - State: open - Opened by roypat 11 months ago - 1 comment
Labels: [C] Bug, [E] Performance, T-User

#2943 - Automatic toolchain upgrade to nightly-2023-12-14

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

#2942 - Automate cargo update without dependabot

Pull Request - State: closed - Opened by tautschnig 11 months ago - 5 comments

#2941 - Bump Kani version to 0.43.0

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

#2940 - Update Cargo dependencies

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

#2939 - Migrate `intrinsics` module to use StableMIR

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

#2938 - Migrate `rvalue` and `coercion` module to use StableMIR

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

#2937 - Toolchain upgrade to nightly-2023-12-12 failed

Issue - State: closed - Opened by github-actions[bot] 11 months ago - 1 comment

#2936 - Investigate if optimizing constant generation to avoid allocations improve solver performance

Issue - State: open - Opened by celinval 11 months ago
Labels: [E] Performance, [C] Feature / Enhancement

#2935 - Bump actions/labeler from 4 to 5

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago - 3 comments
Labels: dependencies, github_actions

#2934 - Bump actions/checkout from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago - 2 comments
Labels: dependencies, github_actions

#2933 - Bump the cargo group with 1 update

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

#2932 - Automatic toolchain upgrade to nightly-2023-12-11

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

#2931 - Migrate static handling and most of the operand codegen code to StableMIR

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

#2930 - Automatic toolchain upgrade to nightly-2023-12-10

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

#2929 - Automatic toolchain upgrade to nightly-2023-12-09

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

#2928 - Clean up some code before migrating rvalue

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

#2927 - goto-synthesizer crash

Issue - State: open - Opened by hargoniX 12 months ago - 2 comments
Labels: [C] Bug, [F] Crash, T-User, T-CBMC

#2926 - Update Rust toolchain to `nightly-2023-12-08`

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

#2925 - Remove doc build from regular regression

Pull Request - State: closed - Opened by celinval 12 months ago

#2923 - Revert "Bump actions/labeler from 4 to 5 (#2917)"

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

#2922 - Updated labeler GitHub action configuration to v5 format

Pull Request - State: closed - Opened by tautschnig 12 months ago - 2 comments

#2921 - Bump docker/build-push-action from 3 to 5

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago - 1 comment
Labels: dependencies, github_actions

#2920 - Bump the cargo group with 2 updates

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

#2919 - Bump ncipollo/release-action from 1.12.0 to 1.13.0

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago - 1 comment
Labels: dependencies, github_actions

#2918 - Bump actions/checkout from 3 to 4

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

#2917 - Bump actions/labeler from 4 to 5

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

#2916 - Bump docker/login-action from 2 to 3

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

#2915 - Fix StableMIR migration documentation

Pull Request - State: closed - Opened by celinval 12 months ago

#2914 - [Boogie Backend] Add two Boogie tests

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

#2913 - Update the rust toolchain to nightly-2023-12-03

Pull Request - State: closed - Opened by tautschnig 12 months ago - 5 comments
Labels: Z-BenchCI

#2912 - Stabilize `find_debug_info`

Pull Request - State: closed - Opened by ouz-a 12 months ago
Labels: Z-BenchCI

#2910 - Migrate hooks and place modules to use mostly StableMIR APIs

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

#2909 - Diverging `modifies` clauses cause unsound vacuity

Issue - State: closed - Opened by JustusAdam 12 months ago - 14 comments
Labels: [C] Bug, [F] Soundness

#2908 - Support for slices in `modifies` clauses

Issue - State: open - Opened by JustusAdam 12 months ago
Labels: [C] Feature / Enhancement

#2907 - Support for encapsulated mutability in `modifies` clauses

Issue - State: open - Opened by JustusAdam 12 months ago - 2 comments
Labels: [C] Feature / Enhancement, Z-Contracts

#2906 - Automatic toolchain upgrade to nightly-2023-12-01

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

#2905 - Add disk space output to debug occasional test failures

Pull Request - State: closed - Opened by tautschnig 12 months ago - 1 comment

#2904 - Automatic toolchain upgrade to nightly-2023-11-30

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

#2903 - Automatic toolchain upgrade to nightly-2023-11-29

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

#2902 - [Boogie Backend] Use the original names of variables when generating Boogie

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

#2901 - [Boogie Backend] Add SMT bit-vector builtin operations

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

#2900 - Update dependencies

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

#2899 - Enable dependabot

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

#2898 - Automatic toolchain upgrade to nightly-2023-11-28

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

#2897 - Update the rust toolchain to nightly-2023-11-27

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

#2896 - Bump Kani version to 0.42.0

Pull Request - State: closed - Opened by tautschnig 12 months ago - 1 comment
Labels: Z-BenchCI

#2895 - Automate CBMC update

Pull Request - State: closed - Opened by tautschnig 12 months ago - 5 comments

#2894 - Change reachability module to use StableMIR

Pull Request - State: closed - Opened by celinval 12 months ago - 3 comments
Labels: Z-BenchCI

#2893 - Automatic toolchain upgrade to nightly-2023-11-22

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

#2892 - Add missing implementation for functions in Boogie AST

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

#2891 - Introduce a function context

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

#2890 - Update toolchain to `nightly-2023-11-21`

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

#2889 - Automatic toolchain upgrade to nightly-2023-11-13

Pull Request - State: closed - Opened by github-actions[bot] 12 months ago

#2888 - Hang when verifying

Issue - State: closed - Opened by pwnorbitals 12 months ago - 5 comments
Labels: [C] Bug, [E] Performance, T-User

#2887 - Allow specifying CBMC custom flags from the command-line

Issue - State: closed - Opened by pwnorbitals 12 months ago - 2 comments
Labels: [C] Internal

#2886 - Support custom build target

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

#2885 - Emit suggestions and an explanation when CBMC runs out of memory

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

#2884 - Upgrade version number to 0.41.0

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

#2883 - Update dependencies from `cargo update`

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

#2882 - Make `codegen_span` stable

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

#2881 - Remove python 3.6 support and set minimum python required to 3.7

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

#2880 - Setup crashes because CBMC-Viewer has a dependency conflict

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

#2879 - set python to 3.7 in docker container and release action

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

#2878 - install_cbmc.sh: install as package if building from source

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

#2877 - install_cbmc.sh: build from source on non-x86_64

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

#2876 - ice: None , gats

Issue - State: open - Opened by matthiaskrgr about 1 year ago - 1 comment
Labels: [C] Bug, [F] Crash, [E] Unsupported Construct, Z-Kani Compiler

#2875 - ice: `assertion failed: length >= min_length`

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

#2874 - ice: `unimplemented` boxed_fn_once

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

#2873 - Automatic toolchain upgrade to nightly-2023-11-12

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

#2872 - `cargo kani --version --verbose` could show the rustc version/commit that kani is using

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

#2871 - Use stable_mir api instead of internal api for analysis

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

#2870 - Automatic toolchain upgrade to nightly-2023-11-11

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

#2869 - Automatic toolchain upgrade to nightly-2023-11-10

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