Skip to content

Pull requests: model-checking/kani

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
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
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 Tag a PR to run benchmark CI Z-EndToEndBenchCI Tag a PR to run benchmark CI
#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 for loop Z-CompilerBenchCI Tag a PR to run benchmark CI Z-EndToEndBenchCI Tag a PR to run benchmark CI
#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
set kani default value to 1
#3912 opened Feb 27, 2025 by rajath-mk 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.