issues
search
model-checking
/
kani
Kani Rust Verifier
https://model-checking.github.io/kani
Apache License 2.0
2.03k
stars
85
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Remove deprecated `--enable-stubbing`
#3309
celinval
opened
11 hours ago
0
Add core intrisincs tests for f16 and f128
#3308
jaisnan
opened
13 hours ago
0
Function Contracts: Closure Type Inference
#3307
pi314mm
opened
16 hours ago
0
Add support for f16 and f128 for toolchain upgrade to 6/28
#3306
jaisnan
opened
19 hours ago
1
Fix contract handling of promoted constants and constant static
#3305
celinval
opened
19 hours ago
1
UX Improvement: Ensures clause requires type annotation
#3304
celinval
opened
19 hours ago
1
Toolchain upgrade to nightly-2024-06-28 failed
#3303
github-actions[bot]
opened
1 day ago
0
Remove --visualize and cbmc-viewer call
#3302
jaisnan
opened
1 day ago
0
Automatic toolchain upgrade to nightly-2024-06-27
#3301
github-actions[bot]
closed
1 day ago
0
Tracking Issue: Automatically Verify Memory Initialization
#3300
artemagvanian
opened
1 day ago
5
Upgrade rust toolchain to 06-26
#3299
jaisnan
closed
1 day ago
0
Mutable static variables usage in contract verification trigger UB
#3298
celinval
opened
1 day ago
2
Fix operand in fat pointer comparison
#3297
pi314mm
closed
1 day ago
0
C library: declare malloc
#3296
tautschnig
closed
1 day ago
0
Function Contracts: Modify Slices
#3295
pi314mm
opened
2 days ago
1
Toolchain upgrade to nightly-2024-06-26 failed
#3294
github-actions[bot]
closed
1 day ago
1
Contract implementation is unsafe and may trigger UB
#3293
celinval
opened
3 days ago
0
Automatic toolchain upgrade to nightly-2024-06-25
#3292
github-actions[bot]
closed
3 days ago
0
Automatic toolchain upgrade to nightly-2024-06-24
#3291
github-actions[bot]
closed
3 days ago
0
Automatic toolchain upgrade to nightly-2024-06-23
#3290
github-actions[bot]
closed
4 days ago
0
Function Contracts: Modify Slices
#3289
pi314mm
closed
3 days ago
2
Bump tests/perf/s2n-quic from `7495f7b` to `37335c1`
#3288
dependabot[bot]
closed
4 days ago
0
CBMC upgrade to 6.0.1 failed
#3287
github-actions[bot]
opened
5 days ago
0
Automatic cargo update to 2024-06-24
#3286
github-actions[bot]
closed
4 days ago
0
Automatic toolchain upgrade to nightly-2024-06-22
#3285
github-actions[bot]
closed
4 days ago
0
Fix TestLocalChain CI action
#3284
celinval
closed
4 days ago
0
Enable an `#[invariant(...)]` attribute helper for the `#[derive(Invariant)]` macro
#3283
adpaco-aws
opened
1 week ago
3
Upgrade Rust toolchain to nightly-2024-06-21
#3282
celinval
closed
1 week ago
0
Deprecate `--visualize` in favor of concrete playback
#3281
celinval
closed
1 week ago
0
Add tests checking if Kani detects dangling pointer dereference inside println macro
#3280
artemagvanian
closed
1 week ago
0
Use older pip version to remain compatible with Python 3.7
#3279
tautschnig
closed
1 week ago
0
Remove support for the unstable argument `--function`
#3278
celinval
closed
1 week ago
1
Add support to Z3
#3277
celinval
opened
1 week ago
1
Fix `--emit mir` handling of constants
#3276
celinval
closed
1 week ago
2
Toolchain upgrade to nightly-2024-06-19 failed
#3275
github-actions[bot]
closed
1 week ago
0
Function Contracts: remove instances of _renamed
#3274
pi314mm
closed
1 week ago
1
Function Contracts: Better error messages
#3273
pi314mm
opened
1 week ago
0
Automatic toolchain upgrade to nightly-2024-06-18
#3272
github-actions[bot]
closed
1 week ago
0
Upgrade Rust toolchain to nightly-2024-06-17
#3271
celinval
closed
1 week ago
0
Define a `kani::invariant` attribute
#3270
adpaco-aws
opened
1 week ago
1
Bump tests/perf/s2n-quic from `59ef366` to `7495f7b`
#3269
dependabot[bot]
closed
1 week ago
0
Bump docker/build-push-action from 5 to 6
#3268
dependabot[bot]
closed
1 week ago
0
Automatic cargo update to 2024-06-17
#3267
github-actions[bot]
closed
1 week ago
0
Use GitHub's M1 macOS runner
#3266
tautschnig
closed
2 weeks ago
0
Ensure that `Arbitrary` respects `Invariant` somehow
#3265
adpaco-aws
opened
2 weeks ago
0
Towards Proving Memory Initialization
#3264
artemagvanian
opened
2 weeks ago
0
Reachability analysis cannot see through FFI
#3263
tautschnig
opened
2 weeks ago
0
Review where we might be incorrectly ignoring projects into ZSTs
#3262
tautschnig
opened
2 weeks ago
0
Fix a few more issues with the std library
#3261
celinval
closed
2 weeks ago
0
Toolchain upgrade to nightly-2024-06-12 failed
#3260
github-actions[bot]
closed
1 week ago
0
Next