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

Simplified Intrinsic.RegisterAssign and changed Anvil to use auto-gen… CI #38: Commit 2b4eb59 pushed by robby-phd
March 5, 2025 15:01 5m 55s master
master
March 5, 2025 15:01 5m 55s
Use bit masking instead of remainder in anvil.Printer methods. CI #37: Commit 507cb69 pushed by robby-phd
March 5, 2025 13:12 5m 58s master
master
March 5, 2025 13:12 5m 58s
modify greaterthan CI #36: Commit d8af58c pushed by ckj119940887
March 4, 2025 22:33 5m 32s kejun
kejun
March 4, 2025 22:33 5m 32s
after rebase CI #35: Commit 7f6472b pushed by ckj119940887
March 4, 2025 22:23 5m 35s kejun
kejun
March 4, 2025 22:23 5m 35s
add, mult, factorial worked CI #34: Commit 521c726 pushed by ckj119940887
March 4, 2025 22:03 5m 35s kejun
kejun
March 4, 2025 22:03 5m 35s
Refactored Anvil result to use a new Anvil.Output trait. CI #33: Commit 5f187cc pushed by robby-phd
March 4, 2025 19:20 5m 33s master
master
March 4, 2025 19:20 5m 33s
Restored parallel procedure transformation. CI #32: Commit 7522ec3 pushed by robby-phd
March 4, 2025 16:39 5m 51s master
master
March 4, 2025 16:39 5m 51s
Properly use a Live Variable analysis over Temp to reduce the number … CI #31: Commit 33a058f pushed by robby-phd
March 4, 2025 16:35 6m 9s master
master
March 4, 2025 16:35 6m 9s
Various fixes. CI #30: Commit 7ba8dd8 pushed by robby-phd
March 4, 2025 13:44 5m 55s master
master
March 4, 2025 13:44 5m 55s
Reenabled some printing support. CI #29: Commit e4255f5 pushed by robby-phd
March 4, 2025 02:12 5m 30s master
master
March 4, 2025 02:12 5m 30s
update the Value check CI #28: Commit aaa8f46 pushed by ckj119940887
March 4, 2025 00:54 6m 7s kejun
kejun
March 4, 2025 00:54 6m 7s
Fixed call return merging. Disabled print example for now. CI #27: Commit 51def9d pushed by robby-phd
March 4, 2025 00:51 5m 46s master
master
March 4, 2025 00:51 5m 46s
restore AnvilTest CI #26: Commit 5ae1e9e pushed by ckj119940887
March 4, 2025 00:31 42s kejun
kejun
March 4, 2025 00:31 42s
update SP CI #25: Commit a804b28 pushed by ckj119940887
March 4, 2025 00:23 54s kejun
kejun
March 4, 2025 00:23 54s
Added some printing support. CI #24: Commit e5930a8 pushed by robby-phd
March 4, 2025 00:06 5m 42s master
master
March 4, 2025 00:06 5m 42s
update SP, DP to unsigned CI #23: Commit 2ff76cc pushed by ckj119940887
March 3, 2025 19:45 5m 49s kejun
kejun
March 3, 2025 19:45 5m 49s
update SP, DP to unsigned CI #22: Commit 18c9fe7 pushed by ckj119940887
March 3, 2025 19:37 5m 42s kejun
kejun
March 3, 2025 19:37 5m 42s
Updated test config with 1024 bytes for memory and 100 bytes for prin… CI #21: Commit 89a2905 pushed by robby-phd
March 3, 2025 19:32 6m 4s master
master
March 3, 2025 19:32 6m 4s
update SP CI #20: Commit 009d8ea pushed by ckj119940887
March 3, 2025 01:24 51s kejun
kejun
March 3, 2025 01:24 51s
update SP CI #19: Commit 5f1ce3f pushed by ckj119940887
March 3, 2025 01:17 40s kejun
kejun
March 3, 2025 01:17 40s
update hardwareSynth CI #18: Commit 3a49026 pushed by ckj119940887
March 2, 2025 19:05 50s kejun
kejun
March 2, 2025 19:05 50s
Refactored Slang modules. CI #17: Commit 5f95a70 pushed by robby-phd
March 1, 2025 13:43 5m 33s master
master
March 1, 2025 13:43 5m 33s
Added stack tracing option and removed endian-ness option. CI #16: Commit 003e401 pushed by robby-phd
February 28, 2025 22:39 5m 28s master
master
February 28, 2025 22:39 5m 28s
Added $display global var when printing is enabled. CI #15: Commit 05547e1 pushed by robby-phd
February 28, 2025 22:20 6m 1s master
master
February 28, 2025 22:20 6m 1s
add logic for processing ground, BasicBlock CI #14: Commit 216f1f8 pushed by ckj119940887
February 28, 2025 22:07 39s kejun
kejun
February 28, 2025 22:07 39s