Repository navigation

All pull requests

Labels (8)Milestones (0)New pull request

Open

(47)

Closed

(290)

Fix &acec ignoring the last two primary outputs
#580ToukoUrsin opened Oct 6, 2026
Fix read_truth crash on invalid input and genlib UTF-8 BOM handling
#579learningHWSW opened Oct 5, 2026
Refs.c: Change the synopsis comment of function Abc_NodeRefDeref and …
#576fusang991 opened Oct 4, 2026
Add MSVC build support and install rules to CMake build.
#510manuelkNVDA opened May 28, 2026
Demonstrate and fix SIGBUS problems on sparc64
#504petterreinholdtsen opened Apr 26, 2026
3
Makefile: Respect LDFLAGS when linking shared library
#495ziyao233 opened Apr 5, 2026
1
sat: bmc: Explicitly include stdint.h if necessary
#494ziyao233 opened Apr 5, 2026
Update actions for Node 24
#493robtaylor opened Apr 3, 2026
Add per-object origin tracking (vOrigins) to Gia_Man_t
#487robtaylor opened Feb 28, 2026
57
Fix &if crash after dch -f by leveling dangling choice nodes
#467EPTansuo opened Dec 26, 2025
1
Add explicit #include <iterator> to avoid transitive dependency
#459dinoruic opened Dec 16, 2025Contributor
Refactor(Cut): Explicit Comp
#452wjrforcyber opened Nov 5, 2025Contributor
Feat(Log2Compute): Efficient gcc/clang support
#449wjrforcyber opened Oct 26, 2025Contributor
The target's INTERFACE_INCLUDE_DIRECTORIES should not contain a path …
#448ccadar opened Oct 24, 2025
Fix interact undefined behavior
#441zerowe-seven opened Sep 22, 2025
Fix Memory allocation for large size above 2Gb
#439toolinfo opened Sep 1, 2025
Refactor bit counting functions to use Abc_WordCountOnes
#4360xtaruhi opened Aug 25, 2025
Add Windows fixes so abc compiles natively with GCC.
#435cr1901 opened Aug 9, 2025Contributor
5
Evaluate choices used in mapping
#433chestercc1997 opened Jul 25, 2025
Fix(hMetis): Move const to largest index + 1
#430wjrforcyber opened Jul 13, 2025Contributor
Diagnosis
#421xNTsai opened Jun 12, 2025
2
Fix C++ compilation on newer compilers
#342rurban opened Nov 2, 2024
2
Fix undefined behavior: invalid access of NULL ptr.
#197hzeller opened Nov 21, 2022Contributor
3
cmake/xplatform builds using github/tox/conda workflows
#187sarnold opened Oct 10, 2022
4
Fix variable name in makefile.
#175titan73 opened Jul 5, 2022

Navigation Menu

Repository navigation

All pull requests

Fix &acec ignoring the last two primary outputs

Fix read_truth crash on invalid input and genlib UTF-8 BOM handling

Refs.c: Change the synopsis comment of function Abc_NodeRefDeref and …

Add MSVC build support and install rules to CMake build.

Demonstrate and fix SIGBUS problems on sparc64

Makefile: Respect LDFLAGS when linking shared library

sat: bmc: Explicitly include stdint.h if necessary

Update actions for Node 24

Add per-object origin tracking (vOrigins) to Gia_Man_t

Fix &if crash after dch -f by leveling dangling choice nodes

Add explicit `#include <iterator>` to avoid transitive dependency

Refactor(Cut): Explicit Comp

Feat(Log2Compute): Efficient gcc/clang support

The target's INTERFACE_INCLUDE_DIRECTORIES should not contain a path …

Fix interact undefined behavior

Fix Memory allocation for large size above 2Gb

Refactor bit counting functions to use Abc_WordCountOnes

Add Windows fixes so abc compiles natively with GCC.

Evaluate choices used in mapping

Fix(hMetis): Move const to largest index + 1

Diagnosis

Fix C++ compilation on newer compilers

Fix undefined behavior: invalid access of NULL ptr.

cmake/xplatform builds using github/tox/conda workflows

Fix variable name in makefile.

Pull requests