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

yw: fix unintensional recursion in hash_into Build and run tests with Verific (Linux) #1695: Commit a6bd8ff pushed by widlarizer
December 19, 2024 10:47 5m 34s emil/fix-witness-stack-overflow
emil/fix-witness-stack-overflow
December 19, 2024 10:47 5m 34s
yw: fix unintensional recursion in hash_into Build and run tests with Verific (Linux) #1694: Commit 9b47653 pushed by widlarizer
December 19, 2024 10:29 4m 10s emil/fix-witness-stack-overflow
emil/fix-witness-stack-overflow
December 19, 2024 10:29 4m 10s
Merge pull request #4814 from YosysHQ/emil/make-test-fasterer Build and run tests with Verific (Linux) #1693: Commit 6ab5be4 pushed by widlarizer
December 18, 2024 18:02 5m 41s main
main
December 18, 2024 18:02 5m 41s
Merge pull request #4524 from YosysHQ/emil/hashlib-interface Build and run tests with Verific (Linux) #1692: Commit f6e435f pushed by widlarizer
December 18, 2024 17:50 16s main
main
December 18, 2024 17:50 16s
Add muldiv_c and muxadd peepopts Build and run tests with Verific (Linux) #1691: Pull request #4740 synchronize by akashlevy
December 18, 2024 17:17 2m 50s akashlevy:new_peepopts
akashlevy:new_peepopts
December 18, 2024 17:17 2m 50s
Neater hashing interface Build and run tests with Verific (Linux) #1690: Pull request #4524 synchronize by widlarizer
December 18, 2024 14:09 19s emil/hashlib-interface
emil/hashlib-interface
December 18, 2024 14:09 19s
hashlib: fixes from jix Build and run tests with Verific (Linux) #1689: Commit 026e9da pushed by widlarizer
December 18, 2024 14:09 12m 41s emil/hashlib-interface
emil/hashlib-interface
December 18, 2024 14:09 12m 41s
Add muldiv_c and muxadd peepopts Build and run tests with Verific (Linux) #1688: Pull request #4740 synchronize by widlarizer
December 18, 2024 13:40 4m 4s akashlevy:new_peepopts
akashlevy:new_peepopts
December 18, 2024 13:40 4m 4s
Add splitfanout pass Build and run tests with Verific (Linux) #1687: Pull request #4741 synchronize by widlarizer
December 18, 2024 10:34 9m 7s akashlevy:splitfanout
akashlevy:splitfanout
December 18, 2024 10:34 9m 7s
Add splitfanout pass Build and run tests with Verific (Linux) #1686: Pull request #4741 synchronize by widlarizer
December 18, 2024 10:32 8m 45s akashlevy:splitfanout
akashlevy:splitfanout
December 18, 2024 10:32 8m 45s
Add muldiv_c and muxadd peepopts Build and run tests with Verific (Linux) #1685: Pull request #4740 synchronize by akashlevy
December 18, 2024 01:05 4m 7s akashlevy:new_peepopts
akashlevy:new_peepopts
December 18, 2024 01:05 4m 7s
Add muldiv_c and muxadd peepopts Build and run tests with Verific (Linux) #1684: Pull request #4740 synchronize by akashlevy
December 17, 2024 23:50 13m 25s akashlevy:new_peepopts
akashlevy:new_peepopts
December 17, 2024 23:50 13m 25s
Add muldiv_c and muxadd peepopts Build and run tests with Verific (Linux) #1683: Pull request #4740 synchronize by akashlevy
December 17, 2024 23:50 3m 1s akashlevy:new_peepopts
akashlevy:new_peepopts
December 17, 2024 23:50 3m 1s
Add muldiv_c and muxadd peepopts Build and run tests with Verific (Linux) #1682: Pull request #4740 synchronize by akashlevy
December 17, 2024 23:47 2m 51s akashlevy:new_peepopts
akashlevy:new_peepopts
December 17, 2024 23:47 2m 51s
Add muldiv_c and muxadd peepopts Build and run tests with Verific (Linux) #1681: Pull request #4740 synchronize by povik
December 17, 2024 14:12 1m 2s akashlevy:new_peepopts
akashlevy:new_peepopts
December 17, 2024 14:12 1m 2s
Add muldiv_c and muxadd peepopts Build and run tests with Verific (Linux) #1680: Pull request #4740 synchronize by akashlevy
December 17, 2024 12:19 39s akashlevy:new_peepopts
akashlevy:new_peepopts
December 17, 2024 12:19 39s
Add muldiv_c and muxadd peepopts Build and run tests with Verific (Linux) #1679: Pull request #4740 synchronize by akashlevy
December 17, 2024 12:18 1m 11s akashlevy:new_peepopts
akashlevy:new_peepopts
December 17, 2024 12:18 1m 11s
Merge pull request #4813 from YosysHQ/micko/mxe_removal Build and run tests with Verific (Linux) #1678: Commit 7a362f1 pushed by nakengelhardt
December 16, 2024 14:29 11m 43s main
main
December 16, 2024 14:29 11m 43s
wreduce: Optimize signedness when possible Build and run tests with Verific (Linux) #1677: Pull request #4819 opened by povik
December 16, 2024 12:05 8m 17s povik:wreduce-resign
povik:wreduce-resign
December 16, 2024 12:05 8m 17s
Add $macc_v2 Build and run tests with Verific (Linux) #1676: Pull request #4818 opened by povik
December 13, 2024 18:16 2m 32s povik:macc_v2
povik:macc_v2
December 13, 2024 18:16 2m 32s
macc: Stop using the B port Build and run tests with Verific (Linux) #1675: Pull request #4817 opened by povik
December 13, 2024 17:12 7m 18s povik:macc_v2-1
povik:macc_v2-1
December 13, 2024 17:12 7m 18s
test: every test everywhere all at once Build and run tests with Verific (Linux) #1674: Pull request #4814 synchronize by widlarizer
December 13, 2024 09:24 24s emil/make-test-fasterer
emil/make-test-fasterer
December 13, 2024 09:24 24s
test: restore verific handling, nicer naming Build and run tests with Verific (Linux) #1673: Commit 6240aec pushed by widlarizer
December 13, 2024 09:24 4m 7s emil/make-test-fasterer
emil/make-test-fasterer
December 13, 2024 09:24 4m 7s
test: every test everywhere all at once Build and run tests with Verific (Linux) #1672: Pull request #4814 synchronize by widlarizer
December 13, 2024 09:19 20s emil/make-test-fasterer
emil/make-test-fasterer
December 13, 2024 09:19 20s
test: restore verific handling, nicer naming Build and run tests with Verific (Linux) #1671: Commit 9daf0aa pushed by widlarizer
December 13, 2024 09:19 1m 15s emil/make-test-fasterer
emil/make-test-fasterer
December 13, 2024 09:19 1m 15s