SimplicityHL versioning - #112

Draft

Sdoba16 wants to merge 8 commits into

BlockstreamResearch:devfrom

Sdoba16:feature/versioning-hl

Commits on Jul 16, 2026

Add simc directive reading and compiler version resolution
Sdoba16
committed
Add out-of-process compiler store, provisioning and lockfile to the SDK
Sdoba16
committed
Add source-free program artifact with index-based witness satisfaction
Sdoba16
committed
Compile programs with the pinned out-of-process simc at runtime
Sdoba16
committed
Extract contract ABI to JSON sidecars for the macro and runtime
Sdoba16
committed
Add the simplex toolchain command for compiler management
Sdoba16
committed
Pin builds lock-first and embed compiler version, sources and ABI in bindings
Sdoba16
committed
Pin examples and fixtures to a resolved compiler and add address smoke tests
Sdoba16
committed