Skip to content

Actions: kaist-plrg/urcrat

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix bug CI #34: Commit 8673908 pushed by Medowhill
February 14, 2024 15:14 1m 46s master
master
February 14, 2024 15:14 1m 46s
allow only one write index CI #33: Commit 4006391 pushed by Medowhill
February 14, 2024 13:53 1m 34s master
master
February 14, 2024 13:53 1m 34s
allow multiple read index CI #32: Commit e4bff2a pushed by Medowhill
February 14, 2024 13:42 1m 30s master
master
February 14, 2024 13:42 1m 30s
fix eq offset CI #31: Commit c9fc9e1 pushed by Medowhill
February 14, 2024 07:14 1m 34s master
master
February 14, 2024 07:14 1m 34s
state filtering for if CI #30: Commit 4a60e56 pushed by Medowhill
February 13, 2024 15:39 1m 31s master
master
February 13, 2024 15:39 1m 31s
find union field accesses CI #29: Commit 4168758 pushed by Medowhill
February 13, 2024 13:30 1m 47s master
master
February 13, 2024 13:30 1m 47s
read_volatile CI #28: Commit 302fa01 pushed by Medowhill
January 22, 2024 14:08 1m 26s master
master
January 22, 2024 14:08 1m 26s
filter out non functions CI #27: Commit 20ad6c6 pushed by Medowhill
January 22, 2024 13:27 1m 31s master
master
January 22, 2024 13:27 1m 31s
write_volatile CI #26: Commit 1d1aa87 pushed by Medowhill
January 22, 2024 13:13 1m 42s master
master
January 22, 2024 13:13 1m 42s
as_mut_ptr & offset CI #25: Commit da4c3d8 pushed by Medowhill
January 22, 2024 12:56 1m 30s master
master
January 22, 2024 12:56 1m 30s
intra function call CI #24: Commit bee14ad pushed by Medowhill
January 22, 2024 08:24 1m 32s master
master
January 22, 2024 08:24 1m 32s
call graph construction CI #23: Commit 19f5ba6 pushed by Medowhill
January 19, 2024 13:12 1m 36s master
master
January 19, 2024 13:12 1m 36s
improve invalidation precision CI #22: Commit 0613409 pushed by Medowhill
January 18, 2024 14:10 1m 31s master
master
January 18, 2024 14:10 1m 31s
deref_eq invalidation CI #21: Commit 5459baf pushed by Medowhill
January 18, 2024 13:43 1m 33s master
master
January 18, 2024 13:43 1m 33s
symbolic index invalidation CI #20: Commit 717e243 pushed by Medowhill
January 16, 2024 14:55 1m 31s master
master
January 16, 2024 14:55 1m 31s
add test cases CI #19: Commit f7967c9 pushed by Medowhill
January 16, 2024 12:13 1m 26s master
master
January 16, 2024 12:13 1m 26s
prepare tests CI #18: Commit 9766455 pushed by Medowhill
January 12, 2024 13:35 1m 25s master
master
January 12, 2024 13:35 1m 25s
deref refactoring CI #17: Commit 8074f32 pushed by Medowhill
January 12, 2024 12:15 1m 20s master
master
January 12, 2024 12:15 1m 20s
transfer terminator CI #16: Commit b637699 pushed by Medowhill
January 12, 2024 11:51 1m 23s master
master
January 12, 2024 11:51 1m 23s
join & ord CI #15: Commit 304adab pushed by Medowhill
January 12, 2024 09:03 1m 29s master
master
January 12, 2024 09:03 1m 29s
transfer_stmt CI #14: Commit 7ca453b pushed by Medowhill
January 12, 2024 06:45 1m 27s master
master
January 12, 2024 06:45 1m 27s
relational (WIP): semantics CI #13: Commit 8916d6e pushed by Medowhill
January 11, 2024 13:51 1m 29s master
master
January 11, 2024 13:51 1m 29s
relational (WIP): transfer CI #12: Commit 88d7bfd pushed by Medowhill
January 9, 2024 14:40 42s master
master
January 9, 2024 14:40 42s
tls, alloca, realloc, libc fns CI #11: Commit 4b34eff pushed by Medowhill
December 14, 2023 07:00 1m 27s master
master
December 14, 2023 07:00 1m 27s
read_volatile CI #10: Commit 17497b9 pushed by Medowhill
December 13, 2023 15:07 1m 14s master
master
December 13, 2023 15:07 1m 14s