Skip to content

Actions: sireum/anvil

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed asInstanceOf. CI #63: Commit 3dd63b2 pushed by robby-phd
March 8, 2025 16:06 6m 17s master
master
March 8, 2025 16:06 6m 17s
Added erase option. CI #62: Commit 76cab5d pushed by robby-phd
March 7, 2025 21:56 6m 4s master
master
March 7, 2025 21:56 6m 4s
Fixed Anvil.transformApplyConstructResult. CI #61: Commit e0ce438 pushed by robby-phd
March 7, 2025 21:32 5m 46s master
master
March 7, 2025 21:32 5m 46s
Fixed typo. CI #60: Commit 251b6f7 pushed by robby-phd
March 7, 2025 21:27 5m 46s master
master
March 7, 2025 21:27 5m 46s
Fixed param offsets. CI #59: Commit 8b16944 pushed by robby-phd
March 7, 2025 21:14 5m 56s master
master
March 7, 2025 21:14 5m 56s
update Copy CI #58: Commit 1e0b3f8 pushed by ckj119940887
March 7, 2025 21:11 6m 35s kejun
kejun
March 7, 2025 21:11 6m 35s
Added support for printing stack trace. CI #57: Commit c313748 pushed by robby-phd
March 7, 2025 21:11 5m 56s master
master
March 7, 2025 21:11 5m 56s
Updated default config to match CLI default options. CI #56: Commit 8779853 pushed by robby-phd
March 7, 2025 16:36 6m 15s master
master
March 7, 2025 16:36 6m 15s
Added stack frame info. CI #55: Commit 49adc42 pushed by robby-phd
March 7, 2025 16:34 5m 58s master
master
March 7, 2025 16:34 5m 58s
Fixed param info and copy size. Added copySize option. CI #54: Commit 5bdbade pushed by robby-phd
March 7, 2025 15:32 5m 57s master
master
March 7, 2025 15:32 5m 57s
Added parameter info and stack trace memory allocation. CI #53: Commit 86e69db pushed by robby-phd
March 7, 2025 14:56 6m 10s master
master
March 7, 2025 14:56 6m 10s
Changed Intrinsic.Copy rhsBytes to IR.Exp. CI #52: Commit ef50eee pushed by robby-phd
March 7, 2025 13:11 5m 53s master
master
March 7, 2025 13:11 5m 53s
complete for big integer CI #51: Commit ccd585c pushed by ckj119940887
March 6, 2025 21:30 6m 2s kejun
kejun
March 6, 2025 21:30 6m 2s
support runtime check CI #50: Commit ddebce1 pushed by ckj119940887
March 6, 2025 18:56 23s kejun
kejun
March 6, 2025 18:56 23s
Fixed Anvil.countNumOfIncomingJumps to take into account *SP = ... ($… CI #49: Commit 6bb38fd pushed by robby-phd
March 6, 2025 18:52 6m 20s master
master
March 6, 2025 18:52 6m 20s
Added more runtime checks. CI #48: Commit be5dd32 pushed by robby-phd
March 6, 2025 13:53 6m 12s master
master
March 6, 2025 13:53 6m 12s
Fixed Intrinsic.RegisterAssign.prettyST. CI #47: Commit 750dc53 pushed by robby-phd
March 6, 2025 01:24 5m 40s master
master
March 6, 2025 01:24 5m 40s
debug runtime check CI #46: Commit 77abffd pushed by ckj119940887
March 6, 2025 00:22 5m 47s kejun
kejun
March 6, 2025 00:22 5m 47s
Fixed indexing runtime check. CI #45: Commit d4e0ce0 pushed by robby-phd
March 6, 2025 00:22 6m 13s master
master
March 6, 2025 00:22 6m 13s
Increased memory for construct.sc. CI #44: Commit 34a99a2 pushed by robby-phd
March 5, 2025 22:38 5m 57s master
master
March 5, 2025 22:38 5m 57s
Added copy splitting and more empty block removal. CI #43: Commit fac04dc pushed by robby-phd
March 5, 2025 22:32 6m 6s master
master
March 5, 2025 22:32 6m 6s
complete copy CI #42: Commit e69fae3 pushed by ckj119940887
March 5, 2025 22:04 43s kejun
kejun
March 5, 2025 22:04 43s
Removed empty blocks at the end of transformCP. CI #41: Commit 590b77e pushed by robby-phd
March 5, 2025 20:57 5m 48s master
master
March 5, 2025 20:57 5m 48s
Added more conversions support and inserted runtime checks. CI #40: Commit 33337b7 pushed by robby-phd
March 5, 2025 20:52 5m 52s master
master
March 5, 2025 20:52 5m 52s
Added some conversions ext support. CI #39: Commit 07c9df0 pushed by robby-phd
March 5, 2025 16:21 5m 43s master
master
March 5, 2025 16:21 5m 43s