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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Makefile: add YOSYS_VER and friends to CXXFLAGS for plugin compat che… Build and run tests with Verific (Linux) #1461: Commit 9142bb2 pushed by widlarizer
November 19, 2024 18:40 13m 46s emil/yosys-config-version
emil/yosys-config-version
November 19, 2024 18:40 13m 46s
Makefile: add YOSYS_VER to CXXFLAGS as plugin interface compat fallback Build and run tests with Verific (Linux) #1460: Commit 37304d0 pushed by widlarizer
November 19, 2024 18:11 14m 57s emil/yosys-config-version
emil/yosys-config-version
November 19, 2024 18:11 14m 57s
Merge pull request #4719 from AdamLee7/main Build and run tests with Verific (Linux) #1459: Commit dcff8b0 pushed by KrystalDelusion
November 18, 2024 19:42 17m 46s main
main
November 18, 2024 19:42 17m 46s
clockgate: add -liberty Build and run tests with Verific (Linux) #1458: Pull request #4744 synchronize by widlarizer
November 18, 2024 17:32 23s emil/clockgate-liberty
emil/clockgate-liberty
November 18, 2024 17:32 23s
clockgate: reduce errors to warnings Build and run tests with Verific (Linux) #1457: Commit 4d96cbe pushed by widlarizer
November 18, 2024 17:32 14m 48s emil/clockgate-liberty
emil/clockgate-liberty
November 18, 2024 17:32 14m 48s
Merge pull request #4705 from YosysHQ/docs-preview-lintonly Build and run tests with Verific (Linux) #1456: Commit 22e214e pushed by KrystalDelusion
November 18, 2024 14:57 17m 43s main
main
November 18, 2024 14:57 17m 43s
Merge pull request #4723 from povik/memv2-nordports Build and run tests with Verific (Linux) #1455: Commit 270846a pushed by povik
November 18, 2024 14:44 12m 57s main
main
November 18, 2024 14:44 12m 57s
Merge pull request #4682 from povik/read_liberty-extensions Build and run tests with Verific (Linux) #1454: Commit 1cb5fd0 pushed by povik
November 18, 2024 13:42 18m 27s main
main
November 18, 2024 13:42 18m 27s
clockgate: add -liberty Build and run tests with Verific (Linux) #1453: Pull request #4744 synchronize by widlarizer
November 18, 2024 12:58 14s emil/clockgate-liberty
emil/clockgate-liberty
November 18, 2024 12:58 14s
clockgate: help string add -dont_use and -liberty Build and run tests with Verific (Linux) #1452: Commit 983c54c pushed by widlarizer
November 18, 2024 12:58 14m 0s emil/clockgate-liberty
emil/clockgate-liberty
November 18, 2024 12:58 14m 0s
clockgate: add -liberty Build and run tests with Verific (Linux) #1451: Pull request #4744 synchronize by widlarizer
November 18, 2024 12:45 18s emil/clockgate-liberty
emil/clockgate-liberty
November 18, 2024 12:45 18s
clockgate: add -dont_use Build and run tests with Verific (Linux) #1450: Commit a5bc36f pushed by widlarizer
November 18, 2024 12:45 13m 3s emil/clockgate-liberty
emil/clockgate-liberty
November 18, 2024 12:45 13m 3s
Merge pull request #4754 from akashlevy/editline-fixes Build and run tests with Verific (Linux) #1449: Commit bd40805 pushed by mmicko
November 18, 2024 08:20 16m 57s main
main
November 18, 2024 08:20 16m 57s
Fix editline Makefile Build and run tests with Verific (Linux) #1448: Pull request #4754 synchronize by akashlevy
November 18, 2024 07:23 13m 32s akashlevy:editline-fixes
akashlevy:editline-fixes
November 18, 2024 07:23 13m 32s
Merge pull request #4753 from akashlevy/write_verilog_port_dump_fix Build and run tests with Verific (Linux) #1447: Commit 020dd0a pushed by povik
November 17, 2024 22:42 13s main
main
November 17, 2024 22:42 13s
write_verilog: Fix O(N^2) port dumping to O(N) Build and run tests with Verific (Linux) #1446: Pull request #4753 synchronize by akashlevy
November 17, 2024 19:36 13m 35s akashlevy:write_verilog_port_dump_fix
akashlevy:write_verilog_port_dump_fix
November 17, 2024 19:36 13m 35s
Gowin: add GW2A and GW5A cells Build and run tests with Verific (Linux) #1445: Pull request #4755 opened by pepijndevos
November 17, 2024 19:31 14m 40s pepijndevos:cells_xtra
pepijndevos:cells_xtra
November 17, 2024 19:31 14m 40s
write_verilog: Fix O(N^2) port dumping to O(N) Build and run tests with Verific (Linux) #1443: Pull request #4753 synchronize by akashlevy
November 17, 2024 18:40 13m 36s akashlevy:write_verilog_port_dump_fix
akashlevy:write_verilog_port_dump_fix
November 17, 2024 18:40 13m 36s
Add muldiv_c and muxadd peepopts Build and run tests with Verific (Linux) #1442: Pull request #4740 synchronize by akashlevy
November 17, 2024 18:39 Action required akashlevy:new_peepopts
akashlevy:new_peepopts
November 17, 2024 18:39 Action required
Add muldiv_c and muxadd peepopts Build and run tests with Verific (Linux) #1441: Pull request #4740 synchronize by akashlevy
November 17, 2024 07:21 Action required akashlevy:new_peepopts
akashlevy:new_peepopts
November 17, 2024 07:21 Action required
Add muldiv_c and muxadd peepopts Build and run tests with Verific (Linux) #1440: Pull request #4740 synchronize by akashlevy
November 17, 2024 07:20 Action required akashlevy:new_peepopts
akashlevy:new_peepopts
November 17, 2024 07:20 Action required
write_verilog: Fix O(N^2) port dumping to O(N) Build and run tests with Verific (Linux) #1439: Pull request #4753 opened by akashlevy
November 17, 2024 07:12 13m 33s akashlevy:write_verilog_port_dump_fix
akashlevy:write_verilog_port_dump_fix
November 17, 2024 07:12 13m 33s
write_verilog: Lower $bwmux in expr mode Build and run tests with Verific (Linux) #1438: Pull request #4752 opened by povik
November 15, 2024 18:14 10m 55s povik:verilog-bwmux
povik:verilog-bwmux
November 15, 2024 18:14 10m 55s
Merge pull request #4746 from pu-cc/gatemate-mux-fix Build and run tests with Verific (Linux) #1437: Commit 9fa9a2b pushed by mmicko
November 15, 2024 15:30 15s main
main
November 15, 2024 15:30 15s
pyosys: dereference cpp objects when constructing a tuple Build and run tests with Verific (Linux) #1436: Pull request #4750 opened by georgerennie
November 15, 2024 14:20 14m 8s georgerennie:george/pyosys_dereference
georgerennie:george/pyosys_dereference
November 15, 2024 14:20 14m 8s