-
Notifications
You must be signed in to change notification settings - Fork 86
Insights: model-checking/kani
September 23, 2024 – September 30, 2024
Overview
Could not load contribution data
Please try again later
10 Pull requests merged by 3 people
-
Automatic toolchain upgrade to nightly-2024-09-30
#3554 merged
Sep 30, 2024 -
Automatic cargo update to 2024-09-30
#3555 merged
Sep 30, 2024 -
Automatic toolchain upgrade to nightly-2024-09-29
#3553 merged
Sep 29, 2024 -
Automatic toolchain upgrade to nightly-2024-09-28
#3552 merged
Sep 29, 2024 -
Automatic toolchain upgrade to nightly-2024-09-27
#3550 merged
Sep 28, 2024 -
Update toolchain to 2024-09-26
#3549 merged
Sep 27, 2024 -
Automatic toolchain upgrade to nightly-2024-09-25
#3547 merged
Sep 25, 2024 -
Revert #3539 and reuse rust backend infrastructure instead
#3545 merged
Sep 24, 2024 -
Update toolchain to 2024-09-23
#3544 merged
Sep 24, 2024 -
Update toolchain to 2024-09-20
#3539 merged
Sep 24, 2024
2 Pull requests opened by 2 people
-
Analyze unsafe code reachability
#3546 opened
Sep 24, 2024 -
Bump tests/perf/s2n-quic from `a88ae41` to `2a735a9`
#3556 opened
Sep 30, 2024
4 Issues closed by 1 person
-
Toolchain upgrade to nightly-2024-09-26 failed
#3548 closed
Sep 27, 2024 -
Kani failed to detect unaligned access to N-ZST pointers
#1341 closed
Sep 24, 2024 -
Toolchain upgrade to nightly-2024-09-18 failed
#3534 closed
Sep 24, 2024 -
CBMC upgrade to 6.3.1 failed
#3536 closed
Sep 24, 2024
3 Issues opened by 1 person
-
Some coverage results need to be filtered out because they point to non-existing regions
#3543 opened
Sep 23, 2024 -
Filenames stored in raw coverage results should be absolute
#3542 opened
Sep 23, 2024 -
Check structures and other code is duplicated in `kani-cov`
#3541 opened
Sep 23, 2024
7 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Add an LLBC backend
#3514 commented on
Sep 28, 2024 • 39 new comments -
`kani-cov`: A coverage tool for Kani
#3121 commented on
Sep 30, 2024 • 19 new comments -
Add experimental API to generate arbitrary pointers
#3538 commented on
Sep 27, 2024 • 17 new comments -
Loop Contracts Annotation for While-Loop
#3151 commented on
Sep 30, 2024 • 1 new comment -
ICE Resolving `proof_for_contract` target
#3467 commented on
Sep 30, 2024 • 0 new comments -
Remove --visualize and cbmc-viewer call
#3302 commented on
Sep 27, 2024 • 0 new comments -
List Subcommand (Implementation)
#3523 commented on
Sep 27, 2024 • 0 new comments