Fix CI: modernize Windows build and deduplicate triggers#5

Open

robtaylor wants to merge 123 commits into

mainfrom

Commits on May 1, 2020

Makefile: break apart steps in `make clean`

xobs
authored and
eddiehung
committed
Add support for WASI platform in tmpFile.

whitequark
authored and
eddiehung
committed
Add support for WASI platform in cmdCheckShellEscape.

whitequark
authored and
eddiehung
committed
Add support for WASI platform in Gia_ManGnuplotShow.

whitequark
authored and
eddiehung
committed
Add support for WASI platform in Abc_ShowFile.

whitequark
authored and
eddiehung
committed
Add support for WASI platform in Util_SignalSystem.

whitequark
authored and
eddiehung
committed
Remove ABC_NO_RLIMIT macro, use defined(__wasm) instead.

whitequark
authored and
eddiehung
committed

Commits on Jun 22, 2020

Commits on Nov 25, 2020

Makefile: support ccache for compiling ABC.

sterin
authored and
cr1901
committed
Merge pull request #8 from cr1901/dep-ccache
whitequark
authored

Commits on Nov 12, 2021

Commits on Nov 19, 2021

write_cex - add minimize using algorithm from cexinfo command
mmicko
committed

Commits on Nov 27, 2021

Extend WASI platform support for glucose2.
whitequark
committed

Commits on Mar 4, 2022

Commits on Mar 22, 2022

fix buffer error
mmicko
committed

Commits on Apr 13, 2022

Make read_cex able to append if some latches are missing
mmicko
committed

Commits on Apr 15, 2022

Fix for unhandled aiw file commands
mmicko
committed

Commits on Apr 18, 2022

Merge pull request #14 from YosysHQ/micko/read_cex_fix
mmicko
authored

Commits on May 6, 2022

Commits on Jul 1, 2022

Commits on Jul 4, 2022

Commits on Jul 7, 2022

Commits on Jul 15, 2022

Commits on Jul 25, 2022

Export version
mmicko
committed

Commits on Jul 27, 2022

Merge pull request #18 from josuah/yosys-experimental
mmicko
authored

Commits on Aug 5, 2022

Commits on Sep 7, 2022

Support using large liberty files
mmicko
committed

Commits on Sep 8, 2022

Additional fix for large liberty files
mmicko
committed

Commits on Nov 9, 2022

Merge remote-tracking branch 'upstream/master' into yosys-experimental
mmicko
committed

Commits on Feb 4, 2023

Commits on Feb 15, 2023

casts: add casts for unsigned -> signed int
xobs
committed

Commits on Feb 23, 2023

Commits on Jun 6, 2023

Commits on Jun 28, 2023

Commits on Sep 11, 2023

Merge remote-tracking branch 'upstream/master' into yosys-experimental
mmicko
committed

Commits on Sep 13, 2023

Commits on Oct 13, 2023

disable command history
mmicko
committed

Commits on Feb 7, 2024

pdr -X to write CEXes immediately
jix
committed

Commits on Feb 9, 2024

Fix pdr timing output
jix
committed

Commits on Feb 27, 2024

Improved anytime pdr
jix
committed

Commits on Mar 3, 2024

Skip -ldl on NetBSD; it does not exist. Skip -lrt on NetBSD; it is
thorpej
committed

Commits on Mar 4, 2024

Merge pull request #27 from jix/pdr-X
jix
authored

Commits on Mar 31, 2024

Fix Assertion using &if: `pCutSet->nCuts > 0'
davidar
committed

Commits on Apr 1, 2024

Apply patch to If_ObjPerformMappingChoice too
davidar
committed

Commits on Apr 11, 2024

Commits on Apr 18, 2024

Support out of tree builds

RCoeurjoly
authored and
whitequark
committed

Commits on Apr 22, 2024

Commits on Apr 23, 2024

Patch for lack of `system` on WASM
povik
committed

Commits on May 8, 2024

Modify include guards in cmd.c so that Windows compilers don't compile Unix-only code.

cr1901
authored and
mmicko
committed

Commits on Jun 27, 2024

Fix archive reproducibility
lf-
committed

Commits on Jul 8, 2024

Merge pull request #35 from lf-/jade/fix-gitarchive
widlarizer
authored

Commits on Aug 7, 2024

Merge remote-tracking branch 'upstream/master' into yosys-experimental
povik
committed

Commits on Aug 8, 2024

Commits on Oct 3, 2024

Merge remote-tracking branch 'upstream/master' into yosys-experimental
povik
committed

Commits on Oct 7, 2024

Revert "Merge pull request #247 from QuantamHD/abc_unit_tests"

alanminko
authored and
widlarizer
committed

Commits on Jan 20, 2025

Commits on Mar 11, 2025

Commits on Mar 12, 2025

Fix mingw compilation
mmicko
committed

Commits on Jul 29, 2025

Merge remote-tracking branch 'upstream/master' into yosys-experimental
mmicko
committed

Commits on Aug 5, 2025

Disable this code for now
mmicko
committed

Commits on Sep 3, 2025

Merge remote-tracking branch 'upstream/master' into yosys-experimental
mmicko
committed

Commits on Oct 13, 2025

Merge remote-tracking branch 'upstream/master' into yosys-experimental
mmicko
committed

Commits on Oct 20, 2025

Adds unit testing framework to ABC

QuantamHD
authored and
mmicko
committed

Commits on Nov 6, 2025

Commits on Nov 25, 2025

Merge commit 'ba852596b4a11e492e9682662a3e8d1a9be4d765' into yosys-experimental
mmicko
committed

Commits on Dec 5, 2025

Commits on Dec 10, 2025

Commits on Dec 22, 2025

Commits on Dec 29, 2025

Merge remote-tracking branch 'upstream/master' into yosys-experimental
mmicko
committed

Commits on Dec 30, 2025

WASI fixes
mmicko
committed

Commits on Jan 5, 2026

Merge remote-tracking branch 'upstream/master' into yosys-experimental
mmicko
committed

Commits on Jan 19, 2026

Merge remote-tracking branch 'upstream/master' into yosys-experimental
mmicko
committed

Commits on Jan 28, 2026

Merge remote-tracking branch 'upstream/master' into yosys-experimental
mmicko
committed

Commits on Jan 29, 2026

MINGW proper pthread handling
mmicko
committed

Commits on Feb 2, 2026

Merge remote-tracking branch 'upstream/master' into yosys-experimental
mmicko
committed

Commits on Feb 11, 2026

Merge remote-tracking branch 'upstream/master' into yosys-experimental
mmicko
committed

Commits on Feb 22, 2026