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
176 workflow runs
176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

longloop honors caching Build and run tests with Verific (Linux) #176: Commit 077b4b8 pushed by alaindargelas
February 13, 2025 23:49 1d 7h 25m 16s longloop_support_cache
longloop_support_cache
February 13, 2025 23:49 1d 7h 25m 16s
Add is_mostly_const to SigSpec Build and run tests with Verific (Linux) #175: Commit 7d33fd4 pushed by alaindargelas
February 13, 2025 23:45 1d 7h 29m 32s main
main
February 13, 2025 23:45 1d 7h 29m 32s
Annotate logic depth Build and run tests with Verific (Linux) #174: Commit bf96f94 pushed by alaindargelas
February 6, 2025 00:45 1d 6h 29m 35s annotate_logic_depth
annotate_logic_depth
February 6, 2025 00:45 1d 6h 29m 35s
Fix incdir, ydir, libext issues Build and run tests with Verific (Linux) #173: Commit 47aac95 pushed by alaindargelas
February 6, 2025 00:41 1d 6h 32m 59s main
main
February 6, 2025 00:41 1d 6h 32m 59s
remove not needed code Build and run tests with Verific (Linux) #172: Commit 4a1af2f pushed by alaindargelas
February 1, 2025 00:26 1d 6h 48m 14s calc_fanout
calc_fanout
February 1, 2025 00:26 1d 6h 48m 14s
Merge pull request #49 from alaindargelas/calc_fanout Build and run tests with Verific (Linux) #171: Commit 9a11df1 pushed by alaindargelas
February 1, 2025 00:24 15s main
main
February 1, 2025 00:24 15s
Code review Build and run tests with Verific (Linux) #170: Commit 8213dd1 pushed by alaindargelas
January 31, 2025 23:29 57m 12s calc_fanout
calc_fanout
January 31, 2025 23:29 57m 12s
Fix test Build and run tests with Verific (Linux) #169: Commit 4861aef pushed by alaindargelas
January 31, 2025 21:28 2h 1m 2s calc_fanout
calc_fanout
January 31, 2025 21:28 2h 1m 2s
Calculate cell fanout (post-synthesis) Build and run tests with Verific (Linux) #168: Commit b4787c7 pushed by alaindargelas
January 31, 2025 18:17 3h 11m 12s calc_fanout
calc_fanout
January 31, 2025 18:17 3h 11m 12s
Merge branch 'YosysHQ:main' into main Build and run tests with Verific (Linux) #167: Commit a96a433 pushed by alaindargelas
January 31, 2025 18:14 6h 10m 15s main
main
January 31, 2025 18:14 6h 10m 15s
Tmp file for vcd2fst Build and run tests with Verific (Linux) #166: Commit 0965ee2 pushed by alaindargelas
January 22, 2025 00:05 1d 7h 9m 17s tmp_file_vcd2fst
tmp_file_vcd2fst
January 22, 2025 00:05 1d 7h 9m 17s
Disable Verific blackbox checks (different from our preferred approach) Build and run tests with Verific (Linux) #165: Commit 2ae7490 pushed by alaindargelas
January 22, 2025 00:03 1d 7h 11m 43s main
main
January 22, 2025 00:03 1d 7h 11m 43s
If imported module has parameters it is not a blackbox Build and run tests with Verific (Linux) #164: Commit da726a4 pushed by alaindargelas
January 17, 2025 17:12 1d 2h 44m 4s main
main
January 17, 2025 17:12 1d 2h 44m 4s
Merge pull request #47 from alaindargelas/splitfanout_test Build and run tests with Verific (Linux) #163: Commit bf8277e pushed by alaindargelas
January 16, 2025 20:13 15s main
main
January 16, 2025 20:13 15s
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