Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
2,690 workflow run results
2,690 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement memory initialization state copy functionality Kani CI #7520: Pull request #3350 synchronize by artemagvanian
July 26, 2024 21:09 3m 43s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
July 26, 2024 21:09 3m 43s
Enable contracts in associated functions Kani CI #7518: Pull request #3363 synchronize by celinval
July 26, 2024 19:58 37m 15s celinval:issue-3206-contract-method
celinval:issue-3206-contract-method
July 26, 2024 19:58 37m 15s
Instrumentation for delayed UB stemming from uninitialized memory Kani CI #7517: Pull request #3374 synchronize by artemagvanian
July 26, 2024 19:52 39m 12s artemagvanian:delayed-ub
artemagvanian:delayed-ub
July 26, 2024 19:52 39m 12s
Define a struct-level #[safety_constraint(...)] attribute Kani CI #7516: Pull request #3270 synchronize by adpaco-aws
July 26, 2024 19:38 34m 17s adpaco-aws:attr-invariant
adpaco-aws:attr-invariant
July 26, 2024 19:38 34m 17s
Instrumentation for delayed UB stemming from uninitialized memory Kani CI #7515: Pull request #3374 synchronize by artemagvanian
July 26, 2024 19:11 39m 5s artemagvanian:delayed-ub
artemagvanian:delayed-ub
July 26, 2024 19:11 39m 5s
Instrumentation for delayed UB stemming from uninitialized memory Kani CI #7514: Pull request #3374 synchronize by artemagvanian
July 26, 2024 19:10 34m 30s artemagvanian:delayed-ub
artemagvanian:delayed-ub
July 26, 2024 19:10 34m 30s
Function Contracts: Interior Mutability Tests Kani CI #7513: Pull request #3351 synchronize by pi314mm
July 26, 2024 19:09 36m 5s pi314mm:int-mut-tests
pi314mm:int-mut-tests
July 26, 2024 19:09 36m 5s
Instrumentation for delayed UB stemming from uninitialized memory Kani CI #7512: Pull request #3374 synchronize by artemagvanian
July 26, 2024 18:25 37m 46s artemagvanian:delayed-ub
artemagvanian:delayed-ub
July 26, 2024 18:25 37m 46s
Instrumentation for delayed UB stemming from uninitialized memory Kani CI #7511: Pull request #3374 synchronize by artemagvanian
July 26, 2024 18:24 38m 35s artemagvanian:delayed-ub
artemagvanian:delayed-ub
July 26, 2024 18:24 38m 35s
Add two new CI workflows to check Kani against verify-rust-std (#3386) Kani CI #7510: Commit 70bd021 pushed by celinval
July 26, 2024 18:05 38m 53s main
main
July 26, 2024 18:05 38m 53s
Function Contracts: Interior Mutability Tests Kani CI #7509: Pull request #3351 synchronize by pi314mm
July 26, 2024 17:25 34m 59s pi314mm:int-mut-tests
pi314mm:int-mut-tests
July 26, 2024 17:25 34m 59s
Function Contracts: Interior Mutability Tests Kani CI #7508: Pull request #3351 synchronize by pi314mm
July 26, 2024 17:23 36m 38s pi314mm:int-mut-tests
pi314mm:int-mut-tests
July 26, 2024 17:23 36m 38s
Instrumentation for delayed UB stemming from uninitialized memory Kani CI #7507: Pull request #3374 synchronize by artemagvanian
July 26, 2024 16:26 41m 24s artemagvanian:delayed-ub
artemagvanian:delayed-ub
July 26, 2024 16:26 41m 24s
Update to CBMC version 6.1.1 Kani CI #7506: Pull request #2995 synchronize by tautschnig
July 26, 2024 11:54 43m 54s tautschnig:cbmc-6
tautschnig:cbmc-6
July 26, 2024 11:54 43m 54s
Enable contracts in associated functions Kani CI #7505: Pull request #3363 synchronize by celinval
July 25, 2024 23:40 33m 47s celinval:issue-3206-contract-method
celinval:issue-3206-contract-method
July 25, 2024 23:40 33m 47s
Enable contracts in associated functions Kani CI #7504: Pull request #3363 synchronize by celinval
July 25, 2024 22:45 32m 56s celinval:issue-3206-contract-method
celinval:issue-3206-contract-method
July 25, 2024 22:45 32m 56s
Add two new CI workflows to check Kani against verify-rust-std Kani CI #7503: Pull request #3386 synchronize by celinval
July 25, 2024 21:39 35m 32s celinval:issue-xxxx-std-regression
celinval:issue-xxxx-std-regression
July 25, 2024 21:39 35m 32s
Add two new CI workflows to check Kani against verify-rust-std Kani CI #7502: Pull request #3386 synchronize by celinval
July 25, 2024 21:31 33m 32s celinval:issue-xxxx-std-regression
celinval:issue-xxxx-std-regression
July 25, 2024 21:31 33m 32s
Add two new CI workflows to check Kani against verify-rust-std Kani CI #7501: Pull request #3386 opened by celinval
July 25, 2024 21:21 35m 44s celinval:issue-xxxx-std-regression
celinval:issue-xxxx-std-regression
July 25, 2024 21:21 35m 44s
Function Contracts: Interior Mutability Tests Kani CI #7500: Pull request #3351 synchronize by pi314mm
July 25, 2024 19:27 36m 3s pi314mm:int-mut-tests
pi314mm:int-mut-tests
July 25, 2024 19:27 36m 3s
Enable contracts in associated functions Kani CI #7499: Pull request #3363 synchronize by celinval
July 25, 2024 19:26 34m 27s celinval:issue-3206-contract-method
celinval:issue-3206-contract-method
July 25, 2024 19:26 34m 27s
Instrumentation for delayed UB stemming from uninitialized memory Kani CI #7498: Pull request #3374 synchronize by artemagvanian
July 25, 2024 18:23 34m 19s artemagvanian:delayed-ub
artemagvanian:delayed-ub
July 25, 2024 18:23 34m 19s
Instrumentation for delayed UB stemming from uninitialized memory Kani CI #7497: Pull request #3374 synchronize by artemagvanian
July 25, 2024 18:20 5m 37s artemagvanian:delayed-ub
artemagvanian:delayed-ub
July 25, 2024 18:20 5m 37s
Add missing functionalities to kani_core (#3384) Kani CI #7496: Commit b18698f pushed by celinval
July 25, 2024 17:58 34m 46s main
main
July 25, 2024 17:58 34m 46s
Add missing functionalities to kani_core Kani CI #7495: Pull request #3384 synchronize by celinval
July 25, 2024 17:23 35m 12s celinval:issue-3257-missing
celinval:issue-3257-missing
July 25, 2024 17:23 35m 12s