search

tweag / pirouette

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

Remove TLA+ from the codebase. #56

Closed VictorCMiraldo closed 2 years ago

VictorCMiraldo commented 2 years ago

This is just an application of https://github.com/tweag/pirouette/commit/b1118a140be8f6d16994ff18bd1ab97335140961 on top of a modified #55