Skip to content

Actions: YosysHQ/yosys

Actions

Build docs artifact with Verific

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
prepare-docs.yml
898 workflow runs
898 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add abstract pass for formal verification Build docs artifact with Verific #912: Pull request #4894 synchronize by widlarizer
February 18, 2025 16:10 9m 57s emil/abstract
emil/abstract
February 18, 2025 16:10 9m 57s
abstract: add module input -value abstraction Build docs artifact with Verific #911: Commit 925c617 pushed by widlarizer
February 18, 2025 16:10 8m 21s emil/abstract
emil/abstract
February 18, 2025 16:10 8m 21s
Add abstract pass for formal verification Build docs artifact with Verific #910: Pull request #4894 synchronize by widlarizer
February 18, 2025 12:50 9m 25s emil/abstract
emil/abstract
February 18, 2025 12:50 9m 25s
abstract: test -state Build docs artifact with Verific #909: Commit d3b3f6b pushed by widlarizer
February 18, 2025 12:50 4m 20s emil/abstract
emil/abstract
February 18, 2025 12:50 4m 20s
Cover all cases of submodule status in check-git-abc Build docs artifact with Verific #908: Pull request #4908 synchronize by KrystalDelusion
February 17, 2025 22:46 10m 8s abc_warn_diff_commit
abc_warn_diff_commit
February 17, 2025 22:46 10m 8s
fixup! Makefile: Warn if submodule status '+'-prefixed Build docs artifact with Verific #907: Commit dc03e17 pushed by KrystalDelusion
February 17, 2025 22:46 1m 51s abc_warn_diff_commit
abc_warn_diff_commit
February 17, 2025 22:46 1m 51s
Cover all cases of submodule status in check-git-abc Build docs artifact with Verific #906: Pull request #4908 opened by KrystalDelusion
February 17, 2025 22:39 6m 31s abc_warn_diff_commit
abc_warn_diff_commit
February 17, 2025 22:39 6m 31s
Makefile: 'U'-prefixed submodule status Build docs artifact with Verific #905: Commit 03d9138 pushed by KrystalDelusion
February 17, 2025 22:33 5m 16s abc_warn_diff_commit
abc_warn_diff_commit
February 17, 2025 22:33 5m 16s
liberty: fix clear and preset latches Build docs artifact with Verific #904: Pull request #4907 opened by widlarizer
February 17, 2025 16:44 1m 50s emil/fix-clear-preset-latch
emil/fix-clear-preset-latch
February 17, 2025 16:44 1m 50s
liberty: fix clear and preset latches Build docs artifact with Verific #903: Commit 2b33937 pushed by widlarizer
February 17, 2025 16:37 7m 30s emil/fix-clear-preset-latch
emil/fix-clear-preset-latch
February 17, 2025 16:37 7m 30s
Copy abc stuff for pyosys to enable use of the abc pass Build docs artifact with Verific #902: Pull request #4901 synchronize by akashlevy
February 15, 2025 00:44 8m 42s akashlevy:pyosys_copy_abc
akashlevy:pyosys_copy_abc
February 15, 2025 00:44 8m 42s
Merge pull request #4899 from YosysHQ/shr_int_max Build docs artifact with Verific #901: Commit 508e732 pushed by KrystalDelusion
February 14, 2025 20:52 1m 50s main
main
February 14, 2025 20:52 1m 50s
share: add -pattern-limit to limit analysis effort Build docs artifact with Verific #900: Pull request #4904 synchronize by widlarizer
February 14, 2025 20:13 9m 37s emil/share-limit-effort
emil/share-limit-effort
February 14, 2025 20:13 9m 37s
share: add -pattern-limit to set analysis effort on branch-unbranch m… Build docs artifact with Verific #899: Commit 8968986 pushed by widlarizer
February 14, 2025 20:13 8m 2s emil/share-limit-effort
emil/share-limit-effort
February 14, 2025 20:13 8m 2s
share: add -pattern-limit to limit analysis effort Build docs artifact with Verific #898: Pull request #4904 opened by widlarizer
February 14, 2025 20:12 1m 55s emil/share-limit-effort
emil/share-limit-effort
February 14, 2025 20:12 1m 55s
Fix macOS boost-python issues Build docs artifact with Verific #897: Pull request #4903 opened by akashlevy
February 14, 2025 19:47 7m 37s akashlevy:boost_python_fix_macos
akashlevy:boost_python_fix_macos
February 14, 2025 19:47 7m 37s
aldffs do not get split by splitcells pass Build docs artifact with Verific #896: Pull request #4902 opened by akashlevy
February 14, 2025 18:55 7m 30s akashlevy:splitcells_aldff_fix
akashlevy:splitcells_aldff_fix
February 14, 2025 18:55 7m 30s
Copy abc stuff for pyosys to enable use of the abc pass Build docs artifact with Verific #895: Pull request #4901 opened by akashlevy
February 14, 2025 18:44 7m 37s akashlevy:pyosys_copy_abc
akashlevy:pyosys_copy_abc
February 14, 2025 18:44 7m 37s
share: add -pattern-limit to set analysis effort on branch-unbranch m… Build docs artifact with Verific #894: Commit 48f16eb pushed by widlarizer
February 14, 2025 17:58 5m 31s emil/share-limit-effort
emil/share-limit-effort
February 14, 2025 17:58 5m 31s
Fix runtime error on shift by INT_MAX Build docs artifact with Verific #893: Pull request #4899 opened by KrystalDelusion
February 14, 2025 01:18 1m 45s shr_int_max
shr_int_max
February 14, 2025 01:18 1m 45s
Fix runtime error on shr INT_MAX Build docs artifact with Verific #892: Commit 4c72896 pushed by KrystalDelusion
February 14, 2025 01:04 8m 19s shr_int_max
shr_int_max
February 14, 2025 01:04 8m 19s
Add test for shifting by INT_MAX Build docs artifact with Verific #891: Commit fba6b19 pushed by KrystalDelusion
February 14, 2025 00:28 7m 39s shr_int_max
shr_int_max
February 14, 2025 00:28 7m 39s
write_xaiger: Detect and error on combinatorial loops Build docs artifact with Verific #890: Pull request #4898 opened by Anhijkt
February 13, 2025 23:42 2m 1s Anhijkt:fix-xaiger-segfault
Anhijkt:fix-xaiger-segfault
February 13, 2025 23:42 2m 1s
formalff: Document -declockgate option Build docs artifact with Verific #889: Commit 43b5e10 pushed by jix
February 12, 2025 16:47 7m 49s jix/prerelease-2025-02-12
jix/prerelease-2025-02-12
February 12, 2025 16:47 7m 49s
Add abstract pass for formal verification Build docs artifact with Verific #888: Pull request #4894 synchronize by jix
February 12, 2025 16:18 6m 8s emil/abstract
emil/abstract
February 12, 2025 16:18 6m 8s