Skip to content

Pull requests: model-checking/kani

New pull request New
22 Open 1,874 Closed
22 Open 1,874 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Append harness name to the graph file (debug feature only) Z-BenchCI Tag a PR to run benchmark CI
#3528 opened Sep 20, 2024 by celinval Loading…
List Subcommand (Implementation) Z-BenchCI Tag a PR to run benchmark CI
#3523 opened Sep 17, 2024 by carolynzech • Draft
5
Add an LLBC backend Z-BenchCI Tag a PR to run benchmark CI
#3514 opened Sep 14, 2024 by zhassan-aws Loading…
32
Upgrade to CBMC 6.2.0 Z-BenchCI Tag a PR to run benchmark CI
#3485 opened Sep 3, 2024 by zhassan-aws • Draft
3
Reduce CBMC verbosity to CBMC's default
#3398 opened Jul 31, 2024 by tautschnig • Draft
@tautschnig
2
Add fixme tests for function contracts Z-Contracts Issue related to code contracts
#3371 opened Jul 22, 2024 by celinval Loading… Function Contracts
9
[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
1
@celinval
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…
1
23
Add tests for core function with loops Z-Contracts Issue related to code contracts
#3334 opened Jul 9, 2024 by qinheping • Draft
@qinheping
Remove --visualize and cbmc-viewer call
#3302 opened Jun 28, 2024 by jaisnan • Draft
@jaisnan
1
Add shadow memory instrumentation to ArrayVec
#3243 opened Jun 8, 2024 by zhassan-aws • Draft
@zhassan-aws
[DRAFT] RFC for Ghost State T-RFC Label RFC PRs and Issues Z-Contracts Issue related to code contracts
#3188 opened May 16, 2024 by celinval • Draft
@celinval
6
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…
@feliperodri @celinval
55
[Draft] kani-cov: A coverage tool for Kani Z-BenchCI Tag a PR to run benchmark CI
#3121 opened Apr 3, 2024 by adpaco-aws • Draft
@adpaco-aws
6
RFC for Rust UB checks T-RFC Label RFC PRs and Issues
#3092 opened Mar 18, 2024 by celinval Loading…
@celinval
34
Generate benchcomp.yaml documentation from schema
#2593 opened Jul 10, 2023 by karkhaz Loading…
2 of 4 tasks
1
@jaisnan
3
Refactor slow benchcomp regression tests
#2412 opened Apr 27, 2023 by karkhaz Loading…
2 of 4 tasks
@jaisnan
4
Override std::ptr::align_offset
#2396 opened Apr 20, 2023 by tautschnig Loading…
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 Loading…
3 tasks done
@tautschnig
4
Remove duplicated CBMC Viewer version string
#2314 opened Mar 23, 2023 by karkhaz Loading…
2 of 4 tasks
@jaisnan
6
Add documentation for performance comparison tool T-RFC Label RFC PRs and Issues
#2141 opened Jan 23, 2023 by karkhaz • Draft
@jaisnan
32
ProTip! What’s not been updated in a month: updated:<2024-08-21.