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
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.