Skip to content

Actions: tautschnig/verify-rust-std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
865 workflow runs
865 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Try disabling one more clause Rust Tests #19: Commit 5231a68 pushed by tautschnig
August 9, 2024 19:51 14m 1s layout-harnesses
layout-harnesses
August 9, 2024 19:51 14m 1s
Try disabling one more clause Kani #19: Commit 5231a68 pushed by tautschnig
August 9, 2024 19:51 6m 6s layout-harnesses
layout-harnesses
August 9, 2024 19:51 6m 6s
Fixed contracts Rust Tests #18: Commit 4156263 pushed by tautschnig
August 9, 2024 13:46 13m 50s layout-harnesses
layout-harnesses
August 9, 2024 13:46 13m 50s
Fixed contracts Kani #18: Commit 4156263 pushed by tautschnig
August 9, 2024 13:46 6h 0m 26s layout-harnesses
layout-harnesses
August 9, 2024 13:46 6h 0m 26s
Add assumptions Kani #17: Commit 45505ed pushed by tautschnig
August 9, 2024 13:33 5m 24s layout-harnesses
layout-harnesses
August 9, 2024 13:33 5m 24s
Add assumptions Rust Tests #17: Commit 45505ed pushed by tautschnig
August 9, 2024 13:33 15m 32s layout-harnesses
layout-harnesses
August 9, 2024 13:33 15m 32s
Avoid multiplication Rust Tests #16: Commit e331419 pushed by tautschnig
August 9, 2024 13:15 13m 40s layout-harnesses
layout-harnesses
August 9, 2024 13:15 13m 40s
Avoid multiplication Kani #16: Commit e331419 pushed by tautschnig
August 9, 2024 13:15 5m 11s layout-harnesses
layout-harnesses
August 9, 2024 13:15 5m 11s
Wrong clause was caught Rust Tests #15: Commit 0b62529 pushed by tautschnig
August 9, 2024 11:18 13m 5s layout-harnesses
layout-harnesses
August 9, 2024 11:18 13m 5s
Wrong clause was caught Kani #15: Commit 0b62529 pushed by tautschnig
August 9, 2024 11:18 6h 0m 28s layout-harnesses
layout-harnesses
August 9, 2024 11:18 6h 0m 28s
Add more ensures clauses Kani #14: Commit 8c21272 pushed by tautschnig
August 8, 2024 11:16 6h 0m 29s layout-harnesses
layout-harnesses
August 8, 2024 11:16 6h 0m 29s
Add more ensures clauses Rust Tests #14: Commit 8c21272 pushed by tautschnig
August 8, 2024 11:16 16m 36s layout-harnesses
layout-harnesses
August 8, 2024 11:16 16m 36s
Merge remote-tracking branch 'origin/main' into align-harness Rust Tests #13: Commit a91dcad pushed by tautschnig
August 8, 2024 09:40 12m 27s align-harness
align-harness
August 8, 2024 09:40 12m 27s
Merge remote-tracking branch 'origin/main' into align-harness Kani #13: Commit a91dcad pushed by tautschnig
August 8, 2024 09:40 4m 35s align-harness
align-harness
August 8, 2024 09:40 4m 35s
Add ensures where possible Kani #12: Commit 7fdbc77 pushed by tautschnig
August 8, 2024 09:40 4m 41s align-harness
align-harness
August 8, 2024 09:40 4m 41s
Add ensures where possible Rust Tests #12: Commit 7fdbc77 pushed by tautschnig
August 8, 2024 09:40 12m 52s align-harness
align-harness
August 8, 2024 09:40 12m 52s
Add more clauses per feedback Rust Tests #11: Commit 9c1738c pushed by tautschnig
August 5, 2024 11:08 13m 38s align-harness
align-harness
August 5, 2024 11:08 13m 38s
Add more clauses per feedback Kani #11: Commit 9c1738c pushed by tautschnig
August 5, 2024 11:08 4m 46s align-harness
align-harness
August 5, 2024 11:08 4m 46s
Contracts and harnesses for ptr::Unique Kani #10: Commit 6c2610d pushed by tautschnig
July 30, 2024 11:56 4m 58s unique
unique
July 30, 2024 11:56 4m 58s
Contracts and harnesses for ptr::Unique Rust Tests #10: Commit 6c2610d pushed by tautschnig
July 30, 2024 11:56 11m 47s unique
unique
July 30, 2024 11:56 11m 47s
Fix syntax errors, add ensures Rust Tests #9: Commit 08d6f58 pushed by tautschnig
July 30, 2024 11:07 11m 20s layout-harnesses
layout-harnesses
July 30, 2024 11:07 11m 20s
Fix syntax errors, add ensures Kani #9: Commit 08d6f58 pushed by tautschnig
July 30, 2024 11:07 6h 0m 25s layout-harnesses
layout-harnesses
July 30, 2024 11:07 6h 0m 25s
Add some ensures clauses Kani #8: Commit 6a6bd64 pushed by tautschnig
July 26, 2024 13:28 3m 57s layout-harnesses
layout-harnesses
July 26, 2024 13:28 3m 57s
Add some ensures clauses Rust Tests #8: Commit 6a6bd64 pushed by tautschnig
July 26, 2024 13:28 11m 58s layout-harnesses
layout-harnesses
July 26, 2024 13:28 11m 58s
Add harnesses for all Alignment public functions Kani #7: Commit e795a44 pushed by tautschnig
July 24, 2024 09:19 3m 52s align-harness
align-harness
July 24, 2024 09:19 3m 52s
ProTip! You can narrow down the results and go further in time using created:<2024-07-24 or the other filters available.