Skip to content

Actions: alaindargelas/yosys

Actions

Build and run tests with Verific (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-verific.yml
187 workflow runs
187 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add splitfanout tests Build and run tests with Verific (Linux) #162: Commit 84c6be1 pushed by alaindargelas
January 16, 2025 20:05 1d 11h 9m 36s splitfanout_test
splitfanout_test
January 16, 2025 20:05 1d 11h 9m 36s
Fixes to build flow Build and run tests with Verific (Linux) #161: Commit 53be1f8 pushed by alaindargelas
January 16, 2025 19:55 17m 52s main
main
January 16, 2025 19:55 17m 52s
Fix equiv_opt Build and run tests with Verific (Linux) #160: Commit 2c359f4 pushed by alaindargelas
January 16, 2025 19:31 1d 0h 24m 33s fix_peepopt
fix_peepopt
January 16, 2025 19:31 1d 0h 24m 33s
Merge pull request #45 from alaindargelas/muxpack_no_splitfanout Build and run tests with Verific (Linux) #159: Commit 6d8c9ec pushed by alaindargelas
January 16, 2025 19:30 17s main
main
January 16, 2025 19:30 17s
Muxpack does not need splitfanout Build and run tests with Verific (Linux) #158: Commit 0886830 pushed by alaindargelas
January 16, 2025 19:16 1d 0h 39m 54s muxpack_no_splitfanout
muxpack_no_splitfanout
January 16, 2025 19:16 1d 0h 39m 54s
Add backward deps Build and run tests with Verific (Linux) #157: Commit f1890c8 pushed by alaindargelas
January 16, 2025 19:13 17m 14s main
main
January 16, 2025 19:13 17m 14s
muxadd and muldiv_c peepopt Build and run tests with Verific (Linux) #156: Commit 31a5197 pushed by alaindargelas
January 16, 2025 01:00 1d 6h 14m 32s peepopts
peepopts
January 16, 2025 01:00 1d 6h 14m 32s
Try again Build and run tests with Verific (Linux) #155: Commit 8dabfbe pushed by alaindargelas
January 16, 2025 00:52 18h 21m 18s main
main
January 16, 2025 00:52 18h 21m 18s
Lib dwarf Build and run tests with Verific (Linux) #154: Commit 25c6450 pushed by alaindargelas
January 16, 2025 00:46 1d 6h 28m 36s lib_dwarf_fix
lib_dwarf_fix
January 16, 2025 00:46 1d 6h 28m 36s
Lib dwarf Build and run tests with Verific (Linux) #153: Commit 2c1824b pushed by alaindargelas
January 16, 2025 00:43 2m 49s lib_dwarf_fix
lib_dwarf_fix
January 16, 2025 00:43 2m 49s
Merge branch 'main' into lib_dwarf_fix Build and run tests with Verific (Linux) #152: Commit d83cf40 pushed by alaindargelas
January 16, 2025 00:42 1m 22s lib_dwarf_fix
lib_dwarf_fix
January 16, 2025 00:42 1m 22s
Add libnsl Build and run tests with Verific (Linux) #151: Commit 2efcb9e pushed by alaindargelas
January 16, 2025 00:41 11m 3s main
main
January 16, 2025 00:41 11m 3s
Lib dwarf Build and run tests with Verific (Linux) #150: Commit d56255d pushed by alaindargelas
January 16, 2025 00:40 2m 4s lib_dwarf_fix
lib_dwarf_fix
January 16, 2025 00:40 2m 4s
Dwarf lib Build and run tests with Verific (Linux) #149: Commit f323bb0 pushed by alaindargelas
January 16, 2025 00:30 10m 26s lib_dwarf_fix
lib_dwarf_fix
January 16, 2025 00:30 10m 26s
Lib dwarf Build and run tests with Verific (Linux) #148: Commit e3e35d9 pushed by alaindargelas
January 16, 2025 00:08 1d 7h 6m 16s checkout_recursive
checkout_recursive
January 16, 2025 00:08 1d 7h 6m 16s
Remove vendored build Build and run tests with Verific (Linux) #147: Commit ded0ff5 pushed by alaindargelas
January 15, 2025 23:53 15m 10s checkout_recursive
checkout_recursive
January 15, 2025 23:53 15m 10s
Checkout recursive Build and run tests with Verific (Linux) #146: Commit 186faa8 pushed by alaindargelas
January 15, 2025 23:46 7m 15s checkout_recursive
checkout_recursive
January 15, 2025 23:46 7m 15s
Reduce submod verbosity Build and run tests with Verific (Linux) #145: Commit b545fc4 pushed by alaindargelas
January 15, 2025 21:15 3h 25m 59s main
main
January 15, 2025 21:15 3h 25m 59s
Dwarf path Build and run tests with Verific (Linux) #144: Commit 2959f37 pushed by alaindargelas
January 14, 2025 23:24 1d 7h 50m 8s dwarf_path
dwarf_path
January 14, 2025 23:24 1d 7h 50m 8s
Merge pull request #40 from alaindargelas/opt_balance_tree_formal Build and run tests with Verific (Linux) #143: Commit 22c0126 pushed by alaindargelas
January 14, 2025 23:20 16s main
main
January 14, 2025 23:20 16s
Fix assert Build and run tests with Verific (Linux) #142: Commit 9792849 pushed by alaindargelas
January 14, 2025 19:57 1d 11h 17m 33s opt_balance_tree_formal
opt_balance_tree_formal
January 14, 2025 19:57 1d 11h 17m 33s
Wire rename Build and run tests with Verific (Linux) #141: Commit d13c70c pushed by alaindargelas
January 14, 2025 18:04 1h 53m 23s opt_balance_tree_formal
opt_balance_tree_formal
January 14, 2025 18:04 1h 53m 23s
opt_balance_tree pass formal equiv Build and run tests with Verific (Linux) #140: Commit 14cfd02 pushed by alaindargelas
January 14, 2025 17:36 28m 17s opt_balance_tree_formal
opt_balance_tree_formal
January 14, 2025 17:36 28m 17s
Merge branch 'YosysHQ:main' into main Build and run tests with Verific (Linux) #139: Commit 57bf3a6 pushed by alaindargelas
January 14, 2025 17:10 6h 9m 55s main
main
January 14, 2025 17:10 6h 9m 55s
Make splitnetlist more efficient, no preliminary opt_clean in submod,… Build and run tests with Verific (Linux) #138: Commit 941d78a pushed by alaindargelas
January 11, 2025 01:33 1d 5h 41m 42s main
main
January 11, 2025 01:33 1d 5h 41m 42s