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

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) #1277: Pull request #4677 synchronize by widlarizer
October 21, 2024 16:14 17s emil/opt_merge-hashing
emil/opt_merge-hashing
October 21, 2024 16:14 17s
opt_merge: missing include Build and run tests with Verific (Linux) #1276: Commit ae88e5f pushed by widlarizer
October 21, 2024 16:14 19m 5s emil/opt_merge-hashing
emil/opt_merge-hashing
October 21, 2024 16:14 19m 5s
Merge pull request #4672 from YosysHQ/emil/fix-tcl-args-cxxopts Build and run tests with Verific (Linux) #1275: Commit 7db4c65 pushed by widlarizer
October 21, 2024 13:41 16m 55s main
main
October 21, 2024 13:41 16m 55s
Merge pull request #4668 from YosysHQ/emil/vendor-submodules Build and run tests with Verific (Linux) #1274: Commit c1907ef pushed by widlarizer
October 21, 2024 13:37 4m 5s main
main
October 21, 2024 13:37 4m 5s
Start Tcl design inspection methods Build and run tests with Verific (Linux) #1273: Pull request #4678 opened by povik
October 21, 2024 12:06 14m 22s povik:tcl-rtlil-api
povik:tcl-rtlil-api
October 21, 2024 12:06 14m 22s
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