tweag / pirouette

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

Automatically generate the flat and pir files for `tests/integration/` #35

Closed VictorCMiraldo closed 2 years ago

VictorCMiraldo commented 3 years ago

Whenever we want to update plutus we will need to regenerate all the needed files by hand. This is not too big of an issue if plutus updates are far an apart, but it would be interesting if we could automate this in the future.