Skip to content

Pull requests: model-checking/kani

New pull request New
32 Open 1,708 Closed
32 Open 1,708 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

Remove deprecated --enable-stubbing
#3309 opened Jun 28, 2024 by celinval Loading…
2
Function Contracts: Closure Type Inference [C] Feature / Enhancement A new feature request or enhancement to an existing feature. Z-BenchCI Tag a PR to run benchmark CI
#3307 opened Jun 28, 2024 by pi314mm Loading… Function Contracts
1
@pi314mm
4
Add support for f16 and f128 for toolchain upgrade to 6/28 Z-BenchCI Tag a PR to run benchmark CI
#3306 opened Jun 28, 2024 by jaisnan Loading…
1
28
Fix contract handling of promoted constants and constant static Z-BenchCI Tag a PR to run benchmark CI
#3305 opened Jun 28, 2024 by celinval Loading… Function Contracts
1
1
Remove --visualize and cbmc-viewer call
#3302 opened Jun 28, 2024 by jaisnan • Draft
1
Function Contracts: Modify Slices [C] Feature / Enhancement A new feature request or enhancement to an existing feature. Z-BenchCI Tag a PR to run benchmark CI
#3295 opened Jun 26, 2024 by pi314mm • Draft Function Contracts
1
@pi314mm
1
Enable an #[invariant(...)] attribute helper for the #[derive(Invariant)] macro Z-BenchCI Tag a PR to run benchmark CI
#3283 opened Jun 21, 2024 by adpaco-aws Loading…
3
Define a kani::invariant attribute Z-BenchCI Tag a PR to run benchmark CI
#3270 opened Jun 17, 2024 by adpaco-aws • Draft
1
@adpaco-aws
1
Towards Proving Memory Initialization Z-BenchCI Tag a PR to run benchmark CI
#3264 opened Jun 12, 2024 by artemagvanian Loading…
@artemagvanian
142
Add shadow memory instrumentation to ArrayVec
#3243 opened Jun 8, 2024 by zhassan-aws • Draft
@zhassan-aws
Add a few examples of using shadow memory to check initialization of slices
#3237 opened Jun 6, 2024 by zhassan-aws Loading…
@zhassan-aws
[DRAFT] RFC for Ghost State T-RFC Label RFC PRs and Issues
#3188 opened May 16, 2024 by celinval • Draft
@celinval
6
RFC: Loop Contracts T-RFC Label RFC PRs and Issues
#3167 opened Apr 30, 2024 by qinheping Loading…
@qinheping
Loop Contracts Annotation for While-Loop Z-BenchCI Tag a PR to run benchmark CI
#3151 opened Apr 19, 2024 by qinheping • Draft
@qinheping
14
RFC: Source-based code coverage T-RFC Label RFC PRs and Issues
#3143 opened Apr 15, 2024 by adpaco-aws Loading…
@adpaco-aws
21
[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
Add code scanner tool Z-BenchCI Tag a PR to run benchmark CI
#3120 opened Apr 2, 2024 by celinval Loading…
@celinval
2
[Draft] Adopt Rust's region-based coverage instrumentation Z-BenchCI Tag a PR to run benchmark CI
#3119 opened Apr 2, 2024 by adpaco-aws • Draft
3 tasks
@adpaco-aws
RFC for Rust UB checks T-RFC Label RFC PRs and Issues
#3092 opened Mar 18, 2024 by celinval Loading…
@celinval
34
Enable fma* intrinsics Z-BenchCI Tag a PR to run benchmark CI
#3002 opened Feb 7, 2024 by tautschnig • Draft
@tautschnig
Enable log2*, log10* intrinsics Z-BenchCI Tag a PR to run benchmark CI
#3001 opened Feb 7, 2024 by tautschnig • Draft
@tautschnig
Enable sqrt* intrinsics Z-BenchCI Tag a PR to run benchmark CI
#3000 opened Feb 7, 2024 by tautschnig • Draft
@tautschnig
Enable powif* intrinsics Z-BenchCI Tag a PR to run benchmark CI
#2999 opened Feb 7, 2024 by tautschnig • Draft
1
@tautschnig
Update to CBMC version 6.0.1 Z-BenchCI Tag a PR to run benchmark CI
#2995 opened Feb 6, 2024 by tautschnig Loading…
2
@tautschnig
7
Add non-deterministic stubs for std::vec Z-BenchCI Tag a PR to run benchmark CI
#2859 opened Nov 6, 2023 by feliperodri • Draft
@feliperodri
1
ProTip! Exclude everything labeled bug with -label:bug.