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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

opt_merge: hashing performance and correctness Build and run tests with Verific (Linux) #1753: Pull request #4677 synchronize by widlarizer
January 9, 2025 14:59 19s emil/opt_merge-hashing
emil/opt_merge-hashing
January 9, 2025 14:59 19s
opt_merge: switch to unordered_set Build and run tests with Verific (Linux) #1752: Commit 94a06b8 pushed by widlarizer
January 9, 2025 14:59 42s emil/opt_merge-hashing
emil/opt_merge-hashing
January 9, 2025 14:59 42s
Memory-efficient zlib usage across Liberty file consumers Build and run tests with Verific (Linux) #1751: Pull request #4834 synchronize by widlarizer
January 9, 2025 13:19 1m 3s emil/gzip-refactor
emil/gzip-refactor
January 9, 2025 13:19 1m 3s
fixup! io: smooth out non-POSIX function usage across platforms Build and run tests with Verific (Linux) #1750: Commit 93c6d2d pushed by widlarizer
January 9, 2025 13:19 3m 52s emil/gzip-refactor
emil/gzip-refactor
January 9, 2025 13:19 3m 52s
Memory-efficient zlib usage across Liberty file consumers Build and run tests with Verific (Linux) #1749: Pull request #4834 synchronize by widlarizer
January 9, 2025 12:41 21s emil/gzip-refactor
emil/gzip-refactor
January 9, 2025 12:41 21s
fixup! io: smooth out non-POSIX function usage across platforms Build and run tests with Verific (Linux) #1748: Commit 99b6ae3 pushed by widlarizer
January 9, 2025 12:41 6m 58s emil/gzip-refactor
emil/gzip-refactor
January 9, 2025 12:41 6m 58s
Memory-efficient zlib usage across Liberty file consumers Build and run tests with Verific (Linux) #1747: Pull request #4834 synchronize by widlarizer
January 9, 2025 12:39 14s emil/gzip-refactor
emil/gzip-refactor
January 9, 2025 12:39 14s
gzip: uphold rules for basic_streambuf::underflow overrides Build and run tests with Verific (Linux) #1746: Commit ee5043f pushed by widlarizer
January 9, 2025 12:38 2m 50s emil/gzip-refactor
emil/gzip-refactor
January 9, 2025 12:38 2m 50s
Experiment with partitioning for abc Build and run tests with Verific (Linux) #1745: Pull request #4838 synchronize by povik
January 8, 2025 20:17 5m 25s povik:try-partition
povik:try-partition
January 8, 2025 20:17 5m 25s
Experiment with partitioning for abc Build and run tests with Verific (Linux) #1744: Pull request #4838 opened by povik
January 8, 2025 19:55 5m 31s povik:try-partition
povik:try-partition
January 8, 2025 19:55 5m 31s
write_json: add option to include $scopeinfo cells Build and run tests with Verific (Linux) #1743: Pull request #4837 synchronize by nakengelhardt
January 8, 2025 14:36 20s json_scopinfo_opt
json_scopinfo_opt
January 8, 2025 14:36 20s
emit $scopeinfo cells by default Build and run tests with Verific (Linux) #1742: Commit 77b2844 pushed by nakengelhardt
January 8, 2025 14:36 3m 56s json_scopinfo_opt
json_scopinfo_opt
January 8, 2025 14:36 3m 56s
Merge pull request #4817 from povik/macc_v2-1 Build and run tests with Verific (Linux) #1741: Commit ca0ace6 pushed by povik
January 8, 2025 13:42 8m 26s main
main
January 8, 2025 13:42 8m 26s
write_json: add option to include $scopeinfo cells Build and run tests with Verific (Linux) #1740: Pull request #4837 opened by nakengelhardt
January 8, 2025 13:16 17s json_scopinfo_opt
json_scopinfo_opt
January 8, 2025 13:16 17s
write_json: add option to include $scopeinfo cells Build and run tests with Verific (Linux) #1739: Commit dab7905 pushed by nakengelhardt
January 8, 2025 12:34 4m 0s json_scopinfo_opt
json_scopinfo_opt
January 8, 2025 12:34 4m 0s
Merge pull request #4836 from YosysHQ/emil/share-fix-log Build and run tests with Verific (Linux) #1738: Commit 366e3f2 pushed by povik
January 8, 2025 12:14 12m 35s main
main
January 8, 2025 12:14 12m 35s
write_json: add option to include cells Build and run tests with Verific (Linux) #1737: Commit 72c3ade pushed by nakengelhardt
January 8, 2025 12:04 7m 53s json_scopinfo_opt
json_scopinfo_opt
January 8, 2025 12:04 7m 53s
macc: Stop using the B port Build and run tests with Verific (Linux) #1736: Pull request #4817 synchronize by widlarizer
January 8, 2025 12:03 4m 20s povik:macc_v2-1
povik:macc_v2-1
January 8, 2025 12:03 4m 20s
share: fix misleading 0 cells log message Build and run tests with Verific (Linux) #1735: Pull request #4836 opened by widlarizer
January 7, 2025 18:29 17s emil/share-fix-log
emil/share-fix-log
January 7, 2025 18:29 17s
share: fix misleading log message Build and run tests with Verific (Linux) #1734: Commit 1836a57 pushed by widlarizer
January 7, 2025 18:25 5m 41s emil/share-fix-log
emil/share-fix-log
January 7, 2025 18:25 5m 41s
Docs: Remove unused write_cell_rst function Build and run tests with Verific (Linux) #1733: Commit 133232f pushed by KrystalDelusion
January 6, 2025 22:17 4m 12s docs-preview-cmdref_groups
docs-preview-cmdref_groups
January 6, 2025 22:17 4m 12s
Merge pull request #4833 from YosysHQ/docs-preview-norestructure Build and run tests with Verific (Linux) #1732: Commit ad698f4 pushed by nakengelhardt
January 6, 2025 15:38 15s main
main
January 6, 2025 15:38 15s
Merge pull request #4819 from povik/wreduce-resign Build and run tests with Verific (Linux) #1731: Commit 41e4aa8 pushed by povik
January 6, 2025 14:27 9m 59s main
main
January 6, 2025 14:27 9m 59s
Memory-efficient zlib usage across Liberty file consumers Build and run tests with Verific (Linux) #1730: Pull request #4834 opened by widlarizer
January 6, 2025 10:38 17s emil/gzip-refactor
emil/gzip-refactor
January 6, 2025 10:38 17s
smtr: Fix help text Build and run tests with Verific (Linux) #1729: Commit 7698dfb pushed by KrystalDelusion
January 6, 2025 01:31 4m 5s docs-preview-functional_tutorial
docs-preview-functional_tutorial
January 6, 2025 01:31 4m 5s