Skip to content

Actions: georgerennie/yosys

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
575 workflow runs
575 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
clk2fflogic: run peepopt -formalclk before processing design Compiler testing #7: Commit a4f60de pushed by georgerennie
August 7, 2024 09:02 20m 17s peepopt_clock_gate
peepopt_clock_gate
August 7, 2024 09:02 20m 17s
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
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
peepopt: Add formal opt to rewrite latches to ffs in clock gates Compiler testing #6: Commit 9520e9b pushed by georgerennie
August 6, 2024 15:32 33m 3s peepopt_clock_gate
peepopt_clock_gate
August 6, 2024 15:32 33m 3s
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
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
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
smtbmc: Support skipping steps in cover mode Compiler testing #5: Commit 40b387a pushed by georgerennie
July 3, 2024 21:13 17m 52s skip_cover
skip_cover
July 3, 2024 21:13 17m 52s
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: Correct prime sequence Compiler testing #4: Commit 339d4e8 pushed by georgerennie
July 2, 2024 07:10 17m 8s hashlib_primes
hashlib_primes
July 2, 2024 07:10 17m 8s
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: 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 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
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
hashlib: Add some more primes Compiler testing #3: Commit 78ae4ed pushed by georgerennie
July 1, 2024 11:38 16m 55s hashlib_primes
hashlib_primes
July 1, 2024 11:38 16m 55s
hashlib: Add some more primes Build and run tests with Verific (Linux) #6: Commit 0880242 pushed by georgerennie
July 1, 2024 11:34 3m 46s hashlib_primes
hashlib_primes
July 1, 2024 11:34 3m 46s
hashlib: Add some more primes Test extra build flows #2: Commit 0880242 pushed by georgerennie
July 1, 2024 11:34 4m 4s hashlib_primes
hashlib_primes
July 1, 2024 11:34 4m 4s
hashlib: Add some more primes Compiler testing #2: Commit 0880242 pushed by georgerennie
July 1, 2024 11:34 4m 7s hashlib_primes
hashlib_primes
July 1, 2024 11:34 4m 7s
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
peepopt shiftadd: Only match for sufficiently small constant widths Test extra build flows #1: Commit 41aaaa1 pushed by georgerennie
June 12, 2024 13:39 15m 53s shiftadd_gating
shiftadd_gating
June 12, 2024 13:39 15m 53s
peepopt shiftadd: Only match for sufficiently small constant widths Compiler testing #1: Commit 41aaaa1 pushed by georgerennie
June 12, 2024 13:39 25m 33s shiftadd_gating
shiftadd_gating
June 12, 2024 13:39 25m 33s
ProTip! You can narrow down the results and go further in time using created:<2024-06-12 or the other filters available.