Skip to content

Actions: georgerennie/yosys

Actions

Build and run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-build.yml
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tests: remove -seq 1 from sat with -tempinduct where possible Build and run tests #20: Commit d4546d8 pushed by georgerennie
October 3, 2024 14:36 3m 46s main
main
October 3, 2024 14:36 3m 46s
opt_reduce: add test for constant $reduce_and/or not being zero width Build and run tests #19: Commit 0572f88 pushed by georgerennie
September 25, 2024 15:29 40m 48s george/opt_reduce_cell_width
george/opt_reduce_cell_width
September 25, 2024 15:29 40m 48s
opt_demorgan: add test for zero width cell Build and run tests #18: Commit e105cae pushed by georgerennie
September 25, 2024 15:10 39m 44s george/opt_demorgan_zero_width
george/opt_demorgan_zero_width
September 25, 2024 15:10 39m 44s
opt_demorgan: skip zero width cells Build and run tests #17: Commit 58af706 pushed by georgerennie
September 24, 2024 13:25 38m 33s george/opt_demorgan_zero_width
george/opt_demorgan_zero_width
September 24, 2024 13:25 38m 33s
opt_demorgan: skip zero width cells Build and run tests #16: Commit 589d13b pushed by georgerennie
September 24, 2024 13:21 3m 41s george/opt_demorgan_zero_width
george/opt_demorgan_zero_width
September 24, 2024 13:21 3m 41s
Merge pull request #4495 from povik/check-avert-costly-detail Build and run tests #15: Commit 8e1e2b9 pushed by georgerennie
September 24, 2024 13:21 1m 14s george/opt_demorgan_zero_width
george/opt_demorgan_zero_width
September 24, 2024 13:21 1m 14s
smtbmc: escape path identifiers Build and run tests #14: Commit b788de9 pushed by georgerennie
September 24, 2024 02:04 40m 0s george/smtbmc_paths
george/smtbmc_paths
September 24, 2024 02:04 40m 0s
proc_dff: add tests Build and run tests #13: Commit 8206951 pushed by georgerennie
August 28, 2024 15:24 43m 43s george/proc_dff_ordering
george/proc_dff_ordering
August 28, 2024 15:24 43m 43s
proc_dff: respect sync rule priorities when generating complex dffsrs Build and run tests #12: Commit bdb5d45 pushed by georgerennie
August 28, 2024 14:48 37m 17s george/proc_dff_ordering
george/proc_dff_ordering
August 28, 2024 14:48 37m 17s
proc_dff: respect sync rule priorities when generating complex dffsrs Build and run tests #11: Commit 21cfbfb pushed by georgerennie
August 28, 2024 14:41 6m 50s george/proc_dff_ordering
george/proc_dff_ordering
August 28, 2024 14:41 6m 50s
sat: refactor to combine configs making modification easier Build and run tests #10: Commit 4d5780b pushed by georgerennie
August 15, 2024 09:10 4m 24s sat_improvements
sat_improvements
August 15, 2024 09:10 4m 24s
sat: refactor to combine configs making modification easier Build and run tests #9: Commit 9f71329 pushed by georgerennie
August 14, 2024 22:46 4m 21s sat_improvements
sat_improvements
August 14, 2024 22:46 4m 21s
peepopt clockgateff: add testcase Build and run tests #8: Commit b6ceff2 pushed by georgerennie
August 7, 2024 09:22 37m 59s peepopt_clock_gate
peepopt_clock_gate
August 7, 2024 09:22 37m 59s
clk2fflogic: run peepopt -formalclk before processing design Build and run tests #7: Commit a4f60de pushed by georgerennie
August 7, 2024 09:02 20m 15s peepopt_clock_gate
peepopt_clock_gate
August 7, 2024 09:02 20m 15s
peepopt: Add formal opt to rewrite latches to ffs in clock gates Build and run tests #6: Commit 9520e9b pushed by georgerennie
August 6, 2024 15:32 38m 49s peepopt_clock_gate
peepopt_clock_gate
August 6, 2024 15:32 38m 49s
smtbmc: Support skipping steps in cover mode Build and run tests #5: Commit 40b387a pushed by georgerennie
July 3, 2024 21:13 23m 34s skip_cover
skip_cover
July 3, 2024 21:13 23m 34s
hashlib: Correct prime sequence Build and run tests #4: Commit 339d4e8 pushed by georgerennie
July 2, 2024 07:10 22m 37s hashlib_primes
hashlib_primes
July 2, 2024 07:10 22m 37s
hashlib: Add some more primes Build and run tests #3: Commit 78ae4ed pushed by georgerennie
July 1, 2024 11:38 24m 59s hashlib_primes
hashlib_primes
July 1, 2024 11:38 24m 59s
hashlib: Add some more primes Build and run tests #2: Commit 0880242 pushed by georgerennie
July 1, 2024 11:34 4m 7s hashlib_primes
hashlib_primes
July 1, 2024 11:34 4m 7s
peepopt shiftadd: Only match for sufficiently small constant widths Build and run tests #1: Commit 41aaaa1 pushed by georgerennie
June 12, 2024 13:39 25m 9s shiftadd_gating
shiftadd_gating
June 12, 2024 13:39 25m 9s