search

tweag / pirouette

Language-generic workbench for building static analysis
MIT License
47 stars 2 forks source link

Enable pirouette to extract a PlutusIR program's main term #48

Closed VictorCMiraldo closed 2 years ago

VictorCMiraldo commented 3 years ago

There should be a way to extract the main term into TLA+, currently, we can only extract declarations. I think there are two ways of doing this: put the main program in the declaration map or handle it independently