Skip to content

Actions: georgerennie/yosys

Actions

Build and run tests with Verific (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

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