Default Branch

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

Branches

8783dcfd73 · Merge pull request #513 from maliberty/update-zlib · Updated 2026-06-15 19:21:47 +02:00

137
0
Included

1e130338f0 · Make sure we detect these errors in future · Updated 2026-06-09 08:20:13 +02:00

143
3

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

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

210
1

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

256
0
Included

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

274
6

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

313
0
Included

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

472
0
Included

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

639
0
Included

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

641
0
Included

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

814
7

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

769
0
Included

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

714
1

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

802
0
Included

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

803
0
Included

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

803
0
Included

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

719
1

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

795
0
Included

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

796
0
Included

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

719
0
Included