Default Branch

yosys-experimental a51bf4a7bb · WASI fix · Updated 2026-08-18 11:37:14 +02:00

Branches

Search

mmicko/wasifix 89e4192076 · WASI fix · Updated 2026-08-18 12:07:47 +02:00	144 1
master 5ea3464324 · Merge pull request #535 from aiquoc/experiment-x-aware-equivalence-checking · Updated 2026-08-17 08:21:07 +02:00	144 0	Included
yosys_pdr 2238c1ff69 · pdr -X to write CEXes immediately · Updated 2026-07-02 13:04:37 +02:00	176 1
upsteaming 9794114a68 · Change to ABC_NO_HISTORY so it is possible to change externally · Updated 2026-06-25 14:15:03 +02:00	186 0	Included
cmake_windows 1e130338f0 · Make sure we detect these errors in future · Updated 2026-06-09 08:20:13 +02:00	214 0	Included
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	265 1
update e795eaa451 · Fix WASI and make prototype valid · Updated 2026-03-09 15:02:31 +01:00    luke	284 1
wasi_upstream f2ae808236 · MINGW proper pthread handling · Updated 2026-01-29 09:28:21 +01:00    luke	330 0	Included
msvc_fix 1b64948c9b · fixes · Updated 2025-12-29 10:50:16 +01:00    luke	348 6
upstreaming 35d19a9f33 · WASI build fix for solver command · Updated 2025-12-22 12:32:43 +01:00    luke	387 0	Included
remove-cadical 5ecc7c333c · Revert addition of CaDiCaL · Updated 2025-03-11 20:17:47 +01:00    luke	546 0	Included
povik/fix-mfs-ub 013023f1bf · Fix UB in `&mfs -r` print · Updated 2025-01-20 12:45:53 +01:00    luke	713 0	Included
povik/merge-241003 745ea92718 · Merge remote-tracking branch 'upstream/master' into yosys-experimental · Updated 2024-10-03 16:12:07 +02:00    luke	715 0	Included
imctk-sat-patches d9b5bf65e8 · glucose2: Don't try to justify toplevel assignments · Updated 2024-09-07 13:16:20 +02:00    luke	888 7
povik/revert-pdr de8620d777 · Revert "pdr -X to write CEXes immediately" · Updated 2024-08-12 22:53:53 +02:00    luke	843 0	Included
codeql 25e3bb089c · CodeQL · Updated 2024-08-12 11:31:16 +02:00    luke	788 1
povik/fix-atomic_store-call 2d267786d7 · Include `stdbool.h` for portability of atomic calls · Updated 2024-08-07 18:13:45 +02:00    luke	876 0	Included
povik/rm-buffering-asserts 2a8ea11ce0 · Remove extra asserts in buffering code · Updated 2024-08-07 18:04:35 +02:00    luke	877 0	Included
povik/fix-transfer-timing afbeccb79e · Handle edge case in Gia_ManTransferTiming · Updated 2024-08-07 17:35:20 +02:00    luke	877 0	Included
bump-240807 1776063db4 · Handle edge case in Gia_ManTransferTiming · Updated 2024-08-07 17:27:57 +02:00    luke	793 1