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,011 workflow run results
1,011 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

clock_gate: prototype with demo Build and run tests with Verific (Linux) #933: Commit 33ac046 pushed by widlarizer
September 5, 2024 14:48 18s emil/clock_gate
emil/clock_gate
September 5, 2024 14:48 18s
clock_gate: prototype with demo Build and run tests with Verific (Linux) #932: Commit 8c5d2f7 pushed by widlarizer
September 5, 2024 14:47 3m 46s emil/clock_gate
emil/clock_gate
September 5, 2024 14:47 3m 46s
clock_gate: prototype with demo Build and run tests with Verific (Linux) #931: Commit b6bcbe0 pushed by widlarizer
September 5, 2024 14:40 7m 37s emil/clock_gate
emil/clock_gate
September 5, 2024 14:40 7m 37s
Merge pull request #4582 from YosysHQ/emil/internal_stats-help-string Build and run tests with Verific (Linux) #930: Commit 3b8f3c2 pushed by povik
September 5, 2024 13:37 15m 19s main
main
September 5, 2024 13:37 15m 19s
Merge pull request #4576 from povik/xaiger-drop-bswap Build and run tests with Verific (Linux) #929: Commit 7e65b83 pushed by povik
September 5, 2024 13:36 1m 10s main
main
September 5, 2024 13:36 1m 10s
Merge pull request #4581 from YosysHQ/emil/ff-clk-comment Build and run tests with Verific (Linux) #928: Commit 73a2d35 pushed by povik
September 5, 2024 10:34 17m 43s main
main
September 5, 2024 10:34 17m 43s
internal_stats: fix doc build by adding a help string Build and run tests with Verific (Linux) #927: Pull request #4582 opened by widlarizer
September 5, 2024 09:22 7m 8s emil/internal_stats-help-string
emil/internal_stats-help-string
September 5, 2024 09:22 7m 8s
internal_stats: fix doc build by adding a help string Build and run tests with Verific (Linux) #926: Commit 14b9155 pushed by widlarizer
September 5, 2024 09:22 13m 32s emil/internal_stats-help-string
emil/internal_stats-help-string
September 5, 2024 09:22 13m 32s
ff: improve comments Build and run tests with Verific (Linux) #925: Pull request #4581 opened by widlarizer
September 5, 2024 09:20 13s emil/ff-clk-comment
emil/ff-clk-comment
September 5, 2024 09:20 13s
ff: improve comments Build and run tests with Verific (Linux) #924: Commit bd6f7bb pushed by widlarizer
September 5, 2024 09:17 13m 33s emil/ff-clk-comment
emil/ff-clk-comment
September 5, 2024 09:17 13m 33s
Update krys/help_docs to 0.45 Build and run tests with Verific (Linux) #923: Commit 927bc3f pushed by KrystalDelusion
September 5, 2024 03:57 13m 53s docs-preview-cellhelp
docs-preview-cellhelp
September 5, 2024 03:57 13m 53s
Docs: Use Read the Docs SPHINXOPTS Build and run tests with Verific (Linux) #922: Commit 17ee367 pushed by KrystalDelusion
September 5, 2024 03:47 18m 35s main
main
September 5, 2024 03:47 18m 35s
Update krys/help_docs to 0.45+3 Build and run tests with Verific (Linux) #921: Commit 8f62256 pushed by KrystalDelusion
September 5, 2024 03:34 13m 36s docs-preview-cellhelp
docs-preview-cellhelp
September 5, 2024 03:34 13m 36s
Functional Backend Build and run tests with Verific (Linux) #920: Pull request #4536 synchronize by KrystalDelusion
September 4, 2024 23:51 15s functional
functional
September 4, 2024 23:51 15s
Makefile: Update coverage_functional Build and run tests with Verific (Linux) #919: Commit 21494d1 pushed by KrystalDelusion
September 4, 2024 23:51 14m 28s functional
functional
September 4, 2024 23:51 14m 28s
wip Build and run tests with Verific (Linux) #918: Commit 33e06df pushed by widlarizer
September 4, 2024 21:55 11m 59s emil/clock_gate
emil/clock_gate
September 4, 2024 21:55 11m 59s
Functional Backend Build and run tests with Verific (Linux) #917: Pull request #4536 synchronize by aiju
September 4, 2024 09:30 20s functional
functional
September 4, 2024 09:30 20s
functional tests: run from make tests but not smtlib/rkt tests Build and run tests with Verific (Linux) #916: Commit 5a476a8 pushed by aiju
September 4, 2024 09:30 14m 15s functional
functional
September 4, 2024 09:30 14m 15s
Merge pull request #4554 from YosysHQ/emil/devstat Build and run tests with Verific (Linux) #915: Commit 68fbca8 pushed by povik
September 3, 2024 19:06 14m 46s main
main
September 3, 2024 19:06 14m 46s
internal_stats: init, report current memory consumption on linux and mac Build and run tests with Verific (Linux) #914: Pull request #4554 synchronize by widlarizer
September 3, 2024 17:28 28s emil/devstat
emil/devstat
September 3, 2024 17:28 28s
internal_stats: init, report current memory consumption on linux and mac Build and run tests with Verific (Linux) #913: Commit 0ce7631 pushed by widlarizer
September 3, 2024 17:28 12m 3s emil/devstat
emil/devstat
September 3, 2024 17:28 12m 3s
internal_stats: init, report current memory consumption on linux and mac Build and run tests with Verific (Linux) #912: Pull request #4554 synchronize by widlarizer
September 3, 2024 17:28 25s emil/devstat
emil/devstat
September 3, 2024 17:28 25s
internal_stats: init, report current memory consumption on linux and mac Build and run tests with Verific (Linux) #911: Commit 6f8030e pushed by widlarizer
September 3, 2024 17:28 34s emil/devstat
emil/devstat
September 3, 2024 17:28 34s
internal_stats: init, report current memory consumption on linux and mac Build and run tests with Verific (Linux) #910: Pull request #4554 synchronize by widlarizer
September 3, 2024 17:27 17s emil/devstat
emil/devstat
September 3, 2024 17:27 17s
internal_stats: init, report current memory consumption on linux and mac Build and run tests with Verific (Linux) #909: Commit a165267 pushed by widlarizer
September 3, 2024 17:25 3m 16s emil/devstat
emil/devstat
September 3, 2024 17:25 3m 16s