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
898 workflow run results
898 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Represent string constants as strings Build and run tests with Verific (Linux) #908: Pull request #4516 synchronize by widlarizer
September 3, 2024 15:47 20s emil/src-attribute-std-string-wip
emil/src-attribute-std-string-wip
September 3, 2024 15:47 20s
rtlil: Const::bits() always mutates Build and run tests with Verific (Linux) #907: Commit 8f13714 pushed by widlarizer
September 3, 2024 15:47 12m 9s emil/src-attribute-std-string-wip
emil/src-attribute-std-string-wip
September 3, 2024 15:47 12m 9s
Functional Backend Build and run tests with Verific (Linux) #906: Pull request #4536 synchronize by aiju
September 3, 2024 13:31 19s functional
functional
September 3, 2024 13:31 19s
functional_ir.rst: fix typo, document SExprWriter::flush Build and run tests with Verific (Linux) #905: Commit 7de8be1 pushed by aiju
September 3, 2024 13:31 12m 46s functional
functional
September 3, 2024 13:31 12m 46s
Functional Backend Build and run tests with Verific (Linux) #904: Pull request #4536 synchronize by aiju
September 3, 2024 13:22 17s functional
functional
September 3, 2024 13:22 17s
fix rst formatting in functional_ir.rst Build and run tests with Verific (Linux) #903: Commit 75ed6d3 pushed by aiju
September 3, 2024 13:22 9m 37s functional
functional
September 3, 2024 13:22 9m 37s
Neater hashing interface Build and run tests with Verific (Linux) #902: Pull request #4524 synchronize by widlarizer
September 3, 2024 11:31 11m 32s emil/hashlib-interface
emil/hashlib-interface
September 3, 2024 11:31 11m 32s
hashlib: hasher only does ints, gcc compat Build and run tests with Verific (Linux) #901: Commit c3c3a7e pushed by widlarizer
September 3, 2024 11:31 27m 43s emil/hashlib-interface
emil/hashlib-interface
September 3, 2024 11:31 27m 43s
Break tests with a small hash function perturbation Build and run tests with Verific (Linux) #900: Pull request #4559 synchronize by widlarizer
September 3, 2024 11:31 22s emil/prove-hash-sensitivity
emil/prove-hash-sensitivity
September 3, 2024 11:31 22s
hashlib: shake it up Build and run tests with Verific (Linux) #899: Commit 7679f15 pushed by widlarizer
September 3, 2024 11:31 13m 28s emil/prove-hash-sensitivity
emil/prove-hash-sensitivity
September 3, 2024 11:31 13m 28s
Represent string constants as strings Build and run tests with Verific (Linux) #898: Pull request #4516 synchronize by widlarizer
September 3, 2024 11:29 16s emil/src-attribute-std-string-wip
emil/src-attribute-std-string-wip
September 3, 2024 11:29 16s
rtlil: Const::bits() always mutates Build and run tests with Verific (Linux) #897: Commit b77843e pushed by widlarizer
September 3, 2024 11:29 13m 48s emil/src-attribute-std-string-wip
emil/src-attribute-std-string-wip
September 3, 2024 11:29 13m 48s
Next dev cycle Build and run tests with Verific (Linux) #896: Commit 0744fac pushed by mmicko
September 3, 2024 10:39 15m 2s main
main
September 3, 2024 10:39 15m 2s