Skip to content

Transpillation to ApalacheIR

Closed Jan 9, 2024 100% complete

To run TNT specs in the model checker, we'll need to convert the TNT AST into the ApalacheIR and serialize it into JSON.

For the Apalache side, see https://github.com/informalsystems/apalache/milestone/74

Loading