Skip to content

Pull requests: model-checking/kani

New pull request New
17 Open 2,321 Closed
17 Open 2,321 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Handle enums with zero or one variants Z-BenchCI Tag a PR to run benchmark CI
#4171 opened Jun 20, 2025 by zhassan-aws Loading…
1
Stub panics during MIR transformation Z-BenchCI Tag a PR to run benchmark CI
#4169 opened Jun 19, 2025 by AlexanderPortland Loading…
1
9
Autoharness: Derive Arbitrary for structs and enums Z-BenchCI Tag a PR to run benchmark CI
#4167 opened Jun 19, 2025 by carolynzech Loading…
1
Upgrade Rust toolchain to 2025-06-18 Z-BenchCI Tag a PR to run benchmark CI
#4166 opened Jun 18, 2025 by tautschnig • Draft
1
Introduce compiler timing script & CI job Z-BenchCI Tag a PR to run benchmark CI
#4154 opened Jun 14, 2025 by AlexanderPortland Loading…
1
@AlexanderPortland
24
Ensure that contract closures are FnOnce Z-BenchCI Tag a PR to run benchmark CI
#4151 opened Jun 11, 2025 by vonaka Loading…
1
@vonaka
2
Add loop-contracts support for for loop Z-BenchCI Tag a PR to run benchmark CI
#4143 opened Jun 6, 2025 by thanhnguyen-aws Loading…
@thanhnguyen-aws
18
[DRAFT] Resolve stubs and contracts in trait implementations Z-BenchCI Tag a PR to run benchmark CI
#4130 opened Jun 4, 2025 by carolynzech • Draft
@carolynzech
Prefix property descriptions of panics with "Panic:" Z-BenchCI Tag a PR to run benchmark CI
#4045 opened Apr 25, 2025 by tautschnig • Draft
5
set kani default value to 1
#3912 opened Feb 27, 2025 by rajath-mk • Draft
@rajath-mk
Document demonic non-determinism
#3895 opened Feb 18, 2025 by tautschnig • Draft
@tautschnig
13
RFC: Attribute to distinguish safety preconditions from panic freedom
#3893 opened Feb 17, 2025 by tautschnig • Draft
@tautschnig
37
Enable GitHub Linux/Arm runners in CI
#3841 opened Jan 17, 2025 by tautschnig • Draft
@tautschnig
2
Reduce CBMC verbosity to CBMC's default
#3398 opened Jul 31, 2024 by tautschnig • Draft
@tautschnig
2
Override std::ptr::align_offset
#2396 opened Apr 20, 2023 by tautschnig • Draft
3 of 4 tasks
1
@tautschnig
5
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
@tautschnig
10
Run "slow" tests as part of pull request checks
#2322 opened Mar 28, 2023 by tautschnig • Draft
3 tasks done
@tautschnig
4
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.