retire deprecated engines; separately compiled library/runtime - #106

Merged

Kraks merged 11 commits into

mainfrom

Aug 15, 2026

Commits on Jul 24, 2026

refactor wip
Kraks
committed
a19f618

Commits on Aug 15, 2026

disable test
Kraks
committed
1ed8a5a
refactor to separately compiled library (by codex)
Kraks
committed
23fd8d8
fix clang targeting x86; adapt external function gen to imp engine
Kraks
committed
eb33f0f
update clang to target x86
Kraks
committed
1a9d45d
update makefile to make it robust to arch
Kraks
committed
e57b684
add missing file
Kraks
committed
2d0f394
update makefile; first time library compilation is non failure
Kraks
committed
7d5da75
install llvm 11
Kraks
committed
a1933be
reorg tests
Kraks
committed
e980b33
remove uesless files
Kraks
committed
76d4d5d