Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
903 workflow runs
903 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

transmute_unchecked contracts and harnesses Kani #1290: Pull request #185 synchronize by AlexLB99
February 4, 2025 07:02 39m 58s AlexLB99:transmute_unchecked
AlexLB99:transmute_unchecked
February 4, 2025 07:02 39m 58s
transmute_unchecked contracts and harnesses Kani #1289: Pull request #185 synchronize by AlexLB99
February 4, 2025 02:22 47m 50s AlexLB99:transmute_unchecked
AlexLB99:transmute_unchecked
February 4, 2025 02:22 47m 50s
transmute_unchecked contracts and harnesses Kani #1288: Pull request #185 synchronize by AlexLB99
February 4, 2025 01:54 40m 12s AlexLB99:transmute_unchecked
AlexLB99:transmute_unchecked
February 4, 2025 01:54 40m 12s
VeriFast solution for Challenge 5 (linked_list.rs) Kani #1287: Pull request #238 synchronize by btj
February 1, 2025 08:45 43m 5s btj:verifast-linked-list
btj:verifast-linked-list
February 1, 2025 08:45 43m 5s
Add VeriFast CI Kani #1286: Pull request #239 synchronize by btj
February 1, 2025 08:42 40m 54s btj:verifast-tool
btj:verifast-tool
February 1, 2025 08:42 40m 54s
Add goto-transcoder.md into summary Kani #1285: Pull request #243 opened by rafaelsamenezes
January 30, 2025 21:02 42m 9s rafaelsamenezes:patch-1
rafaelsamenezes:patch-1
January 30, 2025 21:02 42m 9s
Kani Kani #1284: Merge group checks requested
January 29, 2025 20:47 47m 17s
January 29, 2025 20:47 47m 17s
Goto-transcoder action Kani #1283: Pull request #236 synchronize by rafaelsamenezes
January 29, 2025 19:46 1h 0m 46s rafaelsamenezes:main
rafaelsamenezes:main
January 29, 2025 19:46 1h 0m 46s
Goto-transcoder action Kani #1282: Pull request #236 synchronize by rafaelsamenezes
January 29, 2025 06:57 44m 29s rafaelsamenezes:main
rafaelsamenezes:main
January 29, 2025 06:57 44m 29s
Goto-transcoder action Kani #1281: Pull request #236 synchronize by rafaelsamenezes
January 27, 2025 21:05 45m 52s rafaelsamenezes:main
rafaelsamenezes:main
January 27, 2025 21:05 45m 52s
Kani Kani #1280: Merge group checks requested
January 27, 2025 17:49 58m 20s
January 27, 2025 17:49 58m 20s
Update Kani Metrics Kani #1279: Pull request #241 synchronize by feliperodri
January 26, 2025 22:02 38m 25s update-kani-metrics
update-kani-metrics
January 26, 2025 22:02 38m 25s
Kani Kani #1278: Merge group checks requested
January 24, 2025 21:58 43m 3s
January 24, 2025 21:58 43m 3s
Fix challenge 15 (SIMD) link and title Kani #1277: Pull request #240 opened by tautschnig
January 24, 2025 09:11 42m 21s tautschnig:fix-intrinsics-challenge
tautschnig:fix-intrinsics-challenge
January 24, 2025 09:11 42m 21s
Kani Kani #1276: Merge group checks requested
January 23, 2025 21:50 45m 43s
January 23, 2025 21:50 45m 43s
New Challenge 15 - High-Assurance SIMD Intrinsics for Rust Kani #1275: Pull request #174 synchronize by karthikbhargavan
January 23, 2025 09:13 44m 30s cryspen:challenge-14-intrinsics-simd
cryspen:challenge-14-intrinsics-simd
January 23, 2025 09:13 44m 30s
Add VeriFast CI Kani #1274: Pull request #239 synchronize by btj
January 23, 2025 05:52 41m 51s btj:verifast-tool
btj:verifast-tool
January 23, 2025 05:52 41m 51s
Add VeriFast CI Kani #1273: Pull request #239 synchronize by btj
January 22, 2025 23:02 41m 12s btj:verifast-tool
btj:verifast-tool
January 22, 2025 23:02 41m 12s
VeriFast solution for Challenge 5 (linked_list.rs) Kani #1272: Pull request #238 synchronize by btj
January 22, 2025 23:01 42m 46s btj:verifast-linked-list
btj:verifast-linked-list
January 22, 2025 23:01 42m 46s
Add harnesses for safety of primitive conversions Kani #1271: Pull request #233 synchronize by ShoyuVanilla
January 22, 2025 04:59 47m 21s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 22, 2025 04:59 47m 21s
Add harnesses for safety of primitive conversions Kani #1270: Pull request #233 synchronize by ShoyuVanilla
January 22, 2025 04:47 5m 34s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 22, 2025 04:47 5m 34s
Add harnesses for safety of primitive conversions Kani #1269: Pull request #233 synchronize by ShoyuVanilla
January 22, 2025 04:26 5m 53s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 22, 2025 04:26 5m 53s
Add VeriFast CI Kani #1268: Pull request #239 opened by btj
January 21, 2025 18:36 43m 46s btj:verifast-tool
btj:verifast-tool
January 21, 2025 18:36 43m 46s
Generate Kani Metrics (#235) Kani #1267: Commit f919e45 pushed by github-merge-queue bot
January 21, 2025 16:15 45m 47s main
main
January 21, 2025 16:15 45m 47s
Generate Kani Metrics (#235) Kani #1266: Commit f919e45 pushed by github-merge-queue bot
January 21, 2025 15:21 53m 53s gh-readonly-queue/main/pr-235-2b2baa820494b069a2c6cc7cd623535e1635537b
gh-readonly-queue/main/pr-235-2b2baa820494b069a2c6cc7cd623535e1635537b
January 21, 2025 15:21 53m 53s