Skip to content

Actions: ekiwi/rtl-repair

Actions

Bug Fix Unittests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unittests.yml
270 workflow runs
270 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix typo Bug Fix Unittests #724: Commit 283a5a8 pushed by ekiwi
April 16, 2024 19:29 6m 33s dev
dev
April 16, 2024 19:29 6m 33s
first working version of exhaustive windowing Bug Fix Unittests #723: Commit d46c449 pushed by ekiwi
April 16, 2024 19:07 1m 42s dev
dev
April 16, 2024 19:07 1m 42s
make incremental synthesizer more reusable Bug Fix Unittests #722: Commit 167bf51 pushed by ekiwi
April 16, 2024 18:13 6m 34s dev
dev
April 16, 2024 18:13 6m 34s
wip: windowing exploration Bug Fix Unittests #721: Commit 09ce557 pushed by ekiwi
April 16, 2024 16:46 6m 31s dev
dev
April 16, 2024 16:46 6m 31s
make more things owned Bug Fix Unittests #720: Commit 9eb48bb pushed by ekiwi
April 16, 2024 16:23 6m 37s dev
dev
April 16, 2024 16:23 6m 37s
add fpga timeout of 2min Bug Fix Unittests #719: Commit 9c03d8b pushed by ekiwi
April 15, 2024 23:47 6m 27s dev
dev
April 15, 2024 23:47 6m 27s
scripts: add new fpga experiment Bug Fix Unittests #718: Commit 8ac1cd8 pushed by ekiwi
April 15, 2024 23:46 6m 26s dev
dev
April 15, 2024 23:46 6m 26s
update readme and manual-port to include repair minimization improvem… Bug Fix Unittests #717: Commit 71e1afc pushed by ekiwi
April 1, 2024 19:10 8m 23s main
main
April 1, 2024 19:10 8m 23s
update readme and manual-port to include repair minimization improvem… Bug Fix Unittests #716: Commit 71e1afc pushed by ekiwi
April 1, 2024 19:09 6m 48s dev
dev
April 1, 2024 19:09 6m 48s
repair: remove if statement where condition simplifies to true Bug Fix Unittests #715: Commit 917092c pushed by ekiwi
April 1, 2024 18:49 6m 41s dev
dev
April 1, 2024 18:49 6m 41s
experiments: run fpga repairs with bitwuzla as well Bug Fix Unittests #714: Commit a54e831 pushed by ekiwi
March 18, 2024 20:16 6m 29s dev
dev
March 18, 2024 20:16 6m 29s
test: solve sdram_w1 with basic synth Bug Fix Unittests #713: Commit c937bdb pushed by ekiwi
March 18, 2024 13:28 6m 52s dev
dev
March 18, 2024 13:28 6m 52s
readme: elaborate on how to check tables Bug Fix Unittests #712: Commit 4b422a1 pushed by ekiwi
March 16, 2024 01:02 6m 53s main
main
March 16, 2024 01:02 6m 53s
create_tables: render last row in txt format Bug Fix Unittests #711: Commit 103db44 pushed by ekiwi
March 16, 2024 00:53 7m 20s main
main
March 16, 2024 00:53 7m 20s
create_tables: add more human readable output Bug Fix Unittests #710: Commit 94b2e1e pushed by ekiwi
March 16, 2024 00:43 6m 41s main
main
March 16, 2024 00:43 6m 41s
test: solve sdram_w1 with basic synth Bug Fix Unittests #709: Commit a06a51f pushed by ekiwi
March 16, 2024 00:16 6m 31s dev
dev
March 16, 2024 00:16 6m 31s
rtlrepair: turn warning into error Bug Fix Unittests #708: Commit 1d1961c pushed by ekiwi
March 15, 2024 17:05 6m 42s dev
dev
March 15, 2024 17:05 6m 42s
test: we now get the correct number of changes Bug Fix Unittests #707: Commit c3e66da pushed by ekiwi
March 15, 2024 17:04 6m 50s dev
dev
March 15, 2024 17:04 6m 50s
improve simplifications Bug Fix Unittests #706: Commit 8e6ce94 pushed by ekiwi
March 15, 2024 15:37 6m 48s dev
dev
March 15, 2024 15:37 6m 48s
add warning about miscounted changes Bug Fix Unittests #705: Commit 6bb57ac pushed by ekiwi
March 15, 2024 15:28 6m 42s dev
dev
March 15, 2024 15:28 6m 42s
rtl repair: smaller repair diffs Bug Fix Unittests #704: Commit e2d3a89 pushed by ekiwi
March 15, 2024 15:19 6m 55s dev
dev
March 15, 2024 15:19 6m 55s
rtlrepair: do not overwrite solutions Bug Fix Unittests #703: Commit 67253db pushed by ekiwi
March 14, 2024 21:29 6m 56s dev
dev
March 14, 2024 21:29 6m 56s
add fpga=all experiment Bug Fix Unittests #702: Commit 74f1f7b pushed by ekiwi
March 14, 2024 21:18 6m 52s dev
dev
March 14, 2024 21:18 6m 52s
add script for manual ports Bug Fix Unittests #701: Commit 2d597c8 pushed by ekiwi
March 11, 2024 19:35 6m 59s main
main
March 11, 2024 19:35 6m 59s
clarify Bug Fix Unittests #700: Commit f7b4904 pushed by ekiwi
March 11, 2024 17:50 7m 13s main
main
March 11, 2024 17:50 7m 13s