Add MinGW/MSYS2 build support and CI#8
Closed
robtaylor wants to merge 41 commits into
Closed
Conversation
…o-required Fix backward required-time propagation through boxes
…-boxes Fix two bugs causing problems with &trace and boxes.
…, and absDup cosmetic - Tim_ManInitPoRequiredAll: only overwrite PO required times when ALL are unconstrained; preserve user-specified constraints - Gia_ObjPropagateRequired: propagate infinity unchanged through LUTs - Tim_ManGetCoRequired: guard against infinity minus delay arithmetic - Gia_ManDelayTraceLut: handle infinite required times in slack computation; allow negative slack to report timing violations - Tim_ManCreate: fix required-time loading to address actual POs via Tim_ManForEachPo instead of p->pCos[] (wrong for designs with boxes) - Tim_ManGetArrTimes/Tim_ManGetReqTimes: fix loop-exit detection using boolean flag instead of comparing iterator index against PO/PI count - Gia_ManPrintFlopClasses: use Gia_ManRegBoxNum instead of Gia_ManRegNum Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
…nity Fix required time handling for unconstrained POs, infinity arithmetic, and cosmetic problem in absDup.c
Signed-off-by: JingrenWang <wjrforcyber@163.com>
Fix(Windows): Update to windows-2025
Signed-off-by: JingrenWang <wjrforcyber@163.com>
Refactor(Workflow): Windows build refactor
…ng big files. Signed-off-by: Drew Lewis <cannada@google.com>
Avoid O(n^2) work on gzipped liberty data
Fix &synch2 crash with creating wrong mapping
Add a new build-mingw.yml workflow that builds ABC using MinGW64/MSYS2 on windows-latest. This provides CI coverage for the MinGW build path added in the previous commit, using ABC_USE_STDINT_H=1 and -DWIN32 -DWIN32_NO_DLL to handle MinGW platform quirks. Co-developed-by: Claude Code v2.1.90 (claude-sonnet-4-6)
Owner
Author
|
Not needed any more |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
7 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Rebased version of berkeley-abc#435 with fixes and CI workflow, for testing before upstream submission.
LIBS += -lshlwapi(was=, which overwrote all accumulated libs)MINGW%uname toOS := MINGWfor clean conditionals-lrt/-ldlon MINGWbuild-mingw.ymlCI: MSYS2/MINGW64 onwindows-latest