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

tests: fix dfflibmap test - false negative conflict multiple -liberty… Build and run tests with Verific (Linux) #1645: Commit 55dcf0e pushed by widlarizer
December 10, 2024 14:48 7m 33s emil/fix-dfflibmap-test
emil/fix-dfflibmap-test
December 10, 2024 14:48 7m 33s
wrapcell: Optionally track unused outputs Build and run tests with Verific (Linux) #1644: Pull request #4799 synchronize by povik
December 10, 2024 14:13 1m 32s povik:wrapcell-unused
povik:wrapcell-unused
December 10, 2024 14:13 1m 32s
Support abc9_box on ordinary modules in abc_new Build and run tests with Verific (Linux) #1643: Pull request #4737 synchronize by povik
December 10, 2024 13:32 3m 45s povik:abc_new-design-boxes
povik:abc_new-design-boxes
December 10, 2024 13:32 3m 45s
kernel: Remove global tcl.h include Build and run tests with Verific (Linux) #1642: Pull request #4809 opened by povik
December 10, 2024 12:51 1m 58s povik:rm-global-tcl-h
povik:rm-global-tcl-h
December 10, 2024 12:51 1m 58s
Merge pull request #4807 from YosysHQ/emil/dfflibmap-test-dffe Build and run tests with Verific (Linux) #1641: Commit 87736a2 pushed by widlarizer
December 10, 2024 11:41 3m 15s main
main
December 10, 2024 11:41 3m 15s
Merge pull request #4678 from povik/tcl-rtlil-api Build and run tests with Verific (Linux) #1640: Commit b0708a3 pushed by povik
December 9, 2024 14:45 19m 11s main
main
December 9, 2024 14:45 19m 11s
read_liberty: Revisit for abc9 whiteboxes Build and run tests with Verific (Linux) #1639: Pull request #4804 synchronize by povik
December 9, 2024 14:44 9m 32s povik:read_liberty-comb-cells
povik:read_liberty-comb-cells
December 9, 2024 14:44 9m 32s
wrapcell: Optionally track unused outputs Build and run tests with Verific (Linux) #1638: Pull request #4799 synchronize by povik
December 9, 2024 14:40 7m 24s povik:wrapcell-unused
povik:wrapcell-unused
December 9, 2024 14:40 7m 24s
Merge pull request #4806 from YosysHQ/micko/verific_blackbox Build and run tests with Verific (Linux) #1637: Commit d0f239a pushed by mmicko
December 9, 2024 14:13 11m 32s main
main
December 9, 2024 14:13 11m 32s
Merge pull request #4800 from povik/portarcs-fix Build and run tests with Verific (Linux) #1636: Commit 481162b pushed by povik
December 9, 2024 14:13 53s main
main
December 9, 2024 14:13 53s
dfflibmap: cover enable inference with test Build and run tests with Verific (Linux) #1635: Pull request #4807 opened by widlarizer
December 9, 2024 13:19 13s emil/dfflibmap-test-dffe
emil/dfflibmap-test-dffe
December 9, 2024 13:19 13s
dfflibmap: cover enable inference with test Build and run tests with Verific (Linux) #1634: Commit 681b678 pushed by widlarizer
December 9, 2024 13:18 7m 6s emil/dfflibmap-test-dffe
emil/dfflibmap-test-dffe
December 9, 2024 13:18 7m 6s
dfflibmap: reproduce dffe test oddity Build and run tests with Verific (Linux) #1633: Commit 1f125a5 pushed by widlarizer
December 9, 2024 12:50 3m 38s emil/repro-test-dffe-dfflibmap
emil/repro-test-dffe-dfflibmap
December 9, 2024 12:50 3m 38s
Merge pull request #4771 from pepijndevos/famxtra Build and run tests with Verific (Linux) #1632: Commit f4ddbc3 pushed by mmicko
December 8, 2024 18:46 11m 18s main
main
December 8, 2024 18:46 11m 18s
verific: Disable module existence check during static elaboration Build and run tests with Verific (Linux) #1631: Pull request #4806 opened by mmicko
December 6, 2024 15:58 18s micko/verific_blackbox
micko/verific_blackbox
December 6, 2024 15:58 18s
Add verific verilog test cases for blackboxes Build and run tests with Verific (Linux) #1630: Commit 0539888 pushed by mmicko
December 6, 2024 15:13 8m 12s micko/verific_blackbox
micko/verific_blackbox
December 6, 2024 15:13 8m 12s
verific: Disable module existence check during static elaboration Build and run tests with Verific (Linux) #1629: Commit 7d4aff6 pushed by mmicko
December 6, 2024 14:59 8m 33s micko/verific_blackbox
micko/verific_blackbox
December 6, 2024 14:59 8m 33s
verific: Disable module existence check during static elaboration Build and run tests with Verific (Linux) #1628: Commit 2b87822 pushed by mmicko
December 6, 2024 14:57 2m 46s micko/verific_blackbox
micko/verific_blackbox
December 6, 2024 14:57 2m 46s
Disable VERI-1063 during static elaboration Build and run tests with Verific (Linux) #1627: Commit 03a8341 pushed by mmicko
December 6, 2024 14:39 7m 15s micko/verific_blackbox
micko/verific_blackbox
December 6, 2024 14:39 7m 15s
Merge pull request #4778 from YosysHQ/setenv_pass Build and run tests with Verific (Linux) #1626: Commit 2ca611b pushed by mmicko
December 6, 2024 10:55 11m 56s main
main
December 6, 2024 10:55 11m 56s
Merge pull request #4805 from YosysHQ/hash_scopeindex Build and run tests with Verific (Linux) #1625: Commit 4a755f5 pushed by mmicko
December 6, 2024 10:48 16s main
main
December 6, 2024 10:48 16s
add setenv pass Build and run tests with Verific (Linux) #1624: Pull request #4778 synchronize by nakengelhardt
December 6, 2024 10:27 14s setenv_pass
setenv_pass
December 6, 2024 10:27 14s
handle quotes and check return value Build and run tests with Verific (Linux) #1623: Commit 8557455 pushed by nakengelhardt
December 6, 2024 10:27 8m 25s setenv_pass
setenv_pass
December 6, 2024 10:27 8m 25s
add hash method to scopeindex cursor Build and run tests with Verific (Linux) #1622: Pull request #4805 opened by nakengelhardt
December 6, 2024 10:19 15s hash_scopeindex
hash_scopeindex
December 6, 2024 10:19 15s
add hash method to scopeindex cursor Build and run tests with Verific (Linux) #1621: Commit 2a744b4 pushed by nakengelhardt
December 6, 2024 10:18 7m 18s hash_scopeindex
hash_scopeindex
December 6, 2024 10:18 7m 18s