Add release automation, Docker support, Windows cross-compilation, and enhanced REPL experience#80

Open

Francesco146 wants to merge 53 commits intokfl:develfrom

Francesco146:gnu-tty-stds-and-fixes

Commits on Nov 5, 2025

Normalize main signatures in auto-aux tests, add missing includes, and modernize signal handling
Francesco146
committed
Use rlwrap for interactive REPL (when stdin is a terminal)
Francesco146
committed
Use pkg-config to locate GMP headers and libs; add common fallbacks
Francesco146
committed
CI: simplify workflow triggers, reformat job YAML, and upgrade actions/checkout to v5
Francesco146
committed
intinf/Makefile: add more GMP fallback paths and guard -I/-L flags
Francesco146
committed
CI: expand build matrix and add macOS arm64 + Windows builds; stage installs, add rlwrap, upload artifacts and create release job
Francesco146
committed
CI: adjust install and staging in buildAndTest workflow; run actual installs and create staging for artifacts
Francesco146
committed
CI: remove Windows build job and stop installing gmp on macOS
Francesco146
committed

Commits on Nov 7, 2025

Commits on Nov 8, 2025

Commits on Nov 9, 2025

Commits on Nov 14, 2025

Commits on Dec 4, 2025

fix(workflow): include gnu-tty-stds-and-fixes branch in push triggers
Francesco146
committed