Skip to content

Actions: YosysHQ/yosys

Actions

Build and run tests with Verific (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-verific.yml
992 workflow run results
992 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #4495 from povik/check-avert-costly-detail Build and run tests with Verific (Linux) #1016: Commit 8e1e2b9 pushed by nakengelhardt
September 23, 2024 13:19 17m 54s main
main
September 23, 2024 13:19 17m 54s
rtlil: add Const::compress helper function Build and run tests with Verific (Linux) #1015: Pull request #4608 synchronize by phsauter
September 23, 2024 11:57 13m 53s phsauter:rtlil-const-compress
phsauter:rtlil-const-compress
September 23, 2024 11:57 13m 53s
rtlil: add Const::compress helper function Build and run tests with Verific (Linux) #1014: Pull request #4608 synchronize by phsauter
September 20, 2024 12:03 19h 38m 18s phsauter:rtlil-const-compress
phsauter:rtlil-const-compress
September 20, 2024 12:03 19h 38m 18s
rtlil: add Const::compress helper function Build and run tests with Verific (Linux) #1013: Pull request #4608 opened by phsauter
September 19, 2024 17:04 13m 46s phsauter:rtlil-const-compress
phsauter:rtlil-const-compress
September 19, 2024 17:04 13m 46s
ABC full custom flow Build and run tests with Verific (Linux) #1012: Pull request #4592 synchronize by phsauter
September 19, 2024 16:07 13m 25s phsauter:abc-custom-flow
phsauter:abc-custom-flow
September 19, 2024 16:07 13m 25s
Neater hashing interface Build and run tests with Verific (Linux) #1011: Pull request #4524 synchronize by widlarizer
September 19, 2024 12:17 17s emil/hashlib-interface
emil/hashlib-interface
September 19, 2024 12:17 17s
hashlib: golf Build and run tests with Verific (Linux) #1010: Commit fcbf0d3 pushed by widlarizer
September 19, 2024 12:17 17m 43s emil/hashlib-interface
emil/hashlib-interface
September 19, 2024 12:17 17m 43s
quicklogic: Avoid carry chains in division mapping Build and run tests with Verific (Linux) #1009: Pull request #4607 opened by povik
September 19, 2024 10:20 13m 13s povik:ql-nodiv
povik:ql-nodiv
September 19, 2024 10:20 13m 13s
Add support for unpacked structs Build and run tests with Verific (Linux) #1008: Pull request #4180 synchronize by daglem
September 18, 2024 21:12 9h 2m 6s daglem:unpacked-structs
daglem:unpacked-structs
September 18, 2024 21:12 9h 2m 6s
Added nordshift attribute Build and run tests with Verific (Linux) #1007: Pull request #3877 synchronize by daglem
September 18, 2024 20:27 9h 54m 57s daglem:nordshift
daglem:nordshift
September 18, 2024 20:27 9h 54m 57s
New aiger backend Build and run tests with Verific (Linux) #1006: Pull request #4593 synchronize by povik
September 18, 2024 14:59 15h 13m 8s povik:aiger2
povik:aiger2
September 18, 2024 14:59 15h 13m 8s
read_liberty: Optionally import unit delay arcs Build and run tests with Verific (Linux) #1005: Pull request #4605 opened by povik
September 18, 2024 14:28 15h 42m 13s povik:liberty-unit-delay
povik:liberty-unit-delay
September 18, 2024 14:28 15h 42m 13s
driver: document -B Build and run tests with Verific (Linux) #1004: Pull request #4603 opened by widlarizer
September 18, 2024 09:51 15s emil/document-perffile
emil/document-perffile
September 18, 2024 09:51 15s
driver: document -B Build and run tests with Verific (Linux) #1003: Commit d8ba30f pushed by widlarizer
September 18, 2024 09:50 20h 15m 52s emil/document-perffile
emil/document-perffile
September 18, 2024 09:50 20h 15m 52s
Update submod.cc with -noclean mode Build and run tests with Verific (Linux) #1002: Pull request #4517 synchronize by akashlevy
September 17, 2024 22:58 1d 3h 50m 9s akashlevy:main
akashlevy:main
September 17, 2024 22:58 1d 3h 50m 9s
New aiger backend Build and run tests with Verific (Linux) #1001: Pull request #4593 synchronize by povik
September 17, 2024 11:56 13m 12s povik:aiger2
povik:aiger2
September 17, 2024 11:56 13m 12s
Merge pull request #3967 from YosysHQ/claire/bufnorm Build and run tests with Verific (Linux) #1000: Commit a553b7c pushed by povik
September 17, 2024 09:27 15s main
main
September 17, 2024 09:27 15s
Add "buffered-normalized mode", add $buf cell type, and add "bufnorm" command Build and run tests with Verific (Linux) #999: Pull request #3967 synchronize by povik
September 17, 2024 08:46 24s claire/bufnorm
claire/bufnorm
September 17, 2024 08:46 24s
simlib: Add $buf disclaimer Build and run tests with Verific (Linux) #998: Commit eeffca9 pushed by povik
September 17, 2024 08:46 13m 23s claire/bufnorm
claire/bufnorm
September 17, 2024 08:46 13m 23s
Merge pull request #4594 from yrabbit/cpu-wip Build and run tests with Verific (Linux) #997: Commit f8ad371 pushed by widlarizer
September 16, 2024 13:41 16m 49s main
main
September 16, 2024 13:41 16m 49s
Merge pull request #4583 from YosysHQ/emil/clock_gate Build and run tests with Verific (Linux) #996: Commit 52382c6 pushed by widlarizer
September 16, 2024 13:41 29s main
main
September 16, 2024 13:41 29s
Add "buffered-normalized mode", add $buf cell type, and add "bufnorm" command Build and run tests with Verific (Linux) #995: Pull request #3967 synchronize by povik
September 16, 2024 12:43 14m 6s claire/bufnorm
claire/bufnorm
September 16, 2024 12:43 14m 6s
clockgate: centralize clock enables out of FFs Build and run tests with Verific (Linux) #994: Pull request #4583 synchronize by widlarizer
September 16, 2024 12:20 15s emil/clock_gate
emil/clock_gate
September 16, 2024 12:20 15s
clockgate: help string Build and run tests with Verific (Linux) #993: Commit f193bcf pushed by widlarizer
September 16, 2024 12:20 11m 37s emil/clock_gate
emil/clock_gate
September 16, 2024 12:20 11m 37s
clockgate: centralize clock enables out of FFs Build and run tests with Verific (Linux) #992: Pull request #4583 synchronize by widlarizer
September 16, 2024 11:55 19s emil/clock_gate
emil/clock_gate
September 16, 2024 11:55 19s