Skip to content

Actions: ekiwi/rtl-repair

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
270 workflow runs
270 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

work around yices2 limitations Bug Fix Unittests #749: Commit 959163f pushed by ekiwi
January 20, 2025 21:10 1m 44s update-patronus
update-patronus
January 20, 2025 21:10 1m 44s
newer versions of yosys expect a different argument Bug Fix Unittests #748: Commit 1412b4b pushed by ekiwi
January 20, 2025 19:15 1m 48s update-patronus
update-patronus
January 20, 2025 19:15 1m 48s
generate value in testbench Bug Fix Unittests #747: Commit ba3e269 pushed by ekiwi
January 20, 2025 15:25 1m 40s update-patronus
update-patronus
January 20, 2025 15:25 1m 40s
make tests compile Bug Fix Unittests #746: Commit abb3a4e pushed by ekiwi
January 16, 2025 19:41 1m 43s update-patronus
update-patronus
January 16, 2025 19:41 1m 43s
get compiling with recent patronus changes Bug Fix Unittests #745: Commit 3e0d438 pushed by ekiwi
January 16, 2025 18:47 1m 43s update-patronus
update-patronus
January 16, 2025 18:47 1m 43s
update repair Bug Fix Unittests #744: Commit 11277ba pushed by ekiwi
January 14, 2025 21:29 1m 42s update-patronus
update-patronus
January 14, 2025 21:29 1m 42s
update more code Bug Fix Unittests #743: Commit c2f8e3b pushed by ekiwi
January 14, 2025 21:19 1m 47s update-patronus
update-patronus
January 14, 2025 21:19 1m 47s
wip: upgrade to a much newer version of patronus Bug Fix Unittests #742: Commit bb1aa76 pushed by ekiwi
January 14, 2025 18:32 1m 44s update-patronus
update-patronus
January 14, 2025 18:32 1m 44s
update study with new data Bug Fix Unittests #741: Commit 846e584 pushed by ekiwi
January 14, 2025 18:31 7m 41s update-patronus
update-patronus
January 14, 2025 18:31 7m 41s
update study with new data Bug Fix Unittests #740: Commit 846e584 pushed by ekiwi
January 14, 2025 18:14 8m 45s main
main
January 14, 2025 18:14 8m 45s
update Readme Bug Fix Unittests #739: Commit fbf68cf pushed by ekiwi
January 14, 2025 18:14 7m 52s main
main
January 14, 2025 18:14 7m 52s
update readme and manual-port to include repair minimization improvem… Bug Fix Unittests #738: Commit 71e1afc pushed by ekiwi
January 14, 2025 18:12 6m 56s asplos24
asplos24
January 14, 2025 18:12 6m 56s
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