search

tweag / pirouette

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

Adding an option --ty-spz ALL and adding the specializer to the tests #20

Closed GuillaumeGen closed 3 years ago