Skip to content

Actions: YosysHQ/yosys

Build docs artifact with Verific

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
659 workflow runs
659 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #4815 from YosysHQ/verific_bounds_fix
Build docs artifact with Verific #620: Commit f384eac pushed by nakengelhardt
December 12, 2024 11:59 4m 30s main
December 12, 2024 11:59 4m 30s
Verific frontend: fix top_bound/bottom_bound attributes
Build docs artifact with Verific #619: Pull request #4815 opened by nakengelhardt
December 12, 2024 10:53 2m 33s verific_bounds_fix
December 12, 2024 10:53 2m 33s
bound attributes: handle vhdl null ranges
Build docs artifact with Verific #618: Commit 378864d pushed by nakengelhardt
December 12, 2024 10:42 5m 25s verific_bounds_fix
December 12, 2024 10:42 5m 25s
CI: Fixes from zizmor
Build docs artifact with Verific #617: Commit e609a59 pushed by KrystalDelusion
December 12, 2024 03:01 2m 11s krys/zizmor
December 12, 2024 03:01 2m 11s
test: every test everywhere all at once
Build docs artifact with Verific #616: Pull request #4814 opened by widlarizer
December 12, 2024 00:42 1m 50s emil/make-test-fasterer
December 12, 2024 00:42 1m 50s
test: every test everywhere all at once
Build docs artifact with Verific #615: Commit 603e5eb pushed by widlarizer
December 12, 2024 00:28 2m 28s emil/make-test-fasterer
December 12, 2024 00:28 2m 28s
this is what breaks it, somehow
Build docs artifact with Verific #614: Commit 190107c pushed by widlarizer
December 11, 2024 17:00 1m 4s emil/gzip-refactor
December 11, 2024 17:00 1m 4s
add more tests for bounds attributes, fix attributes appearing in ver…
Build docs artifact with Verific #613: Commit 03033ab pushed by nakengelhardt
December 11, 2024 16:22 2m 3s verific_bounds_fix
December 11, 2024 16:22 2m 3s
io: refactor string and file work into new unit
Build docs artifact with Verific #612: Commit 25d4c4a pushed by widlarizer
December 11, 2024 14:44 5m 56s emil/gzip-refactor
December 11, 2024 14:44 5m 56s
io: refactor string and file work into new unit
Build docs artifact with Verific #611: Commit a2696d4 pushed by widlarizer
December 11, 2024 14:35 6m 10s emil/gzip-refactor
December 11, 2024 14:35 6m 10s
Unsupported targets removal
Build docs artifact with Verific #610: Pull request #4813 opened by mmicko
December 11, 2024 11:38 3m 16s micko/mxe_removal
December 11, 2024 11:38 3m 16s
Remove cygwin support, users should use gcc target for it
Build docs artifact with Verific #609: Commit b9e0429 pushed by mmicko
December 11, 2024 11:36 3m 23s micko/mxe_removal
December 11, 2024 11:36 3m 23s
Next dev cycle
Build docs artifact with Verific #608: Commit e91e95f pushed by mmicko
December 11, 2024 08:13 1m 56s main
December 11, 2024 08:13 1m 56s
Release version 0.48
Build docs artifact with Verific #607: Commit aaa5347 pushed by mmicko
December 11, 2024 07:57 1m 53s v0.48
December 11, 2024 07:57 1m 53s
Release version 0.48
Build docs artifact with Verific #606: Commit aaa5347 pushed by mmicko
December 11, 2024 07:35 3m 6s main
December 11, 2024 07:35 3m 6s
Add -blackbox option to setundef pass
Build docs artifact with Verific #605: Pull request #4812 opened by KrystalDelusion
December 10, 2024 23:20 2m 38s krys/setundef_blackbox
December 10, 2024 23:20 2m 38s
setundef: Add test for -blackbox
Build docs artifact with Verific #604: Commit 1d374fd pushed by KrystalDelusion
December 10, 2024 23:16 2m 19s krys/setundef_blackbox
December 10, 2024 23:16 2m 19s
Merge pull request #4799 from povik/wrapcell-unused
Build docs artifact with Verific #603: Commit 4bd6061 pushed by povik
December 10, 2024 20:16 1m 50s main
December 10, 2024 20:16 1m 50s
Merge pull request #4809 from povik/rm-global-tcl-h
Build docs artifact with Verific #602: Commit 3ce7283 pushed by povik
December 10, 2024 19:36 1m 58s main
December 10, 2024 19:36 1m 58s
Merge pull request #4803 from povik/write_verilog-buf
Build docs artifact with Verific #601: Commit 86fad8f pushed by povik
December 10, 2024 19:11 2m 42s main
December 10, 2024 19:11 2m 42s
Merge pull request #4802 from povik/abc9-box-repeat
Build docs artifact with Verific #600: Commit f7ad003 pushed by povik
December 10, 2024 19:08 3m 38s main
December 10, 2024 19:08 3m 38s
Merge pull request #4737 from povik/abc_new-design-boxes
Build docs artifact with Verific #599: Commit ea38fcc pushed by povik
December 10, 2024 19:07 2m 19s main
December 10, 2024 19:07 2m 19s
Merge pull request #4804 from povik/read_liberty-comb-cells
Build docs artifact with Verific #598: Commit e9c7967 pushed by povik
December 10, 2024 16:50 4m 27s main
December 10, 2024 16:50 4m 27s
Merge pull request #4810 from YosysHQ/emil/fix-dfflibmap-test
Build docs artifact with Verific #597: Commit aed32a1 pushed by widlarizer
December 10, 2024 16:46 1m 57s main
December 10, 2024 16:46 1m 57s
tests: fix dfflibmap test
Build docs artifact with Verific #596: Pull request #4810 opened by widlarizer
December 10, 2024 14:50 5m 30s emil/fix-dfflibmap-test
December 10, 2024 14:50 5m 30s