Skip to content

Commit

Permalink
[autorelease] Yosys 0.48.
Browse files Browse the repository at this point in the history
  • Loading branch information
@whitequark @github-actions
whitequark authored and github-actions[bot] committed Dec 12, 2024
1 parent 5a0064e commit 87fa2e2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion yosys-src
Submodule yosys-src updated 7 files
+0 −3 CHANGELOG
+2 −2 Makefile
+9 −17 frontends/verific/verific.cc
+1 −1 frontends/verific/verific.h
+0 −45 tests/verific/bounds.sv
+9 −100 tests/verific/bounds.vhd
+5 −167 tests/verific/bounds.ys

0 comments on commit 87fa2e2

Please sign in to comment.