mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-28 11:25:53 +00:00
Code Activity

Merge branch 'YosysHQ:main' into main

Browse source
This commit is contained in:
Akash Levy 2024-12-05 13:54:47 -08:00 • committed by GitHub
commit c720175c73
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -164,7 +164,7 @@ ifeq ($(OS), Haiku)
CXXFLAGS += -D_DEFAULT_SOURCE CXXFLAGS += -D_DEFAULT_SOURCE
endif endif
YOSYS_VER := 0.47+149 YOSYS_VER := 0.47+201
# Note: We arrange for .gitcommit to contain the (short) commit hash in # Note: We arrange for .gitcommit to contain the (short) commit hash in
# tarballs generated with git-archive(1) using .gitattributes. The git repo # tarballs generated with git-archive(1) using .gitattributes. The git repo

1
frontends/aiger2/xaiger.cc
View file

@ -341,7 +341,6 @@ struct Xaiger2Frontend : public Frontend {
/* unused box_id = */ read_be32(*f); /* unused box_id = */ read_be32(*f);
auto box_seq = read_be32(*f); auto box_seq = read_be32(*f);
log("box_seq=%d boxes.size=%d\n", box_seq, (int) boxes.size());
log_assert(box_seq < boxes.size()); log_assert(box_seq < boxes.size());
auto [cell, def] = boxes[box_seq]; auto [cell, def] = boxes[box_seq];