Skip to content

Issues: model-checking/kani

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
0 Open 1,141 Closed
0 Open 1,141 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

cargo-kani setup support for NixOs [C] Feature / Enhancement A new feature request or enhancement to an existing feature.
#1179 by tedinski was closed Jun 24, 2022
1
@tedinski
👀 1
Proof with AnySlice does not terminate, memory grows unbounded [C] Bug This is a bug. Something isn't working. [E] Performance Track performance improvement (Time / Memory / CPU) T-High Priority Tag issues that have high priority T-User Tag user issues / requests
#2634 by arctic-alpaca was closed Sep 26, 2023
1
@zhassan-aws
11 👀 1
Toolchain upgrade to nightly-2024-09-13 failed
#3525 by github-actions bot was closed Sep 21, 2024
1
1
Toolchain upgrade to nightly-2024-09-15 failed
#3530 by github-actions bot was closed Sep 22, 2024
1
Statement assignment assert failing [C] Bug This is a bug. Something isn't working. [F] Soundness Kani failed to detect an issue
#95 by nchong-at-aws was closed May 20, 2022
2
@celinval
3
Standard RMC include [C] Feature / Enhancement A new feature request or enhancement to an existing feature.
#119 by danielsn was closed Mar 15, 2022
1
RMC needs a __VERIFIER_assume predicate
#114 by danielsn was closed May 14, 2021
1
@danielsn
Cleanup hooks.rs
#117 by danielsn was closed May 21, 2021
1
Extern crate usage causes Box predicate to fail [F] Crash Kani crashed
#113 by adpaco-aws was closed May 25, 2021
1
@danielsn
RMC unwinding-assertions should be on by default [C] Feature / Enhancement A new feature request or enhancement to an existing feature. [F] Soundness Kani failed to detect an issue
#156 by nchong-at-aws was closed Jul 13, 2021
1
@adpaco-aws
1
Thread local statics is currently unimplemented
#157 by nchong-at-aws was closed Aug 5, 2022
1
@fzaiser
1
The abort instrinsic doesn't have a target, so target.unwrap() crashes [C] Bug This is a bug. Something isn't working.
#150 by danielsn was closed May 26, 2021
1
Add mechanism to avoid codegening certain functions
#148 by adpaco-aws was closed Jun 29, 2021
@danielsn
1
Feature request: Reliable way to determine whether a type represents a box
#152 by danielsn was closed Sep 22, 2021
1
@danielsn
Using f64::powi causes type error. [C] Bug This is a bug. Something isn't working.
#135 by vecchiot-aws was closed May 27, 2021
1
@vecchiot-aws
Places with missing Location. [C] Feature / Enhancement A new feature request or enhancement to an existing feature. [E] User Experience An UX enhancement for an existing feature. Including deprecation of an existing one.
#136 by vecchiot-aws was closed Jun 12, 2024
89 tasks
1
Unimplemented intrinsics required to codegen Firecracker vmm [C] Bug This is a bug. Something isn't working.
#158 by nchong-at-aws was closed Jun 29, 2021
1
@danielsn
1
Failing regression in MacOs CI [C] Bug This is a bug. Something isn't working.
#134 by adpaco-aws was closed Mar 31, 2022 RMC regression runs clean
@adpaco-aws
2
RMC can't handle u128 constants [C] Bug This is a bug. Something isn't working.
#140 by danielsn was closed May 21, 2021
1
Update CBMC version check to 5.30 in rmc-regression.sh [C] Bug This is a bug. Something isn't working.
#164 by avanhatt was closed Jun 2, 2021
2
Move all tests under rust-tests to compiletest
#165 by bdalrhm was closed Jun 7, 2021
1
@bdalrhm
Internal/unit tests that mock GotocCtx
#172 by avanhatt was closed Jun 29, 2021
@bdalrhm
2
2021 week 23: rebase off upstream Z-Sync Upstream Fetch changes from rustc repository. Old Rebase
#175 by adpaco-aws was closed Jun 8, 2021
@adpaco-aws
3
Additional vtable tests/benchmarks
#178 by avanhatt was closed Jul 6, 2021
5 tasks done
@avanhatt
3
Port Cargo Tests into compiletest.
#177 by bdalrhm was closed Jun 16, 2021
1
@bdalrhm
ProTip! Adding no:label will show everything without a label.