Skip to content

Actions: ekiwi/rtl-repair

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
267 workflow runs
267 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update study with new data Bug Fix Unittests #737: Commit 8f1de69 pushed by ekiwi
April 25, 2024 14:29 7m 40s dev
dev
April 25, 2024 14:29 7m 40s
add new unroll logs Bug Fix Unittests #736: Commit e145fb3 pushed by ekiwi
April 25, 2024 13:47 6m 58s dev
dev
April 25, 2024 13:47 6m 58s
synth: start unrolling from the first failure Bug Fix Unittests #735: Commit 38d8bae pushed by ekiwi
April 24, 2024 15:36 7m 48s dev
dev
April 24, 2024 15:36 7m 48s
add windowing results after running for a couple of days Bug Fix Unittests #734: Commit df812e0 pushed by ekiwi
April 22, 2024 15:22 7m 43s dev
dev
April 22, 2024 15:22 7m 43s
study: add run all script Bug Fix Unittests #733: Commit 833b9e1 pushed by ekiwi
April 18, 2024 14:49 7m 47s dev
dev
April 18, 2024 14:49 7m 47s
implement unrolling study Bug Fix Unittests #732: Commit 4da0623 pushed by ekiwi
April 18, 2024 14:33 7m 48s dev
dev
April 18, 2024 14:33 7m 48s
add unrolling command Bug Fix Unittests #731: Commit c71dcb6 pushed by ekiwi
April 18, 2024 13:39 7m 40s dev
dev
April 18, 2024 13:39 7m 40s
windowing: change stats format Bug Fix Unittests #730: Commit 91c782f pushed by ekiwi
April 18, 2024 13:29 6m 47s dev
dev
April 18, 2024 13:29 6m 47s
synth: move windowing Bug Fix Unittests #729: Commit b35e930 pushed by ekiwi
April 18, 2024 13:13 7m 50s dev
dev
April 18, 2024 13:13 7m 50s
wip: windowing study Bug Fix Unittests #728: Commit 4316725 pushed by ekiwi
April 17, 2024 19:41 6m 56s dev
dev
April 17, 2024 19:41 6m 56s
windowing: skip windows that do not fit Bug Fix Unittests #727: Commit b6a8460 pushed by ekiwi
April 16, 2024 20:33 7m 35s dev
dev
April 16, 2024 20:33 7m 35s
test: c1 works with bitwuzla, not with yices Bug Fix Unittests #726: Commit cafdeec pushed by ekiwi
April 16, 2024 19:57 7m 48s dev
dev
April 16, 2024 19:57 7m 48s
synth: fix clippy warnings Bug Fix Unittests #725: Commit 6896413 pushed by ekiwi
April 16, 2024 19:33 6m 25s dev
dev
April 16, 2024 19:33 6m 25s
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