Skip to content

Actions: danielhumanmod/verify-rust-std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
413 workflow runs
413 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'daniel/byte_operation' of https://github.com/danielhuma… Kani #17: Commit 505f90b pushed by danielhumanmod
November 8, 2024 04:33 35m 57s daniel/byte_operation
daniel/byte_operation
November 8, 2024 04:33 35m 57s
Merge branch 'model-checking:main' into olivia/memory_operations Rust Tests #16: Commit 5f8bf89 pushed by QinyuanWu
November 8, 2024 00:37 3m 45s olivia/memory_operations
olivia/memory_operations
November 8, 2024 00:37 3m 45s
Merge branch 'model-checking:main' into olivia/memory_operations Kani #16: Commit 5f8bf89 pushed by QinyuanWu
November 8, 2024 00:37 54m 48s olivia/memory_operations
olivia/memory_operations
November 8, 2024 00:37 54m 48s
resolve read_unaligned correctness Kani #15: Commit 3cbd281 pushed by QinyuanWu
November 8, 2024 00:36 38m 8s olivia/memory_operations
olivia/memory_operations
November 8, 2024 00:36 38m 8s
resolve read_unaligned correctness Rust Tests #15: Commit 3cbd281 pushed by QinyuanWu
November 8, 2024 00:36 4m 51s olivia/memory_operations
olivia/memory_operations
November 8, 2024 00:36 4m 51s
Merge branch 'model-checking:main' into olivia/pointer_creation_and_init Rust Tests #14: Commit 23c9f66 pushed by QinyuanWu
November 7, 2024 23:58 7m 18s olivia/pointer_creation_and_init
olivia/pointer_creation_and_init
November 7, 2024 23:58 7m 18s
Merge branch 'model-checking:main' into olivia/pointer_creation_and_init Kani #14: Commit 23c9f66 pushed by QinyuanWu
November 7, 2024 23:58 58m 15s olivia/pointer_creation_and_init
olivia/pointer_creation_and_init
November 7, 2024 23:58 58m 15s
merge with upstream/main Rust Tests #13: Commit 028ab6a pushed by QinyuanWu
November 7, 2024 23:54 3m 51s dev-olivia
dev-olivia
November 7, 2024 23:54 3m 51s
merge with upstream/main Build Book #5: Commit 028ab6a pushed by QinyuanWu
November 7, 2024 23:54 4m 26s dev-olivia
dev-olivia
November 7, 2024 23:54 4m 26s
merge with upstream/main Kani #13: Commit 028ab6a pushed by QinyuanWu
November 7, 2024 23:54 49m 36s dev-olivia
dev-olivia
November 7, 2024 23:54 49m 36s
Start the verification of slice::Iter (#148) Kani #12: Commit 25ad12b pushed by QinyuanWu
November 7, 2024 23:42 46m 22s main
main
November 7, 2024 23:42 46m 22s
Start the verification of slice::Iter (#148) Rust Tests #12: Commit 25ad12b pushed by QinyuanWu
November 7, 2024 23:42 5m 27s main
main
November 7, 2024 23:42 5m 27s
Start the verification of slice::Iter (#148) Build Book #4: Commit 25ad12b pushed by QinyuanWu
November 7, 2024 23:42 4m 45s main
main
November 7, 2024 23:42 4m 45s
Merge branch 'dev-olivia' of https://github.com/danielhumanmod/verify… Rust Tests #11: Commit 293a297 pushed by QinyuanWu
November 7, 2024 23:40 4m 34s dev-olivia
dev-olivia
November 7, 2024 23:40 4m 34s
Merge branch 'dev-olivia' of https://github.com/danielhumanmod/verify… Kani #11: Commit 293a297 pushed by QinyuanWu
November 7, 2024 23:40 38m 42s dev-olivia
dev-olivia
November 7, 2024 23:40 38m 42s
resolve partial eq Kani #10: Commit 13e6695 pushed by QinyuanWu
November 7, 2024 19:51 4m 23s olivia/pointer_creation_and_init
olivia/pointer_creation_and_init
November 7, 2024 19:51 4m 23s
resolve partial eq Rust Tests #10: Commit 13e6695 pushed by QinyuanWu
November 7, 2024 19:51 8m 33s olivia/pointer_creation_and_init
olivia/pointer_creation_and_init
November 7, 2024 19:51 8m 33s
Merge branch 'main' into daniel/byte_operation Kani #9: Commit d95ad3e pushed by danielhumanmod
November 5, 2024 00:44 40m 16s daniel/byte_operation
daniel/byte_operation
November 5, 2024 00:44 40m 16s
Merge branch 'main' into daniel/byte_operation Build Book #3: Commit d95ad3e pushed by danielhumanmod
November 5, 2024 00:44 4m 27s daniel/byte_operation
daniel/byte_operation
November 5, 2024 00:44 4m 27s
Merge branch 'main' into daniel/byte_operation Rust Tests #9: Commit d95ad3e pushed by danielhumanmod
November 5, 2024 00:44 4m 1s daniel/byte_operation
daniel/byte_operation
November 5, 2024 00:44 4m 1s
refactor proof harness with pointer generator for byte_offset_from Kani #8: Commit 459a692 pushed by danielhumanmod
November 5, 2024 00:42 1m 22s daniel/byte_operation
daniel/byte_operation
November 5, 2024 00:42 1m 22s
refactor proof harness with pointer generator for byte_offset_from Rust Tests #8: Commit 459a692 pushed by danielhumanmod
November 5, 2024 00:42 4m 41s daniel/byte_operation
daniel/byte_operation
November 5, 2024 00:42 4m 41s
Update non_null.rs Rust Tests #7: Commit 5e7ba89 pushed by Dhvani-Kapadia
November 2, 2024 19:29 5m 7s dhvani_mem
dhvani_mem
November 2, 2024 19:29 5m 7s
Update non_null.rs Kani #7: Commit 5e7ba89 pushed by Dhvani-Kapadia
November 2, 2024 19:29 32m 58s dhvani_mem
dhvani_mem
November 2, 2024 19:29 32m 58s
Update non_null.rs Kani #6: Commit 50521ab pushed by Dhvani-Kapadia
November 2, 2024 19:27 20m 33s dhvani_mem
dhvani_mem
November 2, 2024 19:27 20m 33s
ProTip! You can narrow down the results and go further in time using created:<2024-11-02 or the other filters available.