Commit Graph

18150 Commits

Author SHA1 Message Date
AdvaySingh1 e2b71b0d55 Added -word arg 2026-03-04 14:51:47 -08:00
AdvaySingh1 2836cc8f25 Added test cases for the infer_ce pass 2026-03-04 12:03:38 -08:00
AdvaySingh1 26adc17fd7 Revert "Changed to for chacterization"
Removing changing _DFF_ to dff for chacterization
2026-03-04 10:43:53 -08:00
Akash Levy 96104b4431 Merge branch 'main' into sat_clkgate 2026-03-03 20:57:42 -08:00
Akash Levy 958f1c608a
Merge pull request #116 from Silimate/autoscope
Autoscope
2026-03-03 20:49:13 -08:00
Akash Levy 1de7182d14
Merge pull request #114 from Silimate/vcd-fork
Vcd fork
2026-03-03 20:48:44 -08:00
Stan Lee 7e8331dd95 greptile 2026-03-03 15:15:26 -08:00
Akash Levy f126ab94fa
Merge pull request #117 from Silimate/negopt_revision_1
negopt: fix quadratic blowup by adding index hints and deferring nuse…
2026-03-02 21:23:22 -08:00
tondapusili b438fd1fe9 negopt: fix quadratic blowup by adding index hints and deferring nusers to filter 2026-03-02 19:33:25 -08:00
Stan Lee a1470e14fe typos 2026-03-02 12:57:37 -08:00
Stan Lee a449e6ab38 always dump available scopes 2026-03-02 12:19:09 -08:00
Stan Lee 83e05a6509 fixes 2026-03-02 12:07:59 -08:00
Stan Lee da25b800bc finalized 2026-03-02 11:05:44 -08:00
Stan Lee 6594ff508f improvement 2026-03-02 00:42:34 -08:00
Akash Levy 7d96a7f73c Update aigmap to go a lot faster using aig template cache and uniquify cache 2026-03-01 22:35:06 -08:00
Akash Levy b03f73653f Update abc to fix bug 2026-03-01 21:43:26 -08:00
Akash Levy b19948b03a Fix manylinux2014 build: add elfutils-devel, libdwarf-devel for dwarf.h
Made-with: Cursor
2026-03-01 18:14:55 -08:00
Akash Levy 965bc9da31 Fix manylinux2014 build: use quay.io/pypa/manylinux2014_x86_64 image
The manylinux2014 image provides Python 3.13 and a GCC toolchain
already configured for glibc 2.17 compatibility, avoiding the
Python 3.6 syntax issues with bare centos:7.

Made-with: Cursor
2026-03-01 17:50:29 -08:00
Akash Levy acc08c96c4 Add manylinux2014 (CentOS 7, glibc 2.17+) wheel build to release workflow
Adds a parallel build-manylinux-wheel job using centos:7 container
with devtoolset-11 alongside the existing Alpine/musl wheel build.
Uses auditwheel to tag wheel as manylinux2014_x86_64.

Made-with: Cursor
2026-03-01 17:36:32 -08:00
Stan Lee c459a74c13 autoscoping 2026-03-01 15:39:35 -08:00
Akash Levy 83862bda99 Fix race condition: wait for Linux wheel in latest before macOS upload
The macOS job could upload to the latest release before the Linux
job recreated it, causing the macOS wheel to be lost. Now wait
for the Linux wheel to appear in latest first.

Made-with: Cursor
2026-02-28 20:41:07 -08:00
Akash Levy d62702bd70 Fix macOS wheel: set MACOSX_DEPLOYMENT_TARGET=11.0
actions/setup-python sets a deployment target older than 10.15,
which makes std::filesystem unavailable. Explicitly set 11.0.

Made-with: Cursor
2026-02-28 20:04:59 -08:00
Akash Levy b2b1e651f7 Fix macOS wheel: use Python 3.13 via setup-python, switch to macos-15
The macos-14 runner ships Python 3.14 by default, producing wheels
incompatible with Python 3.13 environments. Pin to 3.13 using
actions/setup-python and switch to macos-15 for consistency.

Made-with: Cursor
2026-02-28 19:33:39 -08:00
Akash Levy fe8d302472 fix: add retries to macOS wheel upload for race condition with Linux job
Made-with: Cursor
2026-02-28 18:53:38 -08:00
Akash Levy 1bb440ef15 refactor: build wheels only (no tarballs) for linux amd64 and macOS arm64
Remove standalone tarball builds. The release now produces only
pyosys Python wheels for both platforms.

Made-with: Cursor
2026-02-28 18:14:48 -08:00
Akash Levy 3d5cb87c90 Fix macOS build: remove pip3 install pybind11
pybind11 is not needed since ENABLE_PYOSYS=0, and pip3 fails on
the macos-15 runner due to externally-managed-environment.

