luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
6,292 Commits 27 Branches 57 Tags 58 MiB

Default Branch

yosys-experimental

30c47da5c9 · Merge remote-tracking branch 'upstream/master' into yosys-experimental · Updated 2026-06-15 19:40:58 +02:00
 ZIP  TAR.GZ

Branches

master

8783dcfd73 · Merge pull request #513 from maliberty/update-zlib · Updated 2026-06-15 19:21:47 +02:00
137
0
 Included
 ZIP  TAR.GZ
cmake_windows

1e130338f0 · Make sure we detect these errors in future · Updated 2026-06-09 08:20:13 +02:00
143
3
 ZIP  TAR.GZ
fix_pthread

3660246ece · Fix compile error in eSLIM when ABC_USE_PTHREADS is not used · Updated 2026-04-23 07:41:57 +02:00    luke

191
1
 ZIP  TAR.GZ
update

e795eaa451 · Fix WASI and make prototype valid · Updated 2026-03-09 15:02:31 +01:00    luke

210
1
 ZIP  TAR.GZ
wasi_upstream

f2ae808236 · MINGW proper pthread handling · Updated 2026-01-29 09:28:21 +01:00    luke

256
0
 Included
 ZIP  TAR.GZ
msvc_fix

1b64948c9b · fixes · Updated 2025-12-29 10:50:16 +01:00    luke

274
6
 ZIP  TAR.GZ
upstreaming

35d19a9f33 · WASI build fix for solver command · Updated 2025-12-22 12:32:43 +01:00    luke

313
0
 Included
 ZIP  TAR.GZ
remove-cadical

5ecc7c333c · Revert addition of CaDiCaL · Updated 2025-03-11 20:17:47 +01:00    luke

472
0
 Included
 ZIP  TAR.GZ
povik/fix-mfs-ub

013023f1bf · Fix UB in `&mfs -r` print · Updated 2025-01-20 12:45:53 +01:00    luke

639
0
 Included
 ZIP  TAR.GZ
povik/merge-241003

745ea92718 · Merge remote-tracking branch 'upstream/master' into yosys-experimental · Updated 2024-10-03 16:12:07 +02:00    luke

641
0
 Included
 ZIP  TAR.GZ
imctk-sat-patches

d9b5bf65e8 · glucose2: Don't try to justify toplevel assignments · Updated 2024-09-07 13:16:20 +02:00    luke

814
7
 ZIP  TAR.GZ
povik/revert-pdr

de8620d777 · Revert "pdr -X to write CEXes immediately" · Updated 2024-08-12 22:53:53 +02:00    luke

769
0
 Included
 ZIP  TAR.GZ
codeql

25e3bb089c · CodeQL · Updated 2024-08-12 11:31:16 +02:00    luke

714
1
 ZIP  TAR.GZ
povik/fix-atomic_store-call

2d267786d7 · Include `stdbool.h` for portability of atomic calls · Updated 2024-08-07 18:13:45 +02:00    luke

802
0
 Included
 ZIP  TAR.GZ
povik/rm-buffering-asserts

2a8ea11ce0 · Remove extra asserts in buffering code · Updated 2024-08-07 18:04:35 +02:00    luke

803
0
 Included
 ZIP  TAR.GZ
povik/fix-transfer-timing

afbeccb79e · Handle edge case in Gia_ManTransferTiming · Updated 2024-08-07 17:35:20 +02:00    luke

803
0
 Included
 ZIP  TAR.GZ
bump-240807

1776063db4 · Handle edge case in Gia_ManTransferTiming · Updated 2024-08-07 17:27:57 +02:00    luke

719
1
 ZIP  TAR.GZ
povik/yosyshq-commands

5444cf281c · Improved anytime pdr · Updated 2024-08-07 15:46:44 +02:00    luke

795
0
 Included
 ZIP  TAR.GZ
povik/yosyshq-build

68c99247bd · Fix archive reproducibility · Updated 2024-08-07 15:40:04 +02:00    luke

796
0
 Included
 ZIP  TAR.GZ
povik/merge-240807

bf64a92253 · Merge remote-tracking branch 'upstream/master' into yosys-experimental · Updated 2024-08-07 12:57:53 +02:00    luke

719
0
 Included
 ZIP  TAR.GZ