Skip to content

Actions: Silimate/yosys

Actions

Build and run tests with Verific (Linux)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-verific.yml
This workflow was disabled manually.
28 workflow run results
28 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix Yosys to allow SV again Build and run tests with Verific (Linux) #28: Commit c7f6673 pushed by akashlevy
May 9, 2024 13:36 1d 6h 45m 56s master
master
May 9, 2024 13:36 1d 6h 45m 56s
Merge remote-tracking branch 'upstream/main' Build and run tests with Verific (Linux) #27: Commit 2a79db1 pushed by akashlevy
May 9, 2024 12:15 18s master
master
May 9, 2024 12:15 18s
Updates from YosysHQ Build and run tests with Verific (Linux) #26: Commit da8c195 pushed by akashlevy
May 9, 2024 12:10 1d 8h 11m 11s master
master
May 9, 2024 12:10 1d 8h 11m 11s
Copy all info from .f file to hdl_file_sort for better auto-discovery Build and run tests with Verific (Linux) #25: Commit 8841cc4 pushed by akashlevy
May 9, 2024 11:55 1d 8h 26m 59s master
master
May 9, 2024 11:55 1d 8h 26m 59s
Update Verific Build and run tests with Verific (Linux) #24: Commit 9b66cb0 pushed by akashlevy
May 8, 2024 12:16 1d 8h 5m 45s master
master
May 8, 2024 12:16 1d 8h 5m 45s
Add -auto_discover to import Build and run tests with Verific (Linux) #23: Commit 47b6738 pushed by akashlevy
May 8, 2024 11:21 1d 9h 0m 22s master
master
May 8, 2024 11:21 1d 9h 0m 22s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #22: Commit 818fd2e pushed by akashlevy
May 8, 2024 09:23 1d 10h 58m 51s master
master
May 8, 2024 09:23 1d 10h 58m 51s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #21: Commit 2e21078 pushed by akashlevy
May 8, 2024 01:21 1d 19h 0m 42s master
master
May 8, 2024 01:21 1d 19h 0m 42s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #20: Commit 0e77a03 pushed by akashlevy
May 7, 2024 04:11 1d 16h 10m 54s master
master
May 7, 2024 04:11 1d 16h 10m 54s
Fix Build and run tests with Verific (Linux) #19: Commit 8943919 pushed by akashlevy
May 7, 2024 04:09 1d 16h 12m 15s master
master
May 7, 2024 04:09 1d 16h 12m 15s
Allow for gzip magic in stat Build and run tests with Verific (Linux) #18: Commit 261bc56 pushed by akashlevy
May 5, 2024 11:21 1d 9h 0m 10s master
master
May 5, 2024 11:21 1d 9h 0m 10s
Update verific to O3 opt Build and run tests with Verific (Linux) #17: Commit 2a8575a pushed by akashlevy
May 3, 2024 10:34 1d 9h 47m 19s master
master
May 3, 2024 10:34 1d 9h 47m 19s
Slim yosys Build and run tests with Verific (Linux) #16: Commit bf8ab97 pushed by akashlevy
May 3, 2024 10:29 1d 9h 52m 15s master
master
May 3, 2024 10:29 1d 9h 52m 15s
Add noclean option to submod for speedup Build and run tests with Verific (Linux) #15: Commit cc5e893 pushed by akashlevy
May 2, 2024 13:12 1d 7h 9m 46s master
master
May 2, 2024 13:12 1d 7h 9m 46s
Update Verific Build and run tests with Verific (Linux) #14: Commit e62bc10 pushed by akashlevy
May 1, 2024 12:43 1d 7h 38m 24s master
master
May 1, 2024 12:43 1d 7h 38m 24s
Update Makefile Build and run tests with Verific (Linux) #13: Commit fbf87b2 pushed by akashlevy
April 30, 2024 12:21 1d 8h 0m 22s master
master
April 30, 2024 12:21 1d 8h 0m 22s
Fix introduced typo Build and run tests with Verific (Linux) #12: Commit 810a11b pushed by akashlevy
April 30, 2024 05:25 1d 14h 56m 40s master
master
April 30, 2024 05:25 1d 14h 56m 40s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #11: Commit 8c330c0 pushed by akashlevy
April 30, 2024 05:22 1d 14h 59m 13s master
master
April 30, 2024 05:22 1d 14h 59m 13s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #10: Commit 45b723d pushed by akashlevy
April 25, 2024 13:25 1d 6h 57m 2s master
master
April 25, 2024 13:25 1d 6h 57m 2s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #9: Commit 501b504 pushed by akashlevy
April 24, 2024 21:20 1d 2h 8m 35s master
master
April 24, 2024 21:20 1d 2h 8m 35s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #8: Commit 6d2ac29 pushed by akashlevy
April 24, 2024 01:15 1d 19h 6m 14s master
master
April 24, 2024 01:15 1d 19h 6m 14s
Merge branch 'YosysHQ:main' into master Build and run tests with Verific (Linux) #7: Commit 02f38c5 pushed by akashlevy
April 21, 2024 21:29 1d 1h 59m 16s master
master
April 21, 2024 21:29 1d 1h 59m 16s
Fix BOOST_PYTHON_LIB find Build and run tests with Verific (Linux) #6: Commit fa62642 pushed by akashlevy
April 20, 2024 04:56 1d 15h 25m 46s master
master
April 20, 2024 04:56 1d 15h 25m 46s
Updated Makefile Build and run tests with Verific (Linux) #5: Commit 06ea037 pushed by akashlevy
April 17, 2024 18:19 1d 2h 2m 42s master
master
April 17, 2024 18:19 1d 2h 2m 42s
Need to add back in the removed boost python line Build and run tests with Verific (Linux) #4: Commit 04d3077 pushed by akashlevy
April 17, 2024 14:21 1d 6h 0m 10s master
master
April 17, 2024 14:21 1d 6h 0m 10s