Skip to content

Actions: sireum/anvil

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More simulator logging. CI #85: Commit 90538e1 pushed by robby-phd
March 10, 2025 02:49 6m 4s master
master
March 10, 2025 02:49 6m 4s
Added IRSimulator.{DEBUG, DEBUG_EDIT}. CI #84: Commit e2639b5 pushed by robby-phd
March 10, 2025 02:35 6m 0s master
master
March 10, 2025 02:35 6m 0s
Updated add-test.sc. CI #83: Commit 720d4f3 pushed by robby-phd
March 10, 2025 02:22 6m 5s master
master
March 10, 2025 02:22 6m 5s
Fixed Anvil.transformMain. CI #82: Commit 5eecdcd pushed by robby-phd
March 10, 2025 02:17 5m 51s master
master
March 10, 2025 02:17 5m 51s
Fixed reading display offset. CI #81: Commit ac892e9 pushed by robby-phd
March 9, 2025 21:04 6m 7s master
master
March 9, 2025 21:04 6m 7s
Enabled running simulator on all anvil.test methods. CI #80: Commit c904aac pushed by robby-phd
March 9, 2025 20:23 5m 57s master
master
March 9, 2025 20:23 5m 57s
Updated Anvil.synthesize API. CI #79: Commit ea2e04d pushed by robby-phd
March 9, 2025 20:03 5m 53s master
master
March 9, 2025 20:03 5m 53s
Added anvil.hls and anvil.test annotation support with auto test driv… CI #78: Commit 5b6a8a2 pushed by robby-phd
March 9, 2025 19:56 5m 49s master
master
March 9, 2025 19:56 5m 49s
fix shift operations CI #77: Commit 28a9fed pushed by ckj119940887
March 9, 2025 17:57 5m 40s kejun
kejun
March 9, 2025 17:57 5m 40s
Added unclonable record and anvil.{hls, test} annotation support. CI #76: Commit 71ccb1d pushed by robby-phd
March 9, 2025 14:11 13m 55s master
master
March 9, 2025 14:11 13m 55s
Optimized simulator by using mutable State. CI #75: Commit ad6c985 pushed by robby-phd
March 9, 2025 12:56 5m 59s master
master
March 9, 2025 12:56 5m 59s
Updated test config. CI #74: Commit dd7bc86 pushed by robby-phd
March 9, 2025 02:02 5m 51s master
master
March 9, 2025 02:02 5m 51s
Added a simulator test. CI #73: Commit e7428a5 pushed by robby-phd
March 9, 2025 01:55 6m 12s master
master
March 9, 2025 01:55 6m 12s
Added a simulator test. CI #72: Commit 394bb7c pushed by robby-phd
March 9, 2025 01:55 5m 58s master
master
March 9, 2025 01:55 5m 58s
Various fixes. CI #71: Commit 57d4f4b pushed by robby-phd
March 8, 2025 23:40 5m 43s master
master
March 8, 2025 23:40 5m 43s
Updated sign extension. CI #70: Commit 41b3535 pushed by robby-phd
March 8, 2025 20:31 5m 46s master
master
March 8, 2025 20:31 5m 46s
Added sign extension when converting from smaller signed bv integer t… CI #69: Commit c4b4cd4 pushed by robby-phd
March 8, 2025 20:29 6m 2s master
master
March 8, 2025 20:29 6m 2s
Simulator fixes. CI #68: Commit c946ff2 pushed by robby-phd
March 8, 2025 20:13 5m 47s master
master
March 8, 2025 20:13 5m 47s
continue assert CI #67: Commit 1407405 pushed by ckj119940887
March 8, 2025 19:49 5m 43s kejun
kejun
March 8, 2025 19:49 5m 43s
Fixed transformHalt. CI #66: Commit ae53bca pushed by robby-phd
March 8, 2025 19:47 5m 43s master
master
March 8, 2025 19:47 5m 43s
Added IR simulator. CI #65: Commit a52c7a4 pushed by robby-phd
March 8, 2025 17:52 5m 50s master
master
March 8, 2025 17:52 5m 50s
support switch CI #64: Commit bf4aebb pushed by ckj119940887
March 8, 2025 16:08 5m 39s kejun
kejun
March 8, 2025 16:08 5m 39s
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