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.
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Try again without pyosys Build and run tests with Verific (Linux) #64: Commit 210b219 pushed by akashlevy
October 19, 2024 21:28 15s main
main
October 19, 2024 21:28 15s
Include ssh keys for submodules Build and run tests with Verific (Linux) #63: Commit a48897a pushed by akashlevy
October 19, 2024 21:21 6m 51s main
main
October 19, 2024 21:21 6m 51s
Merge branch 'YosysHQ:main' into main Build and run tests with Verific (Linux) #62: Commit 244206c pushed by akashlevy
October 19, 2024 21:11 10m 23s main
main
October 19, 2024 21:11 10m 23s
Sync yosys Build and run tests with Verific (Linux) #61: Commit 5173e32 pushed by akashlevy
May 22, 2024 02:07 17h 29m 43s master
master
May 22, 2024 02:07 17h 29m 43s
Update verific Build and run tests with Verific (Linux) #60: Commit d2c29a1 pushed by akashlevy
May 22, 2024 00:40 18h 56m 37s master
master
May 22, 2024 00:40 18h 56m 37s
Revert Build and run tests with Verific (Linux) #59: Commit dae5160 pushed by akashlevy
May 20, 2024 23:34 1d 20h 2m 50s master
master
May 20, 2024 23:34 1d 20h 2m 50s
Verific fix Build and run tests with Verific (Linux) #58: Commit ea99fe6 pushed by akashlevy
May 20, 2024 23:10 1d 0h 18m 57s master
master
May 20, 2024 23:10 1d 0h 18m 57s
Update to REPLACEME for YOSYS_VER Build and run tests with Verific (Linux) #57: Commit a065155 pushed by akashlevy
May 20, 2024 05:38 1d 14h 43m 41s master
master
May 20, 2024 05:38 1d 14h 43m 41s
Update verific Build and run tests with Verific (Linux) #56: Commit 7897157 pushed by akashlevy
May 20, 2024 04:41 1d 15h 40m 35s master
master
May 20, 2024 04:41 1d 15h 40m 35s
Ignore .bak Build and run tests with Verific (Linux) #55: Commit e784c47 pushed by akashlevy
May 20, 2024 04:31 1d 15h 50m 16s master
master
May 20, 2024 04:31 1d 15h 50m 16s
Bump Yosys to 0.41.91 Build and run tests with Verific (Linux) #54: Commit 943ec10 pushed by akashlevy
May 20, 2024 04:20 1d 16h 1m 48s master
master
May 20, 2024 04:20 1d 16h 1m 48s
Don't adjust naming on imported cells. Add $ for each pass Build and run tests with Verific (Linux) #53: Commit 187737b pushed by akashlevy
May 19, 2024 22:02 1d 1h 26m 24s master
master
May 19, 2024 22:02 1d 1h 26m 24s
Is CentOS 7 Build and run tests with Verific (Linux) #52: Commit 8086e13 pushed by akashlevy
May 19, 2024 08:05 1d 12h 16m 2s master
master
May 19, 2024 08:05 1d 12h 16m 2s
Bump version Build and run tests with Verific (Linux) #51: Commit ccf6809 pushed by akashlevy
May 17, 2024 11:49 1d 8h 32m 35s master
master
May 17, 2024 11:49 1d 8h 32m 35s
Define SYNTHESIS earlier and in both, support ignored module specific… Build and run tests with Verific (Linux) #50: Commit 60e598b pushed by akashlevy
May 17, 2024 11:46 1d 8h 35m 29s master
master
May 17, 2024 11:46 1d 8h 35m 29s
Bump version Build and run tests with Verific (Linux) #49: Commit a94cd0b pushed by akashlevy
May 17, 2024 02:52 1d 17h 29m 12s master
master
May 17, 2024 02:52 1d 17h 29m 12s
Updated Verific Build and run tests with Verific (Linux) #48: Commit 122e06d pushed by akashlevy
May 17, 2024 02:50 1d 17h 31m 37s master
master
May 17, 2024 02:50 1d 17h 31m 37s
Bump version Build and run tests with Verific (Linux) #47: Commit b662373 pushed by akashlevy
May 16, 2024 03:48 1d 16h 33m 31s master
master
May 16, 2024 03:48 1d 16h 33m 31s
Verific Build and run tests with Verific (Linux) #46: Commit 7d07a84 pushed by akashlevy
May 16, 2024 03:42 1d 16h 39m 37s master
master
May 16, 2024 03:42 1d 16h 39m 37s
Bump version Build and run tests with Verific (Linux) #45: Commit a6b1bfa pushed by akashlevy
May 16, 2024 01:46 1d 18h 35m 15s master
master
May 16, 2024 01:46 1d 18h 35m 15s
Bump version Build and run tests with Verific (Linux) #44: Commit 25185d8 pushed by akashlevy
May 16, 2024 00:27 1d 19h 54m 18s master
master
May 16, 2024 00:27 1d 19h 54m 18s
Fix default_nettype issue Build and run tests with Verific (Linux) #43: Commit 43c3c5c pushed by akashlevy
May 16, 2024 00:26 1d 19h 55m 22s master
master
May 16, 2024 00:26 1d 19h 55m 22s
Update for Amba support Build and run tests with Verific (Linux) #42: Commit 375f73b pushed by akashlevy
May 15, 2024 22:37 1d 0h 51m 50s master
master
May 15, 2024 22:37 1d 0h 51m 50s
Sync to YosysHQ upstream Build and run tests with Verific (Linux) #41: Commit 7e74ed1 pushed by akashlevy
May 15, 2024 00:52 1d 19h 29m 27s master
master
May 15, 2024 00:52 1d 19h 29m 27s
Update verific to search incdirs Build and run tests with Verific (Linux) #40: Commit b9a8ed2 pushed by akashlevy
May 15, 2024 00:18 1d 20h 3m 11s master
master
May 15, 2024 00:18 1d 20h 3m 11s