-
Notifications
You must be signed in to change notification settings - Fork 86
Pull requests: model-checking/kani
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Analyze unsafe code reachability
Z-BenchCI
Tag a PR to run benchmark CI
#3546
opened Sep 24, 2024 by
celinval
Loading…
Add experimental API to generate arbitrary pointers
Z-BenchCI
Tag a PR to run benchmark CI
#3538
opened Sep 23, 2024 by
celinval
Loading…
List Subcommand (Implementation)
Z-BenchCI
Tag a PR to run benchmark CI
#3523
opened Sep 17, 2024 by
carolynzech
•
Draft
Add an LLBC backend
Z-BenchCI
Tag a PR to run benchmark CI
#3514
opened Sep 14, 2024 by
zhassan-aws
Loading…
[Draft] Combine multiple range checks to handle noncontiguous ranges
Z-BenchCI
Tag a PR to run benchmark CI
#3362
opened Jul 19, 2024 by
adpaco-aws
•
Draft
Harness output individual files
[E] User Experience
An UX enhancement for an existing feature. Including deprecation of an existing one.
#3360
opened Jul 19, 2024 by
Alexander-Aghili
Loading…
[DRAFT] RFC for Ghost State
T-RFC
Label RFC PRs and Issues
Z-Contracts
Issue related to code contracts
Loop Contracts Annotation for While-Loop
Z-BenchCI
Tag a PR to run benchmark CI
Z-Contracts
Issue related to code contracts
#3151
opened Apr 19, 2024 by
qinheping
Loading…
kani-cov
: A coverage tool for Kani
Z-BenchCI
#3121
opened Apr 3, 2024 by
adpaco-aws
Loading…
RFC for Rust UB checks
T-RFC
Label RFC PRs and Issues
#3092
opened Mar 18, 2024 by
celinval
Loading…
Generate
benchcomp.yaml
documentation from schema
#2593
opened Jul 10, 2023 by
karkhaz
Loading…
2 of 4 tasks
Avoid global path conditions in Kani's library
Z-BenchCI
Tag a PR to run benchmark CI
#2394
opened Apr 20, 2023 by
tautschnig
•
Draft
3 tasks done
Run "slow" tests as part of pull request checks
#2322
opened Mar 28, 2023 by
tautschnig
Loading…
3 tasks done
Remove duplicated CBMC Viewer version string
#2314
opened Mar 23, 2023 by
karkhaz
Loading…
2 of 4 tasks
ProTip!
What’s not been updated in a month: updated:<2024-08-25.