Skip to content

Activity

Showing most recent first

Update Kani metrics

Force push
github-actions[bot]force pushed to update-kani-metrics • 275eb11…24c5a1f • 
4 days ago

Update Kani metrics

Force push
github-actions[bot]force pushed to update-kani-metrics • 9c6d442…275eb11 • 
11 days ago

Update Kani metrics

Force push
github-actions[bot]force pushed to update-kani-metrics • 01ed55d…9c6d442 • 
18 days ago

Update Kani metrics

Force push
github-actions[bot]force pushed to update-kani-metrics • b1b856b…01ed55d • 
25 days ago

Update Kani metrics

Force push
github-actions[bot]force pushed to update-kani-metrics • a312549…b1b856b • 
on Jun 22

Update Kani metrics

Force push
github-actions[bot]force pushed to update-kani-metrics • d5cd4b0…a312549 • 
on Jun 15

Update Kani metrics

Force push
github-actions[bot]force pushed to update-kani-metrics • 7a7c312…d5cd4b0 • 
on Jun 8

Update Kani metrics

github-actions[bot]created update-kani-metrics • 7a7c312 • 
on Jun 1

Change arch to machine for Darwin as well

patricklampushed 1 commit to patch-3 • 4dbeabf…64e40e3 • 
on May 30

Use uname -m instead of uname -p

patricklampushed 1 commit to patch-3 • b4f59e8…4dbeabf • 
on May 30

Merge subtree update for toolchain nightly-2025-05-22 (model-checking…

patricklampushed 1 commit to main • afb5c2c…b4f59e8 • 
on May 30

add unsafe-finder tool

Force push
patricklamforce pushed to unsafe-finder-tool • 815db0a…b9ec578 • 
on May 28

Merge branch 'model-checking:main' into unsafe-finder-tool

patricklampushed 17 commits to unsafe-finder-tool • 7abf347…815db0a • 
on May 28

add unsafe-finder tool

patricklamcreated unsafe-finder-tool • 7abf347 • 
on May 28

Update Kani Metrics (model-checking#365)

patricklampushed 218 commits to main • 5d8ee62…afb5c2c • 
on May 28

Fix typo in comment ('contact' -> 'contract')

patricklampushed 1 commit to patch-2 • 00f2f8d…16342ce • 
on May 9

Add self to pull_requests.toml

patricklampushed 1 commit to patch-1 • 359fe20…1db3cdb • 
on Aug 22, 2024