Made-with: Cursor
2026-02-28 18:02:51 -08:00
Akash Levy e2b343a34f Fix macOS build: install ccache, disable pyosys
The macOS runner doesn't have ccache or pybind11 pre-installed.
Install ccache via brew and disable ENABLE_PYOSYS since we only
need the binary tarball (not the wheel) for macOS.

Made-with: Cursor
2026-02-28 17:27:20 -08:00
Akash Levy 9e29b7d761 Add macOS arm64 build to release workflow
Adds a build-macos job on macos-15 that builds Verific tclmain and
yosys with SMALL=1, bundles non-system dylibs, and uploads
yosys-macos-arm64.tar.gz alongside the existing Linux assets.

Made-with: Cursor
2026-02-28 16:49:32 -08:00
Akash Levy df261f46e3 feat: bundle shared library deps and set RPATH in release tarball
Copies all non-system shared library dependencies into lib/, then
uses patchelf to set RPATH to $ORIGIN/../lib for bin/ executables
and $ORIGIN for lib/ libraries.

Made-with: Cursor
2026-02-28 15:26:53 -08:00
Akash Levy 944d0b370a fix: clean between wheel and tarball builds to avoid TCL mismatch
The wheel build uses ENABLE_TCL=0, but the standalone yosys binary
needs ENABLE_TCL=1. Without a clean, stale .o files cause undefined
reference errors for TCL symbols.

Made-with: Cursor
2026-02-28 13:49:53 -08:00
Akash Levy fe4a997549 fix: add flex-dev for FlexLexer.h header
Made-with: Cursor
2026-02-28 13:14:04 -08:00
Akash Levy 402d6b0566 fix: add libdwarf-dev and elfutils-dev for backward-cpp headers
Made-with: Cursor
2026-02-28 12:38:16 -08:00
Akash Levy 7a35a982d3
Merge pull request #111 from Silimate/timing_balance_impl
silimate: add opt_timing_balance pass and tests
2026-02-28 12:22:23 -08:00
Akash Levy e7e15b6120 fix: add Alpine/musl shims for libtcl and libnsl
Verific tclmain links -ltcl and -lnsl. Alpine tcl-dev provides
libtcl8.6.so (no libtcl.so symlink), and musl has no libnsl.
Create symlink and stub shared lib to satisfy the linker.

Made-with: Cursor
2026-02-28 12:20:32 -08:00
Akash Levy 0b0c19b271 fix: use SSH_PRIVATE_KEY secret for private submodule access
Use the same SSH key approach as source-vendor.yml for cloning
private submodules (abc, verific).

Made-with: Cursor
2026-02-28 12:09:28 -08:00
Akash Levy 708637f65a fix: use PAT for private submodule access (abc, verific)
Deploy keys are repo-scoped and can't access multiple private repos.
Use a PAT (SUBMODULE_PAT) that has access to all required repos.

Made-with: Cursor
2026-02-28 12:07:03 -08:00
Akash Levy 44beeb5213 fix: use SSH deploy key for private verific submodule checkout
Made-with: Cursor
2026-02-28 12:05:26 -08:00
Akash Levy 2c1d160930 fix: trigger release workflow on main branch, not master
Made-with: Cursor
2026-02-28 12:03:52 -08:00
AdvaySingh1 877e97de06 Changed to for chacterization 2026-02-27 15:23:50 -08:00
Akash Levy fc4ff6ecd2 Add release workflow 2026-02-27 15:01:06 -08:00
Akash Levy 18c3a0b907 Remove old linefile loops stuff 2026-02-27 14:53:44 -08:00
Advay Singh 8974f3473f
Update passes/silimate/infer_ce.cc
Co-authored-by: greptile-apps[bot] <165735046+greptile-apps[bot]@users.noreply.github.com>
2026-02-27 12:37:49 -08:00
AdvaySingh1 90aa1cc016 Checked out main passes/techmap/clockgate.cc for source attributes and removed logging 2026-02-27 12:24:31 -08:00
AdvaySingh1 ce95d7cbcf Removed notes.txt 2026-02-27 12:22:29 -08:00
Stan Lee 8ee71ddc7f bugfix 2026-02-27 12:19:14 -08:00
Stan Lee 93af5a5232 in order 2026-02-27 12:17:43 -08:00
Stan Lee c42d2c2d03 support for nested structs 2026-02-27 11:54:43 -08:00
Stan Lee d36e2f7d17 resolve accidental change 2026-02-27 11:40:13 -08:00
Stan Lee 03ce300b49 another indent 2026-02-27 11:29:31 -08:00
Stan Lee fa1267e0cb fix indents 2026-02-27 11:27:37 -08:00