Skip to content

Actions: georgerennie/yosys

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
peepopt shiftadd: Only match for sufficiently small constant widths Build and run tests with Verific (Linux) #5: Commit 41aaaa1 pushed by georgerennie
June 12, 2024 13:39 18d 21h 55m 33s shiftadd_gating
shiftadd_gating
June 12, 2024 13:39 18d 21h 55m 33s
read_aiger: Fix incorrect read of binary Aiger without outputs WASI Build #4: Commit 4e6deb5 pushed by georgerennie
April 29, 2024 13:07 15m 42s aiger_parse_bug
aiger_parse_bug
April 29, 2024 13:07 15m 42s
read_aiger: Fix incorrect read of binary Aiger without outputs Build and run tests with Verific (Linux) #4: Commit 4e6deb5 pushed by georgerennie
April 29, 2024 13:07 1d 7h 11m 46s aiger_parse_bug
aiger_parse_bug
April 29, 2024 13:07 1d 7h 11m 46s
read_aiger: Fix incorrect read of binary Aiger without outputs Build and run tests (Linux) #19: Commit 4e6deb5 pushed by georgerennie
April 29, 2024 13:07 24m 48s aiger_parse_bug
aiger_parse_bug
April 29, 2024 13:07 24m 48s