Skip to content

Actions: georgerennie/yosys

Actions

Test extra build flows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

write_btor: only initialize array with const value when it is fully def Test extra build flows #27: Commit 6ab3931 pushed by georgerennie
October 9, 2024 13:08 19m 48s george/btor_undef_array_init
george/btor_undef_array_init
October 9, 2024 13:08 19m 48s
write_btor: only initialize array with const value when it is fully def Test extra build flows #26: Commit 2f54741 pushed by georgerennie
October 9, 2024 11:52 20m 35s george/btor_undef_array_init
george/btor_undef_array_init
October 9, 2024 11:52 20m 35s
write_btor: only initialize array with const value when it is fully def Test extra build flows #25: Commit 11477ef pushed by georgerennie
October 9, 2024 11:50 2m 8s george/btor_undef_array_init
george/btor_undef_array_init
October 9, 2024 11:50 2m 8s
write_btor: don't emit undriven bits multiple times Test extra build flows #24: Commit 268926c pushed by georgerennie
October 8, 2024 12:39 21m 2s george/btor_undriven_wires
george/btor_undriven_wires
October 8, 2024 12:39 21m 2s
tests: remove -seq 1 from sat with -tempinduct where possible Test extra build flows #23: Commit dfa8453 pushed by georgerennie
October 3, 2024 14:40 13s george/sat_seq_tests
george/sat_seq_tests
October 3, 2024 14:40 13s
tests: remove -seq 1 from sat with -tempinduct where possible Test extra build flows #22: Commit dfa8453 pushed by georgerennie
October 3, 2024 14:39 20m 4s main
main
October 3, 2024 14:39 20m 4s
tests: remove -seq 1 from sat with -tempinduct where possible Test extra build flows #21: Commit d4546d8 pushed by georgerennie
October 3, 2024 14:36 22s george/sat_seq_tests
george/sat_seq_tests
October 3, 2024 14:36 22s
tests: remove -seq 1 from sat with -tempinduct where possible Test extra build flows #20: Commit d4546d8 pushed by georgerennie
October 3, 2024 14:36 3m 45s main
main
October 3, 2024 14:36 3m 45s
opt_reduce: add test for constant $reduce_and/or not being zero width Test extra build flows #19: Commit 0572f88 pushed by georgerennie
September 25, 2024 15:29 19m 56s george/opt_reduce_cell_width
george/opt_reduce_cell_width
September 25, 2024 15:29 19m 56s
opt_demorgan: add test for zero width cell Test extra build flows #18: Commit e105cae pushed by georgerennie
September 25, 2024 15:10 20m 29s george/opt_demorgan_zero_width
george/opt_demorgan_zero_width
September 25, 2024 15:10 20m 29s
opt_demorgan: skip zero width cells Test extra build flows #17: Commit 58af706 pushed by georgerennie
September 24, 2024 13:25 20m 43s george/opt_demorgan_zero_width
george/opt_demorgan_zero_width
September 24, 2024 13:25 20m 43s
opt_demorgan: skip zero width cells Test extra build flows #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 Test extra build flows #15: Commit 8e1e2b9 pushed by georgerennie
September 24, 2024 13:21 1m 17s george/opt_demorgan_zero_width
george/opt_demorgan_zero_width
September 24, 2024 13:21 1m 17s
smtbmc: escape path identifiers Test extra build flows #14: Commit b788de9 pushed by georgerennie
September 24, 2024 02:04 19m 58s george/smtbmc_paths
george/smtbmc_paths
September 24, 2024 02:04 19m 58s
proc_dff: add tests Test extra build flows #13: Commit 8206951 pushed by georgerennie
August 28, 2024 15:24 20m 20s george/proc_dff_ordering
george/proc_dff_ordering
August 28, 2024 15:24 20m 20s
proc_dff: respect sync rule priorities when generating complex dffsrs Test extra build flows #12: Commit bdb5d45 pushed by georgerennie
August 28, 2024 14:48 19m 9s george/proc_dff_ordering
george/proc_dff_ordering
August 28, 2024 14:48 19m 9s
proc_dff: respect sync rule priorities when generating complex dffsrs Test extra build flows #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 Test extra build flows #10: Commit 4d5780b pushed by georgerennie
August 15, 2024 09:10 10m 1s sat_improvements
sat_improvements
August 15, 2024 09:10 10m 1s
sat: refactor to combine configs making modification easier Test extra build flows #9: Commit 9f71329 pushed by georgerennie
August 14, 2024 22:46 10m 4s sat_improvements
sat_improvements
August 14, 2024 22:46 10m 4s
peepopt clockgateff: add testcase Test extra build flows #8: Commit b6ceff2 pushed by georgerennie
August 7, 2024 09:22 19m 15s peepopt_clock_gate
peepopt_clock_gate
August 7, 2024 09:22 19m 15s
clk2fflogic: run peepopt -formalclk before processing design Test extra build flows #7: Commit a4f60de pushed by georgerennie
August 7, 2024 09:02 19m 13s peepopt_clock_gate
peepopt_clock_gate
August 7, 2024 09:02 19m 13s
peepopt: Add formal opt to rewrite latches to ffs in clock gates Test extra build flows #6: Commit 9520e9b pushed by georgerennie
August 6, 2024 15:32 19m 21s peepopt_clock_gate
peepopt_clock_gate
August 6, 2024 15:32 19m 21s
smtbmc: Support skipping steps in cover mode Test extra build flows #5: Commit 40b387a pushed by georgerennie
July 3, 2024 21:13 15m 48s skip_cover
skip_cover
July 3, 2024 21:13 15m 48s
hashlib: Correct prime sequence Test extra build flows #4: Commit 339d4e8 pushed by georgerennie
July 2, 2024 07:10 15m 38s hashlib_primes
hashlib_primes
July 2, 2024 07:10 15m 38s
hashlib: Add some more primes Test extra build flows #3: Commit 78ae4ed pushed by georgerennie
July 1, 2024 11:38 15m 53s hashlib_primes
hashlib_primes
July 1, 2024 11:38 15m 53s