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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

clean up of wallace tree generation in booth multiplier Build and run tests with Verific (Linux) #1272: Pull request #4421 synchronize by andyfox-rushc
October 20, 2024 23:15 13m 56s andyfox-rushc:master
andyfox-rushc:master
October 20, 2024 23:15 13m 56s
opt_merge: hashing performance and correctness Build and run tests with Verific (Linux) #1271: Pull request #4677 opened by widlarizer
October 18, 2024 21:13 14s emil/opt_merge-hashing
emil/opt_merge-hashing
October 18, 2024 21:13 14s
hashlib: fudge always Build and run tests with Verific (Linux) #1270: Commit 8eef00c pushed by widlarizer
October 18, 2024 20:59 20m 8s emil/opt_merge-hashing
emil/opt_merge-hashing
October 18, 2024 20:59 20m 8s
opt_merge: fix the many collisions case Build and run tests with Verific (Linux) #1269: Commit f1ab13f pushed by widlarizer
October 18, 2024 20:58 1m 27s emil/opt_merge-hashing
emil/opt_merge-hashing
October 18, 2024 20:58 1m 27s
opt_merge: fix the many collisions case Build and run tests with Verific (Linux) #1268: Commit 4d50267 pushed by widlarizer
October 18, 2024 18:40 19m 15s emil/opt_merge-hashing
emil/opt_merge-hashing
October 18, 2024 18:40 19m 15s
opt_merge: avoid hashing strings Build and run tests with Verific (Linux) #1267: Commit 26b3ff2 pushed by widlarizer
October 18, 2024 16:14 14m 11s emil/opt_merge-hashing
emil/opt_merge-hashing
October 18, 2024 16:14 14m 11s
Neater hashing interface Build and run tests with Verific (Linux) #1266: Pull request #4524 synchronize by widlarizer
October 18, 2024 14:18 21s emil/hashlib-interface
emil/hashlib-interface
October 18, 2024 14:18 21s
hashlib: hash_t can be set to 64-bit Build and run tests with Verific (Linux) #1265: Commit 25cd9fb pushed by widlarizer
October 18, 2024 14:18 32m 22s emil/hashlib-interface
emil/hashlib-interface
October 18, 2024 14:18 32m 22s
Neater hashing interface Build and run tests with Verific (Linux) #1264: Pull request #4524 synchronize by widlarizer
October 18, 2024 10:05 1m 18s emil/hashlib-interface
emil/hashlib-interface
October 18, 2024 10:05 1m 18s
hashlib: only include in one place Build and run tests with Verific (Linux) #1263: Commit 6a570b3 pushed by widlarizer
October 18, 2024 10:05 31m 51s emil/hashlib-interface
emil/hashlib-interface
October 18, 2024 10:05 31m 51s
yosys: fix pyosys initialization segfault Build and run tests with Verific (Linux) #1262: Pull request #4675 synchronize by widlarizer
October 18, 2024 09:56 13s emil/pyosys-fix-segfault
emil/pyosys-fix-segfault
October 18, 2024 09:56 13s
yosys: fix pyosys initialization segfault Build and run tests with Verific (Linux) #1261: Commit 37e61b9 pushed by widlarizer
October 18, 2024 09:56 17m 23s emil/pyosys-fix-segfault
emil/pyosys-fix-segfault
October 18, 2024 09:56 17m 23s
Merge pull request #4671 from YosysHQ/emil/const-deref-pyosys Build and run tests with Verific (Linux) #1260: Commit 799497e pushed by widlarizer
October 18, 2024 09:46 22m 47s main
main
October 18, 2024 09:46 22m 47s
py_wrap: implement nested class definitions Build and run tests with Verific (Linux) #1259: Pull request #4671 synchronize by widlarizer
October 18, 2024 09:31 20s emil/const-deref-pyosys
emil/const-deref-pyosys
October 18, 2024 09:31 20s
rtlil: appease py_wrap Build and run tests with Verific (Linux) #1258: Commit 49d8a35 pushed by widlarizer
October 18, 2024 09:31 17m 1s emil/const-deref-pyosys
emil/const-deref-pyosys
October 18, 2024 09:31 17m 1s
Merge pull request #4676 from YosysHQ/micko/fix_macos_ci Build and run tests with Verific (Linux) #1257: Commit 67e5c4b pushed by mmicko
October 18, 2024 07:31 15s main
main
October 18, 2024 07:31 15s
CI: make CI continue even if brew objects Build and run tests with Verific (Linux) #1256: Pull request #4676 opened by mmicko
October 18, 2024 06:54 14s micko/fix_macos_ci
micko/fix_macos_ci
October 18, 2024 06:54 14s
CI: make CI continue even if brew objects Build and run tests with Verific (Linux) #1255: Commit be8c75a pushed by mmicko
October 18, 2024 06:38 15m 5s micko/fix_macos_ci
micko/fix_macos_ci
October 18, 2024 06:38 15m 5s
CI: Make sure to update Build and run tests with Verific (Linux) #1254: Commit ba7d1b3 pushed by mmicko
October 18, 2024 06:29 3m 21s micko/fix_macos_ci
micko/fix_macos_ci
October 18, 2024 06:29 3m 21s
CI: try unlinking python Build and run tests with Verific (Linux) #1253: Commit 82e3f15 pushed by mmicko
October 18, 2024 06:16 2m 24s micko/fix_macos_ci
micko/fix_macos_ci
October 18, 2024 06:16 2m 24s
CI: macos explicitly install pythons Build and run tests with Verific (Linux) #1252: Commit b87f39c pushed by mmicko
October 18, 2024 06:11 3m 41s micko/fix_macos_ci
micko/fix_macos_ci
October 18, 2024 06:11 3m 41s
CI: Make sure all brew packages are upgraded Build and run tests with Verific (Linux) #1251: Commit 601424d pushed by mmicko
October 18, 2024 05:46 13m 12s micko/fix_macos_ci
micko/fix_macos_ci
October 18, 2024 05:46 13m 12s
yosys: fix pyosys initialization segfault Build and run tests with Verific (Linux) #1250: Pull request #4675 opened by widlarizer
October 17, 2024 20:22 13s emil/pyosys-fix-segfault
emil/pyosys-fix-segfault
October 17, 2024 20:22 13s
yosys: fix pyosys initialization segfault Build and run tests with Verific (Linux) #1249: Commit dcea2e8 pushed by widlarizer
October 17, 2024 20:21 16m 16s emil/pyosys-fix-segfault
emil/pyosys-fix-segfault
October 17, 2024 20:21 16m 16s
libs/fst: Update from upstream Build and run tests with Verific (Linux) #1248: Pull request #4543 synchronize by KrystalDelusion
October 17, 2024 18:25 21s update_fst
update_fst
October 17, 2024 18:25 21s