-
Notifications
You must be signed in to change notification settings - Fork 85
Pull requests: model-checking/kani
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Implement memory initialization state copy functionality
Z-BenchCI
Tag a PR to run benchmark CI
#3350
opened Jul 17, 2024 by
artemagvanian
Loading…
Add support for global transformations
Z-BenchCI
Tag a PR to run benchmark CI
#3348
opened Jul 16, 2024 by
artemagvanian
Loading…
Unify kani library and kani core logic
Z-BenchCI
Tag a PR to run benchmark CI
#3333
opened Jul 9, 2024 by
jaisnan
Loading…
Fix contract handling of promoted constants and constant static
Z-BenchCI
Tag a PR to run benchmark CI
Enable an Tag a PR to run benchmark CI
#[safety_constraint(...)]
attribute helper for the Arbitrary
and Invariant
macros
Z-BenchCI
#3283
opened Jun 21, 2024 by
adpaco-aws
Loading…
Define a Tag a PR to run benchmark CI
kani::invariant
attribute
Z-BenchCI
#3270
opened Jun 17, 2024 by
adpaco-aws
Loading…
RFC: Source-based code coverage
T-RFC
Label RFC PRs and Issues
#3143
opened Apr 15, 2024 by
adpaco-aws
Loading…
[Draft] Tag a PR to run benchmark CI
kani-cov
: A coverage tool for Kani
Z-BenchCI
#3121
opened Apr 3, 2024 by
adpaco-aws
•
Draft
Add code scanner tool
Z-BenchCI
Tag a PR to run benchmark CI
#3120
opened Apr 2, 2024 by
celinval
Loading…
[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
RFC for Rust UB checks
T-RFC
Label RFC PRs and Issues
#3092
opened Mar 18, 2024 by
celinval
Loading…
Enable fma* intrinsics
Z-BenchCI
Tag a PR to run benchmark CI
#3002
opened Feb 7, 2024 by
tautschnig
•
Draft
Enable log2*, log10* intrinsics
Z-BenchCI
Tag a PR to run benchmark CI
#3001
opened Feb 7, 2024 by
tautschnig
•
Draft
Enable sqrt* intrinsics
Z-BenchCI
Tag a PR to run benchmark CI
#3000
opened Feb 7, 2024 by
tautschnig
•
Draft
Enable powif* intrinsics
Z-BenchCI
Tag a PR to run benchmark CI
#2999
opened Feb 7, 2024 by
tautschnig
•
Draft
Update to CBMC version 6.0.1
Z-BenchCI
Tag a PR to run benchmark CI
#2995
opened Feb 6, 2024 by
tautschnig
Loading…
Add non-deterministic stubs for std::vec
Z-BenchCI
Tag a PR to run benchmark CI
#2859
opened Nov 6, 2023 by
feliperodri
•
Draft
Previous Next
ProTip!
Updated in the last three days: updated:>2024-07-16.