Repository navigation

Production readiness: i18n support, export/UI polish, and critical engine/frontend bug fixes - #69

Merged

kovzol merged 4 commits into

kovzol:masterfrom

Aug 18, 2026

Merged

Production readiness: i18n support, export/UI polish, and critical engine/frontend bug fixes#69
kovzol merged 4 commits into
kovzol:masterfrom
khush3e:master

Commits on Jul 31, 2026
- Fix PDF export formatting for subproofs and adjust UI chevron slots
  khush3e
  committed
  d26ebdf
- Fix use-after-free bug in proc_nq causing memory allocation failure
  khush3e
  committed
  594c869
Commits on Aug 11, 2026
- i8n of error messages for all current avialable languages(french,hungarian,arab,german)
  khush3e
  committed
  59709b6
Commits on Aug 13, 2026
- Fix heap overflows, wrong Boolean proof validation, crash/UB bugs, and memory leaks across the Qt/WASM frontend and proof engine; wire regression suite into CI
  khush3e
  committed
  9d915bb