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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #4431 from jix/smtbmc-fixes Build and run tests with Verific (Linux) #355: Commit baccf87 pushed by mmicko
June 6, 2024 16:19 7m 58s main
main
June 6, 2024 16:19 7m 58s
Run SBY tests always Build and run tests with Verific (Linux) #354: Commit 6d16122 pushed by mmicko
June 6, 2024 16:09 7m 56s jix-smtbmc-fixes
jix-smtbmc-fixes
June 6, 2024 16:09 7m 56s
smtbmc: Fix two .yw handling related crashes Build and run tests with Verific (Linux) #353: Pull request #4431 opened by jix
June 6, 2024 15:45 4m 8s jix:smtbmc-fixes
jix:smtbmc-fixes
June 6, 2024 15:45 4m 8s
fix stuff, don't strip Build and run tests with Verific (Linux) #352: Commit b85062f pushed by widlarizer
June 5, 2024 20:21 3m 27s emil/tracy
emil/tracy
June 5, 2024 20:21 3m 27s
Quote stripping in log command Build and run tests with Verific (Linux) #351: Pull request #4429 opened by KrystalDelusion
June 5, 2024 01:12 14s krys/quotes
krys/quotes
June 5, 2024 01:12 14s
Docs: Update example_synth Build and run tests with Verific (Linux) #350: Commit a44a066 pushed by KrystalDelusion
June 5, 2024 01:09 4m 31s krys/quotes
krys/quotes
June 5, 2024 01:09 4m 31s
haiku: Basic fixes to build under Haiku Build and run tests with Verific (Linux) #349: Pull request #4428 opened by kallisti5
June 4, 2024 15:16 4m 27s kallisti5:haikuisms
kallisti5:haikuisms
June 4, 2024 15:16 4m 27s
sigmap: comments Build and run tests with Verific (Linux) #348: Pull request #4425 opened by widlarizer
June 3, 2024 10:50 12s emil/doc-sigmap
emil/doc-sigmap
June 3, 2024 10:50 12s
sigmap: comments Build and run tests with Verific (Linux) #347: Commit b256977 pushed by widlarizer
June 3, 2024 10:49 4m 37s emil/doc-sigmap
emil/doc-sigmap
June 3, 2024 10:49 4m 37s
Update flake lock workflow Build and run tests with Verific (Linux) #346: Commit 803703a pushed by mmicko
June 2, 2024 17:25 8m 21s main
main
June 2, 2024 17:25 8m 21s
Merge pull request #4404 from YosysHQ/povik/bbox_derive Build and run tests with Verific (Linux) #345: Commit 4b67f37 pushed by povik
May 31, 2024 17:09 8m 30s main
main
May 31, 2024 17:09 8m 30s
timeest: Add command for critical path estimation Build and run tests with Verific (Linux) #344: Pull request #4422 synchronize by povik
May 31, 2024 17:07 4m 22s povik:timeest
povik:timeest
May 31, 2024 17:07 4m 22s
timeest: Add command for critical path estimation Build and run tests with Verific (Linux) #343: Pull request #4422 synchronize by povik
May 31, 2024 16:56 4m 21s povik:timeest
povik:timeest
May 31, 2024 16:56 4m 21s
timeest: Add command for critical path estimation Build and run tests with Verific (Linux) #342: Pull request #4422 opened by povik
May 31, 2024 16:53 32s povik:timeest
povik:timeest
May 31, 2024 16:53 32s
tracy: frame pointer, track memory allocations Build and run tests with Verific (Linux) #340: Commit 60bf00e pushed by widlarizer
May 31, 2024 10:35 45s emil/tracy
emil/tracy
May 31, 2024 10:35 45s
Functional backend Build and run tests with Verific (Linux) #339: Pull request #4401 synchronize by RCoeurjoly
May 31, 2024 08:46 4m 9s RCoeurjoly:functional
RCoeurjoly:functional
May 31, 2024 08:46 4m 9s
Merge pull request #4420 from YosysHQ/emil/doc-demux-todo Build and run tests with Verific (Linux) #338: Commit 111b747 pushed by widlarizer
May 30, 2024 15:45 8m 8s main
main
May 30, 2024 15:45 8m 8s
Fix CY chaining and CI injection Build and run tests with Verific (Linux) #337: Commit 58140b7 pushed by mmicko
May 30, 2024 15:29 4m 30s nanoxplore
nanoxplore
May 30, 2024 15:29 4m 30s
Fix CY chaining and CI injection Build and run tests with Verific (Linux) #336: Commit c0c10ed pushed by mmicko
May 30, 2024 15:28 1m 55s nanoxplore
nanoxplore
May 30, 2024 15:28 1m 55s
Add NX_XCDC_U to wrappers Build and run tests with Verific (Linux) #335: Commit bd1a43c pushed by mmicko
May 30, 2024 07:06 4m 36s nanoxplore
nanoxplore
May 30, 2024 07:06 4m 36s
Better wire check Build and run tests with Verific (Linux) #334: Commit 278ec43 pushed by mmicko
May 30, 2024 06:06 4m 21s nanoxplore
nanoxplore
May 30, 2024 06:06 4m 21s
Functional backend Build and run tests with Verific (Linux) #333: Pull request #4401 synchronize by RCoeurjoly
May 29, 2024 21:26 3m 58s RCoeurjoly:functional
RCoeurjoly:functional
May 29, 2024 21:26 3m 58s
box_derive: New command to derive modules for boxes Build and run tests with Verific (Linux) #332: Pull request #4404 synchronize by povik
May 29, 2024 18:42 16s povik/bbox_derive
povik/bbox_derive
May 29, 2024 18:42 16s
box_derive: Tune the test Build and run tests with Verific (Linux) #331: Commit 97fedff pushed by povik
May 29, 2024 18:42 4m 13s povik/bbox_derive
povik/bbox_derive
May 29, 2024 18:42 4m 13s
Fix wire detection Build and run tests with Verific (Linux) #330: Commit 4715f9c pushed by mmicko
May 29, 2024 17:29 4m 33s nanoxplore
nanoxplore
May 29, 2024 17:29 4m 33s