Skip to content

Actions: ekiwi/rtl-repair

Actions

Bug Fix Unittests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unittests.yml
267 workflow runs
267 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pyverilog: try to fix lexer errors Bug Fix Unittests #562: Commit 298960c pushed by ekiwi
January 3, 2024 15:55 10m 43s main
main
January 3, 2024 15:55 10m 43s
pyverilog: cache lexer and remove resource leakage Bug Fix Unittests #561: Commit b9b6f33 pushed by ekiwi
January 3, 2024 15:40 12m 3s main
main
January 3, 2024 15:40 12m 3s
pyverilog: fix resource leak Bug Fix Unittests #560: Commit 1950227 pushed by ekiwi
January 3, 2024 15:13 6m 57s main
main
January 3, 2024 15:13 6m 57s
include pyverilog 1.3.0 source Bug Fix Unittests #559: Commit 35d244f pushed by ekiwi
January 3, 2024 14:49 6m 48s main
main
January 3, 2024 14:49 6m 48s
test: wip FPGA debug test Bug Fix Unittests #558: Commit ea4f638 pushed by ekiwi
January 3, 2024 01:31 5m 16s main
main
January 3, 2024 01:31 5m 16s
bench: add project toml and simplify some Verilog syntax for s3 Bug Fix Unittests #557: Commit af52647 pushed by ekiwi
January 3, 2024 01:26 5m 53s main
main
January 3, 2024 01:26 5m 53s
bench: add oracle.txt (30MiB) Bug Fix Unittests #556: Commit 1329892 pushed by ekiwi
January 2, 2024 19:16 7m 0s main
main
January 2, 2024 19:16 7m 0s
bench: add ZipCPU SPI bugs Bug Fix Unittests #555: Commit e2e1e4f pushed by ekiwi
January 2, 2024 17:36 5m 42s main
main
January 2, 2024 17:36 5m 42s
wip: fpga benchmarks Bug Fix Unittests #554: Commit e8c4aec pushed by ekiwi
January 2, 2024 16:02 6m 54s main
main
January 2, 2024 16:02 6m 54s
synth: upgrade to patron 0.14.1 Bug Fix Unittests #553: Commit 65cb4b8 pushed by ekiwi
January 2, 2024 15:51 7m 22s main
main
January 2, 2024 15:51 7m 22s
synthesizer: add smt dumping support Bug Fix Unittests #552: Commit 929b521 pushed by ekiwi
December 18, 2023 19:39 7m 1s main
main
December 18, 2023 19:39 7m 1s
wip: change starting constraints Bug Fix Unittests #551: Commit 1672669 pushed by ekiwi
December 18, 2023 19:38 3m 52s synth-change-starting-constraints
synth-change-starting-constraints
December 18, 2023 19:38 3m 52s
synth: size change count Bug Fix Unittests #550: Commit 00235fa pushed by ekiwi
December 18, 2023 18:12 5m 41s main
main
December 18, 2023 18:12 5m 41s
tb: add option to encode i/o constraints as single assert Bug Fix Unittests #549: Commit 9fe2b52 pushed by ekiwi
December 18, 2023 17:31 5m 29s main
main
December 18, 2023 17:31 5m 29s
synth: quick check to see if a repair is possible at all Bug Fix Unittests #548: Commit f01dc80 pushed by ekiwi
December 18, 2023 16:28 7m 52s main
main
December 18, 2023 16:28 7m 52s
synth: upgrade patron to allow re-init Bug Fix Unittests #547: Commit 8c50f3c pushed by ekiwi
December 18, 2023 16:10 7m 29s main
main
December 18, 2023 16:10 7m 29s
synth: move smt and enc into repair context Bug Fix Unittests #546: Commit c0d0b2c pushed by ekiwi
December 18, 2023 15:55 3m 51s main
main
December 18, 2023 15:55 3m 51s
synth: upgrade patron Bug Fix Unittests #545: Commit 50eebca pushed by ekiwi
December 15, 2023 20:17 5m 35s main
main
December 15, 2023 20:17 5m 35s
synth: allow dead code Bug Fix Unittests #544: Commit 853e82f pushed by ekiwi
December 15, 2023 19:24 6m 6s main
main
December 15, 2023 19:24 6m 6s
synth: ignore missing tb outputs Bug Fix Unittests #543: Commit 9324b83 pushed by ekiwi
December 15, 2023 19:23 6m 25s main
main
December 15, 2023 19:23 6m 25s
synth: wip new windowing algorithm Bug Fix Unittests #542: Commit 488c53b pushed by ekiwi
December 15, 2023 19:20 6m 40s main
main
December 15, 2023 19:20 6m 40s
synth: remove import Bug Fix Unittests #541: Commit 49305f0 pushed by ekiwi
December 15, 2023 18:58 5m 53s main
main
December 15, 2023 18:58 5m 53s
upgrade patron to fix bug of missing tb outputs Bug Fix Unittests #540: Commit 56018be pushed by ekiwi
December 15, 2023 18:57 5m 52s main
main
December 15, 2023 18:57 5m 52s
synth: fail on missing testbench outputs Bug Fix Unittests #539: Commit 79fb5dc pushed by ekiwi
December 15, 2023 18:50 3m 18s main
main
December 15, 2023 18:50 3m 18s
synth: upgrade to patron 0.11 Bug Fix Unittests #538: Commit 7ad3154 pushed by ekiwi
December 15, 2023 17:33 5m 8s main
main
December 15, 2023 17:33 5m 8s