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
1,659 workflow runs
1,659 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

read_liberty: Revisit for abc9 whiteboxes Build and run tests with Verific (Linux) #1620: Pull request #4804 opened by povik
December 5, 2024 17:53 30m 9s povik:read_liberty-comb-cells
povik:read_liberty-comb-cells
December 5, 2024 17:53 30m 9s
write_verilog: Use assign for $buf Build and run tests with Verific (Linux) #1619: Pull request #4803 opened by povik
December 5, 2024 17:48 19m 53s povik:write_verilog-buf
povik:write_verilog-buf
December 5, 2024 17:48 19m 53s
Adjust abc9_ops -prep_box to allow repeated invocation Build and run tests with Verific (Linux) #1618: Pull request #4802 opened by povik
December 5, 2024 17:42 24m 31s povik:abc9-box-repeat
povik:abc9-box-repeat
December 5, 2024 17:42 24m 31s
Merge pull request #4801 from povik/aiger2-rm-print Build and run tests with Verific (Linux) #1617: Commit 4cdca66 pushed by povik
December 5, 2024 17:41 11m 54s main
main
December 5, 2024 17:41 11m 54s
read_xaiger2: Rm debug print Build and run tests with Verific (Linux) #1616: Pull request #4801 opened by povik
December 5, 2024 17:41 17m 47s povik:aiger2-rm-print
povik:aiger2-rm-print
December 5, 2024 17:41 17m 47s
Fix portarcs edge cases Build and run tests with Verific (Linux) #1615: Pull request #4800 opened by povik
December 5, 2024 17:40 10m 27s povik:portarcs-fix
povik:portarcs-fix
December 5, 2024 17:40 10m 27s
wrapcell: Optionally track unused outputs Build and run tests with Verific (Linux) #1614: Pull request #4799 opened by povik
December 5, 2024 17:39 7m 36s povik:wrapcell-unused
povik:wrapcell-unused
December 5, 2024 17:39 7m 36s
Start Tcl design inspection methods Build and run tests with Verific (Linux) #1613: Pull request #4678 synchronize by povik
December 5, 2024 12:37 8m 55s povik:tcl-rtlil-api
povik:tcl-rtlil-api
December 5, 2024 12:37 8m 55s
Merge pull request #4731 from YosysHQ/docs-preview-noguidelines Build and run tests with Verific (Linux) #1612: Commit 4418f92 pushed by KrystalDelusion
December 4, 2024 20:59 20s main
main
December 4, 2024 20:59 20s
Integrate guidelines folder into documentation Build and run tests with Verific (Linux) #1611: Pull request #4731 synchronize by KrystalDelusion
December 4, 2024 20:21 22s docs-preview-noguidelines
docs-preview-noguidelines
December 4, 2024 20:21 22s
Docs/installation: Drop resolved todos Build and run tests with Verific (Linux) #1610: Commit 40af327 pushed by KrystalDelusion
December 4, 2024 20:21 14m 37s docs-preview-noguidelines
docs-preview-noguidelines
December 4, 2024 20:21 14m 37s
Merge pull request #4794 from YosysHQ/krys/cygwin_compat Build and run tests with Verific (Linux) #1609: Commit c61b2bc pushed by KrystalDelusion
December 4, 2024 20:16 12m 19s main
main
December 4, 2024 20:16 12m 19s
Merge pull request #4784 from YosysHQ/krys/reduce_warnings Build and run tests with Verific (Linux) #1608: Commit c96d02b pushed by KrystalDelusion
December 4, 2024 20:16 24s main
main
December 4, 2024 20:16 24s
Merge pull request #4770 from YosysHQ/emil/autoidx-option Build and run tests with Verific (Linux) #1607: Commit d780864 pushed by widlarizer
December 4, 2024 15:43 11m 40s main
main
December 4, 2024 15:43 11m 40s
Merge pull request #4773 from povik/wrapcell Build and run tests with Verific (Linux) #1606: Commit 59a9647 pushed by povik
December 4, 2024 10:49 11m 50s main
main
December 4, 2024 10:49 11m 50s
Merge pull request #4787 from povik/booth-macc Build and run tests with Verific (Linux) #1605: Commit 14ee5ce pushed by povik
December 4, 2024 10:49 32s main
main
December 4, 2024 10:49 32s
Merge pull request #4797 from YosysHQ/emil/multiple-liberty Build and run tests with Verific (Linux) #1604: Commit 3b8e8ee pushed by widlarizer
December 4, 2024 10:18 10m 28s main
main
December 4, 2024 10:18 10m 28s
Merge pull request #4775 from povik/dont_map Build and run tests with Verific (Linux) #1603: Commit 384c191 pushed by povik
December 3, 2024 19:21 15m 41s main
main
December 3, 2024 19:21 15m 41s
techmap: Add -dont_map for selective disabling of rules Build and run tests with Verific (Linux) #1602: Pull request #4775 synchronize by povik
December 3, 2024 19:20 7m 9s povik:dont_map
povik:dont_map
December 3, 2024 19:20 7m 9s
Allow multiple -liberty args in dfflibmap and clockgate Build and run tests with Verific (Linux) #1601: Pull request #4797 opened by widlarizer
December 3, 2024 16:37 12s emil/multiple-liberty
emil/multiple-liberty
December 3, 2024 16:37 12s
libparse: add LibertyMergedCells, enable multiple -liberty args for d… Build and run tests with Verific (Linux) #1600: Commit 6edf9c8 pushed by widlarizer
December 3, 2024 16:36 8m 30s emil/multiple-liberty
emil/multiple-liberty
December 3, 2024 16:36 8m 30s
libparse: add LibertyMergedCells, enable multiple -liberty args for d… Build and run tests with Verific (Linux) #1599: Commit 45bd1d6 pushed by widlarizer
December 3, 2024 16:22 12m 45s emil/multiple-liberty
emil/multiple-liberty
December 3, 2024 16:22 12m 45s
Merge pull request #4783 from YosysHQ/emil/blockrom-driver-conflict Build and run tests with Verific (Linux) #1598: Commit 5233636 pushed by widlarizer
December 3, 2024 15:29 10m 41s main
main
December 3, 2024 15:29 10m 41s
qlf_k6n10f: leave unused clocks disconnected Build and run tests with Verific (Linux) #1597: Pull request #4796 opened by Ravenslofty
December 3, 2024 12:54 17s lofty/quicklogic-mem-clk
lofty/quicklogic-mem-clk
December 3, 2024 12:54 17s
qlf_k6n10f: leave unused clocks disconnected Build and run tests with Verific (Linux) #1596: Commit ebc6b97 pushed by Ravenslofty
December 3, 2024 12:52 13m 58s lofty/quicklogic-mem-clk
lofty/quicklogic-mem-clk
December 3, 2024 12:52 13m 58s