Skip to content

Actions: model-checking/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7,568 workflow run results
7,568 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support for disabling automatically generated pointer checks to avoid reinstrumentation Cargo Audit #5902: Pull request #3344 synchronize by artemagvanian
July 17, 2024 22:03 1m 6s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 22:03 1m 6s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Kani Format Check #7184: Pull request #3344 synchronize by artemagvanian
July 17, 2024 22:03 3m 41s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 22:03 3m 41s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Release Bundle #1738: Pull request #3344 synchronize by artemagvanian
July 17, 2024 22:03 17m 46s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 22:03 17m 46s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Kani CI #7352: Pull request #3344 synchronize by artemagvanian
July 17, 2024 22:03 40m 31s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 22:03 40m 31s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Kani Extra #1406: Pull request #3344 synchronize by artemagvanian
July 17, 2024 22:03 55m 5s
July 17, 2024 22:03 55m 5s
Function Contracts: Interior Mutability Tests Kani Format Check #7183: Pull request #3351 opened by pi314mm
July 17, 2024 21:50 2m 5s pi314mm:int-mut-tests
pi314mm:int-mut-tests
July 17, 2024 21:50 2m 5s
Function Contracts: Interior Mutability Tests Release Bundle #1737: Pull request #3351 opened by pi314mm
July 17, 2024 21:50 18m 50s pi314mm:int-mut-tests
pi314mm:int-mut-tests
July 17, 2024 21:50 18m 50s
Function Contracts: Interior Mutability Tests Kani Extra #1405: Pull request #3351 opened by pi314mm
July 17, 2024 21:50 14s
July 17, 2024 21:50 14s
Function Contracts: Interior Mutability Tests Cargo Audit #5901: Pull request #3351 opened by pi314mm
July 17, 2024 21:50 1m 3s pi314mm:int-mut-tests
pi314mm:int-mut-tests
July 17, 2024 21:50 1m 3s
Function Contracts: Interior Mutability Tests Kani CI #7351: Pull request #3351 opened by pi314mm
July 17, 2024 21:50 38m 35s pi314mm:int-mut-tests
pi314mm:int-mut-tests
July 17, 2024 21:50 38m 35s
Add support for global transformations Release Bundle #1736: Pull request #3348 synchronize by artemagvanian
July 17, 2024 20:07 20m 18s artemagvanian:global-transformations
artemagvanian:global-transformations
July 17, 2024 20:07 20m 18s
Add support for global transformations Kani CI #7350: Pull request #3348 synchronize by artemagvanian
July 17, 2024 20:07 35m 24s artemagvanian:global-transformations
artemagvanian:global-transformations
July 17, 2024 20:07 35m 24s
Add support for global transformations Kani Extra #1404: Pull request #3348 synchronize by artemagvanian
July 17, 2024 20:07 1h 2m 5s
July 17, 2024 20:07 1h 2m 5s
Add support for global transformations Kani Format Check #7182: Pull request #3348 synchronize by artemagvanian
July 17, 2024 20:07 3m 13s artemagvanian:global-transformations
artemagvanian:global-transformations
July 17, 2024 20:07 3m 13s
Add support for global transformations Cargo Audit #5900: Pull request #3348 synchronize by artemagvanian
July 17, 2024 20:07 1m 4s artemagvanian:global-transformations
artemagvanian:global-transformations
July 17, 2024 20:07 1m 4s
Implement memory initialization state copy functionality Kani Format Check #7181: Pull request #3350 synchronize by artemagvanian
July 17, 2024 19:49 2m 1s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
July 17, 2024 19:49 2m 1s
Implement memory initialization state copy functionality Cargo Audit #5899: Pull request #3350 synchronize by artemagvanian
July 17, 2024 19:49 1m 3s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
July 17, 2024 19:49 1m 3s
Implement memory initialization state copy functionality Kani CI #7349: Pull request #3350 synchronize by artemagvanian
July 17, 2024 19:49 30m 4s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
July 17, 2024 19:49 30m 4s
Implement memory initialization state copy functionality Release Bundle #1735: Pull request #3350 synchronize by artemagvanian
July 17, 2024 19:49 19m 55s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
July 17, 2024 19:49 19m 55s
Implement memory initialization state copy functionality Kani Extra #1403: Pull request #3350 synchronize by artemagvanian
July 17, 2024 19:49 58m 32s
July 17, 2024 19:49 58m 32s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Kani Format Check #7180: Pull request #3344 synchronize by artemagvanian
July 17, 2024 19:44 2m 15s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 19:44 2m 15s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Kani CI #7348: Pull request #3344 synchronize by artemagvanian
July 17, 2024 19:44 34m 52s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 19:44 34m 52s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Release Bundle #1734: Pull request #3344 synchronize by artemagvanian
July 17, 2024 19:44 19m 27s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 19:44 19m 27s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Cargo Audit #5898: Pull request #3344 synchronize by artemagvanian
July 17, 2024 19:44 1m 2s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 19:44 1m 2s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Kani Extra #1402: Pull request #3344 synchronize by artemagvanian
July 17, 2024 19:44 57m 54s
July 17, 2024 19:44 57m 54s