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
566 workflow run results
566 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Increase maximum hashtable size to support larger designs. Build and run tests with Verific (Linux) #581: Pull request #4512 opened by mikesinouye
July 26, 2024 22:01 12m 5s mikesinouye:hashlib
mikesinouye:hashlib
July 26, 2024 22:01 12m 5s
Merge pull request #4510 from JamesTimothyMeech/patch-1 Build and run tests with Verific (Linux) #580: Commit ced1313 pushed by povik
July 26, 2024 13:17 15m 40s main
main
July 26, 2024 13:17 15m 40s
Merge pull request #4506 from povik/synthprop-formatting Build and run tests with Verific (Linux) #578: Commit dd3637f pushed by nakengelhardt
July 26, 2024 10:28 16m 6s main
main
July 26, 2024 10:28 16m 6s
Merge pull request #4503 from RCoeurjoly/vhdl_extension Build and run tests with Verific (Linux) #577: Commit 41b51c1 pushed by nakengelhardt
July 26, 2024 08:44 15m 47s main
main
July 26, 2024 08:44 15m 47s
proc_rom: Set src on the emitted memory Build and run tests with Verific (Linux) #576: Commit 7ee685a pushed by whitequark
July 25, 2024 22:14 24m 46s main
main
July 25, 2024 22:14 24m 46s
fix string consts for ywio Build and run tests with Verific (Linux) #575: Commit 6bb3930 pushed by widlarizer
July 25, 2024 19:50 13m 18s emil/src-attribute-std-string
emil/src-attribute-std-string
July 25, 2024 19:50 13m 18s
fix string consts for ywio Build and run tests with Verific (Linux) #574: Commit 3993ea9 pushed by widlarizer
July 25, 2024 19:49 1m 4s emil/src-attribute-std-string
emil/src-attribute-std-string
July 25, 2024 19:49 1m 4s
fix string consts for setundef Build and run tests with Verific (Linux) #573: Commit 8c634d0 pushed by widlarizer
July 25, 2024 17:00 12m 49s emil/src-attribute-std-string
emil/src-attribute-std-string
July 25, 2024 17:00 12m 49s
fix string consts for frontends, pmgen Build and run tests with Verific (Linux) #572: Commit 2a09288 pushed by widlarizer
July 25, 2024 14:39 11m 41s emil/src-attribute-std-string
emil/src-attribute-std-string
July 25, 2024 14:39 11m 41s
const: represent string constants as string, not vector of bits Build and run tests with Verific (Linux) #571: Commit 6b40e82 pushed by widlarizer
July 25, 2024 13:13 43s emil/src-attribute-std-string
emil/src-attribute-std-string
July 25, 2024 13:13 43s
proc_rom: Set src on the emitted memory Build and run tests with Verific (Linux) #570: Pull request #4508 opened by povik
July 25, 2024 10:03 12m 15s povik:proc_rom-src
povik:proc_rom-src
July 25, 2024 10:03 12m 15s
Do not map $eqx $nex $bweqx Build and run tests with Verific (Linux) #569: Pull request #4507 opened by povik
July 25, 2024 10:00 12m 7s povik:simplemap-eqx
povik:simplemap-eqx
July 25, 2024 10:00 12m 7s
synthprop: Reformat the help Build and run tests with Verific (Linux) #568: Pull request #4506 opened by povik
July 25, 2024 09:46 11m 35s povik:synthprop-formatting
povik:synthprop-formatting
July 25, 2024 09:46 11m 35s
Initialize extensions when Verific pass is registered Build and run tests with Verific (Linux) #567: Pull request #4505 opened by mmicko
July 25, 2024 09:26 12s micko/ext_register
micko/ext_register
July 25, 2024 09:26 12s
Initialize extensions when verific pass is registered Build and run tests with Verific (Linux) #566: Commit 9566709 pushed by mmicko
July 25, 2024 09:25 11m 36s micko/ext_register
micko/ext_register
July 25, 2024 09:25 11m 36s
Release build configuration improvements Build and run tests with Verific (Linux) #565: Pull request #4502 synchronize by widlarizer
July 24, 2024 19:33 13s emil/build-opt-levels
emil/build-opt-levels
July 24, 2024 19:33 13s
ci: ENABLE_LTO=0 on WASI Build and run tests with Verific (Linux) #564: Commit 5d40c34 pushed by widlarizer
July 24, 2024 19:33 4m 47s emil/build-opt-levels
emil/build-opt-levels
July 24, 2024 19:33 4m 47s
Release build configuration improvements Build and run tests with Verific (Linux) #563: Pull request #4502 synchronize by widlarizer
July 24, 2024 19:28 14s emil/build-opt-levels
emil/build-opt-levels
July 24, 2024 19:28 14s
actions: try fix GITHUB_PATH Build and run tests with Verific (Linux) #562: Commit 29d53bc pushed by widlarizer
July 24, 2024 19:28 4m 35s emil/build-opt-levels
emil/build-opt-levels
July 24, 2024 19:28 4m 35s
Release build configuration improvements Build and run tests with Verific (Linux) #561: Pull request #4502 synchronize by widlarizer
July 24, 2024 19:21 19s emil/build-opt-levels
emil/build-opt-levels
July 24, 2024 19:21 19s
Revert "actions: macos install lld from llvm package" Build and run tests with Verific (Linux) #560: Commit 454cfa1 pushed by widlarizer
July 24, 2024 19:20 4m 38s emil/build-opt-levels
emil/build-opt-levels
July 24, 2024 19:20 4m 38s
Release build configuration improvements Build and run tests with Verific (Linux) #559: Pull request #4502 synchronize by widlarizer
July 24, 2024 17:50 21s emil/build-opt-levels
emil/build-opt-levels
July 24, 2024 17:50 21s
actions: try fix GITHUB_PATH Build and run tests with Verific (Linux) #558: Commit 29d53bc pushed by widlarizer
July 24, 2024 17:50 4m 39s emil/build-opt-levels
emil/build-opt-levels
July 24, 2024 17:50 4m 39s
sigspec: no hash Build and run tests with Verific (Linux) #557: Commit 5b36c15 pushed by widlarizer
July 24, 2024 17:01 12m 52s emil/main-nohash
emil/main-nohash
July 24, 2024 17:01 12m 52s
Release build configuration improvements Build and run tests with Verific (Linux) #556: Pull request #4502 synchronize by widlarizer
July 24, 2024 16:32 16s emil/build-opt-levels
emil/build-opt-levels
July 24, 2024 16:32 16s