Skip to content

Pull requests: model-checking/kani

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Add benchcomp CBMC Litani parser
#2523 opened Jun 13, 2023 by karkhaz Loading…
2 of 3 tasks
RFC: Global Conditions T-RFC Label RFC PRs and Issues
#2516 opened Jun 12, 2023 by adpaco-aws Loading…
2 of 4 tasks
Automatic toolchain upgrade to nightly-2023-05-01
#2515 opened Jun 10, 2023 by github-actions bot Loading…
Upgrade toolchain to nightly-2023-06-07
#2510 opened Jun 8, 2023 by feliperodri Draft
4 tasks done
Fix for #2121
#2504 opened Jun 2, 2023 by JustusAdam Loading…
8 of 10 tasks
Refactor slow benchcomp regression tests
#2412 opened Apr 27, 2023 by karkhaz Loading…
2 of 4 tasks
Override std::ptr::align_offset
#2396 opened Apr 20, 2023 by tautschnig Loading…
3 of 4 tasks
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
Add scripts to automate dependencies
#2313 opened Mar 23, 2023 by jaisnan Draft
4 tasks done
Add documentation for performance comparison tool T-RFC Label RFC PRs and Issues
#2141 opened Jan 23, 2023 by karkhaz Draft
Add kani::spawn and an executor to the Kani library Z-Async Blocker Blockers for the Async feature
#1659 opened Sep 8, 2022 by fzaiser Loading…
4 tasks done
ProTip! no:milestone will show everything without a milestone.