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

find possible tag fields CI #109: Commit db6dc69 pushed by Medowhill
May 23, 2024 02:56 1m 52s master
master
May 23, 2024 02:56 1m 52s
transformation: as_mut_ptr CI #108: Commit 6a80b74 pushed by Medowhill
May 22, 2024 16:42 1m 37s master
master
May 22, 2024 16:42 1m 37s
correctly compute bitfield writes CI #107: Commit cc228bb pushed by Medowhill
May 22, 2024 06:59 1m 52s master
master
May 22, 2024 06:59 1m 52s
minor changes CI #106: Commit 2c2bba9 pushed by Medowhill
May 21, 2024 16:36 1m 46s master
master
May 21, 2024 16:36 1m 46s
TaggedStruct & TaggedUnion CI #105: Commit f987fe1 pushed by Medowhill
May 21, 2024 15:26 29m 43s master
master
May 21, 2024 15:26 29m 43s
*const ptr & default case for deref_mut CI #104: Commit 171c376 pushed by Medowhill
May 21, 2024 13:52 33m 14s master
master
May 21, 2024 13:52 33m 14s
transformation: bitfield struct init CI #103: Commit a4920ea pushed by Medowhill
May 21, 2024 07:54 1m 39s master
master
May 21, 2024 07:54 1m 39s
collect struct field names CI #102: Commit 4c40935 pushed by Medowhill
May 21, 2024 05:24 2m 1s master
master
May 21, 2024 05:24 2m 1s
transformation: preserve semantics CI #101: Commit 5d1c5c5 pushed by Medowhill
May 20, 2024 15:26 1m 56s master
master
May 20, 2024 15:26 1m 56s
transformation: bitfield aggregate CI #100: Commit ed175f1 pushed by Medowhill
May 20, 2024 13:45 2m 4s master
master
May 20, 2024 13:45 2m 4s
transformation: delete bitfield CI #99: Commit ca03fff pushed by Medowhill
May 20, 2024 12:41 1m 41s master
master
May 20, 2024 12:41 1m 41s
make bc compilable after naive tranformation CI #98: Commit be604de pushed by Medowhill
May 19, 2024 03:53 1m 39s master
master
May 19, 2024 03:53 1m 39s
collect suggestions (WIP) CI #97: Commit 72d81b2 pushed by Medowhill
May 17, 2024 07:27 1m 52s master
master
May 17, 2024 07:27 1m 52s
check expr context CI #96: Commit c9446fd pushed by Medowhill
May 17, 2024 07:10 1m 38s master
master
May 17, 2024 07:10 1m 38s
use FieldIdx instead of u32 CI #95: Commit 098f1a5 pushed by Medowhill
May 17, 2024 02:40 1m 39s master
master
May 17, 2024 02:40 1m 39s
transform aggregate (WIP) CI #94: Commit ba399a7 pushed by Medowhill
May 16, 2024 15:08 1m 43s master
master
May 16, 2024 15:08 1m 43s
rename modules CI #93: Commit 82e84dd pushed by Medowhill
May 16, 2024 07:29 1m 34s master
master
May 16, 2024 07:29 1m 34s
analysis -> tag_analysis CI #92: Commit 692a8d9 pushed by Medowhill
May 16, 2024 07:25 2m 10s master
master
May 16, 2024 07:25 2m 10s
transformation: enum & helper methods CI #91: Commit 95ad219 pushed by Medowhill
May 13, 2024 14:59 2m 6s master
master
May 13, 2024 14:59 2m 6s
custom alloc fn finder CI #90: Commit ccc110d pushed by Medowhill
May 7, 2024 13:01 2m 13s master
master
May 7, 2024 13:01 2m 13s
custom alloc fn finder (WIP) CI #89: Commit 3bbcc64 pushed by Medowhill
May 6, 2024 15:04 1m 59s master
master
May 6, 2024 15:04 1m 59s
avoid computing whole reachability CI #88: Commit 59c5468 pushed by Medowhill
May 6, 2024 04:37 2m 1s master
master
May 6, 2024 04:37 2m 1s
filter not CI #87: Commit 08ddad2 pushed by Medowhill
May 3, 2024 05:52 2m 5s master
master
May 3, 2024 05:52 2m 5s
record also out states CI #86: Commit bb4f020 pushed by Medowhill
May 2, 2024 15:16 1m 50s master
master
May 2, 2024 15:16 1m 50s
bodyvisitor collects also structs CI #85: Commit 565e522 pushed by Medowhill
May 2, 2024 14:33 2m 15s master
master
May 2, 2024 14:33 2m 15s