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
1,898 workflow runs
1,898 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add abstract pass for formal verification Build and run tests with Verific (Linux) #1962: Pull request #4894 synchronize by widlarizer
February 18, 2025 16:10 19s emil/abstract
emil/abstract
February 18, 2025 16:10 19s
abstract: add module input -value abstraction Build and run tests with Verific (Linux) #1961: Commit 925c617 pushed by widlarizer
February 18, 2025 16:10 3m 41s emil/abstract
emil/abstract
February 18, 2025 16:10 3m 41s
Add abstract pass for formal verification Build and run tests with Verific (Linux) #1960: Pull request #4894 synchronize by widlarizer
February 18, 2025 12:50 17s emil/abstract
emil/abstract
February 18, 2025 12:50 17s
abstract: test -state Build and run tests with Verific (Linux) #1959: Commit d3b3f6b pushed by widlarizer
February 18, 2025 12:50 7m 46s emil/abstract
emil/abstract
February 18, 2025 12:50 7m 46s
Cover all cases of submodule status in check-git-abc Build and run tests with Verific (Linux) #1958: Pull request #4908 synchronize by KrystalDelusion
February 17, 2025 22:46 17s abc_warn_diff_commit
abc_warn_diff_commit
February 17, 2025 22:46 17s
fixup! Makefile: Warn if submodule status '+'-prefixed Build and run tests with Verific (Linux) #1957: Commit dc03e17 pushed by KrystalDelusion
February 17, 2025 22:46 8m 33s abc_warn_diff_commit
abc_warn_diff_commit
February 17, 2025 22:46 8m 33s
Cover all cases of submodule status in check-git-abc Build and run tests with Verific (Linux) #1956: Pull request #4908 opened by KrystalDelusion
February 17, 2025 22:39 15s abc_warn_diff_commit
abc_warn_diff_commit
February 17, 2025 22:39 15s
Makefile: 'U'-prefixed submodule status Build and run tests with Verific (Linux) #1955: Commit 03d9138 pushed by KrystalDelusion
February 17, 2025 22:33 3m 39s abc_warn_diff_commit
abc_warn_diff_commit
February 17, 2025 22:33 3m 39s
liberty: fix clear and preset latches Build and run tests with Verific (Linux) #1954: Pull request #4907 opened by widlarizer
February 17, 2025 16:44 14s emil/fix-clear-preset-latch
emil/fix-clear-preset-latch
February 17, 2025 16:44 14s
liberty: fix clear and preset latches Build and run tests with Verific (Linux) #1953: Commit 2b33937 pushed by widlarizer
February 17, 2025 16:37 3m 46s emil/fix-clear-preset-latch
emil/fix-clear-preset-latch
February 17, 2025 16:37 3m 46s
Copy abc stuff for pyosys to enable use of the abc pass Build and run tests with Verific (Linux) #1952: Pull request #4901 synchronize by akashlevy
February 15, 2025 00:44 4m 9s akashlevy:pyosys_copy_abc
akashlevy:pyosys_copy_abc
February 15, 2025 00:44 4m 9s
Merge pull request #4899 from YosysHQ/shr_int_max Build and run tests with Verific (Linux) #1951: Commit 508e732 pushed by KrystalDelusion
February 14, 2025 20:52 15s main
main
February 14, 2025 20:52 15s
share: add -pattern-limit to limit analysis effort Build and run tests with Verific (Linux) #1950: Pull request #4904 synchronize by widlarizer
February 14, 2025 20:13 17s emil/share-limit-effort
emil/share-limit-effort
February 14, 2025 20:13 17s
share: add -pattern-limit to set analysis effort on branch-unbranch m… Build and run tests with Verific (Linux) #1949: Commit 8968986 pushed by widlarizer
February 14, 2025 20:13 6m 28s emil/share-limit-effort
emil/share-limit-effort
February 14, 2025 20:13 6m 28s
share: add -pattern-limit to limit analysis effort Build and run tests with Verific (Linux) #1948: Pull request #4904 opened by widlarizer
February 14, 2025 20:12 14s emil/share-limit-effort
emil/share-limit-effort
February 14, 2025 20:12 14s
Fix macOS boost-python issues Build and run tests with Verific (Linux) #1947: Pull request #4903 opened by akashlevy
February 14, 2025 19:47 3m 43s akashlevy:boost_python_fix_macos
akashlevy:boost_python_fix_macos
February 14, 2025 19:47 3m 43s
aldffs do not get split by splitcells pass Build and run tests with Verific (Linux) #1946: Pull request #4902 opened by akashlevy
February 14, 2025 18:55 3m 40s akashlevy:splitcells_aldff_fix
akashlevy:splitcells_aldff_fix
February 14, 2025 18:55 3m 40s
Copy abc stuff for pyosys to enable use of the abc pass Build and run tests with Verific (Linux) #1945: Pull request #4901 opened by akashlevy
February 14, 2025 18:44 3m 41s akashlevy:pyosys_copy_abc
akashlevy:pyosys_copy_abc
February 14, 2025 18:44 3m 41s
share: add -pattern-limit to set analysis effort on branch-unbranch m… Build and run tests with Verific (Linux) #1944: Commit 48f16eb pushed by widlarizer
February 14, 2025 17:58 3m 47s emil/share-limit-effort
emil/share-limit-effort
February 14, 2025 17:58 3m 47s
Fix runtime error on shift by INT_MAX Build and run tests with Verific (Linux) #1943: Pull request #4899 opened by KrystalDelusion
February 14, 2025 01:18 12s shr_int_max
shr_int_max
February 14, 2025 01:18 12s
Fix runtime error on shr INT_MAX Build and run tests with Verific (Linux) #1942: Commit 4c72896 pushed by KrystalDelusion
February 14, 2025 01:04 3m 48s shr_int_max
shr_int_max
February 14, 2025 01:04 3m 48s
Add test for shifting by INT_MAX Build and run tests with Verific (Linux) #1941: Commit fba6b19 pushed by KrystalDelusion
February 14, 2025 00:28 3m 46s shr_int_max
shr_int_max
February 14, 2025 00:28 3m 46s
write_xaiger: Detect and error on combinatorial loops Build and run tests with Verific (Linux) #1940: Pull request #4898 opened by Anhijkt
February 13, 2025 23:42 5m 29s Anhijkt:fix-xaiger-segfault
Anhijkt:fix-xaiger-segfault
February 13, 2025 23:42 5m 29s
formalff: Document -declockgate option Build and run tests with Verific (Linux) #1939: Commit 43b5e10 pushed by jix
February 12, 2025 16:47 3m 41s jix/prerelease-2025-02-12
jix/prerelease-2025-02-12
February 12, 2025 16:47 3m 41s
Add abstract pass for formal verification Build and run tests with Verific (Linux) #1938: Pull request #4894 synchronize by jix
February 12, 2025 16:18 18s emil/abstract
emil/abstract
February 12, 2025 16:18 18s