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

fix add guard bug
Bug Fix Unittests #637: Commit 1ca70c0 pushed by ekiwi
January 9, 2024 15:36 8m 43s main
January 9, 2024 15:36 8m 43s
get c1 to work
Bug Fix Unittests #636: Commit a1843d5 pushed by ekiwi
January 9, 2024 15:08 15m 2s main
January 9, 2024 15:08 15m 2s
synth: increase window size more agressively
Bug Fix Unittests #635: Commit ee85e17 pushed by ekiwi
January 9, 2024 14:52 8m 58s main
January 9, 2024 14:52 8m 58s
add guard improvements
Bug Fix Unittests #634: Commit 7710f42 pushed by ekiwi
January 9, 2024 14:46 12m 28s main
January 9, 2024 14:46 12m 28s
repair: switch from add_inversion to add_guard
Bug Fix Unittests #633: Commit 7c616c5 pushed by ekiwi
January 9, 2024 14:25 12m 42s main
January 9, 2024 14:25 12m 42s
synth: correctly deal with future failures
Bug Fix Unittests #632: Commit 32ffb81 pushed by ekiwi
January 9, 2024 14:21 14m 11s main
January 9, 2024 14:21 14m 11s
try to deal more gracefully with non-synthesizable I2C code
Bug Fix Unittests #631: Commit 3d239f6 pushed by ekiwi
January 9, 2024 12:34 14m 35s main
January 9, 2024 12:34 14m 35s
fix more analysis problems
Bug Fix Unittests #630: Commit c935232 pushed by ekiwi
January 9, 2024 12:31 12m 33s main
January 9, 2024 12:31 12m 33s
analysis: deal with some more Verilog constructs
Bug Fix Unittests #629: Commit 21fdbe6 pushed by ekiwi
January 9, 2024 12:10 12m 22s main
January 9, 2024 12:10 12m 22s
analysis: add support for Eq
Bug Fix Unittests #628: Commit eea9f20 pushed by ekiwi
January 9, 2024 12:02 10m 30s main
January 9, 2024 12:02 10m 30s
fix analysis problems
Bug Fix Unittests #627: Commit c38ecb1 pushed by ekiwi
January 9, 2024 03:43 9m 44s main
January 9, 2024 03:43 9m 44s
new analysis
Bug Fix Unittests #626: Commit daa0ff6 pushed by ekiwi
January 9, 2024 03:09 11m 14s main
January 9, 2024 03:09 11m 14s
more dependency analysis
Bug Fix Unittests #625: Commit a771de5 pushed by ekiwi
January 9, 2024 02:17 12m 47s main
January 9, 2024 02:17 12m 47s
dep analysis: improve
Bug Fix Unittests #624: Commit ae65673 pushed by ekiwi
January 9, 2024 00:51 14m 26s main
January 9, 2024 00:51 14m 26s
test dependency analysis on simple example
Bug Fix Unittests #623: Commit 17c26bd pushed by ekiwi
January 9, 2024 00:29 13m 54s main
January 9, 2024 00:29 13m 54s
wip: dependency analysis
Bug Fix Unittests #622: Commit bdbe17a pushed by ekiwi
January 9, 2024 00:18 12m 32s main
January 9, 2024 00:18 12m 32s
repair: wip add guard template
Bug Fix Unittests #621: Commit abe3306 pushed by ekiwi
January 8, 2024 23:20 12m 57s main
January 8, 2024 23:20 12m 57s
repair: more sophisticated conditional overwrite
Bug Fix Unittests #620: Commit 3ae188a pushed by ekiwi
January 8, 2024 18:25 14m 56s main
January 8, 2024 18:25 14m 56s
yosys: fix repair check script
Bug Fix Unittests #619: Commit 3f370a1 pushed by ekiwi
January 8, 2024 17:39 13m 0s main
January 8, 2024 17:39 13m 0s
yosys: switch back to old btor conversion script
Bug Fix Unittests #618: Commit a143850 pushed by ekiwi
January 8, 2024 17:31 12m 48s main
January 8, 2024 17:31 12m 48s
d13: fix yosys latch issue
Bug Fix Unittests #617: Commit 84e3483 pushed by ekiwi
January 8, 2024 17:17 9m 56s main
January 8, 2024 17:17 9m 56s
try out new btor conversion script
Bug Fix Unittests #616: Commit 7a6c956 pushed by ekiwi
January 8, 2024 17:13 8m 15s main
January 8, 2024 17:13 8m 15s
bench: minimize changes between original and buggy d13
Bug Fix Unittests #615: Commit 93ea754 pushed by ekiwi
January 8, 2024 16:23 13m 36s main
January 8, 2024 16:23 13m 36s
reformat test.py
Bug Fix Unittests #614: Commit 661e67c pushed by ekiwi
January 8, 2024 16:01 14m 51s main
January 8, 2024 16:01 14m 51s
ci: checkout submodules
Bug Fix Unittests #613: Commit b285f83 pushed by ekiwi
January 7, 2024 19:33 12m 42s main
January 7, 2024 19:33 12m 42s