-
Notifications
You must be signed in to change notification settings - Fork 120
Pull requests: model-checking/kani
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Upgrade toolchain to 07/02
Z-CompilerBenchCI
Tag a PR to run benchmark CI
Z-EndToEndBenchCI
Tag a PR to run benchmark CI
#4195
opened Jul 2, 2025 by
carolynzech
•
Draft
Automatic Derivation Fixes
Z-CompilerBenchCI
Tag a PR to run benchmark CI
Z-EndToEndBenchCI
Tag a PR to run benchmark CI
#4194
opened Jul 1, 2025 by
carolynzech
Loading…
Adjust sized hierarchy for Kani's memory predicates
Z-CompilerBenchCI
Tag a PR to run benchmark CI
Z-EndToEndBenchCI
Tag a PR to run benchmark CI
#4193
opened Jul 1, 2025 by
tautschnig
Loading…
ptr_offset_from
: Replace arithmetic over pointers by offset arithmetic
Z-CompilerBenchCI
#4180
opened Jun 26, 2025 by
tautschnig
Loading…
Fix the bug that assign clause cannot be inferred for the inner loop of nested loops
Z-CompilerBenchCI
Tag a PR to run benchmark CI
Z-EndToEndBenchCI
Tag a PR to run benchmark CI
#4179
opened Jun 26, 2025 by
thanhnguyen-aws
Loading…
Update CBMC dependency to 6.7.0
Z-EndToEndBenchCI
Tag a PR to run benchmark CI
#4178
opened Jun 25, 2025 by
tautschnig
•
Draft
Ensure that contract closures are FnOnce
Z-CompilerBenchCI
Tag a PR to run benchmark CI
Z-EndToEndBenchCI
Tag a PR to run benchmark CI
#4151
opened Jun 11, 2025 by
vonaka
Loading…
Add loop-contracts support for Tag a PR to run benchmark CI
Z-EndToEndBenchCI
Tag a PR to run benchmark CI
for
loop
Z-CompilerBenchCI
#4143
opened Jun 6, 2025 by
thanhnguyen-aws
Loading…
[DRAFT] Resolve stubs and contracts in trait implementations
Z-CompilerBenchCI
Tag a PR to run benchmark CI
Z-EndToEndBenchCI
Tag a PR to run benchmark CI
#4130
opened Jun 4, 2025 by
carolynzech
•
Draft
Prefix property descriptions of panics with "Panic:"
Z-EndToEndBenchCI
Tag a PR to run benchmark CI
#4045
opened Apr 25, 2025 by
tautschnig
•
Draft
RFC: Attribute to distinguish safety preconditions from panic freedom
#3893
opened Feb 17, 2025 by
tautschnig
•
Draft
Enable GitHub Linux/Arm runners in CI
Z-EndToEndBenchCI
Tag a PR to run benchmark CI
#3841
opened Jan 17, 2025 by
tautschnig
•
Draft
Override std::ptr::align_offset
Z-CompilerBenchCI
Tag a PR to run benchmark CI
Z-EndToEndBenchCI
Tag a PR to run benchmark CI
#2396
opened Apr 20, 2023 by
tautschnig
Loading…
3 of 4 tasks
Avoid global path conditions in Kani's library
Z-EndToEndBenchCI
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
•
Draft
3 tasks done
ProTip!
Updated in the last three days: updated:>2025-06-29.