search

tweag / pirouette

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

In `dev`: Remove `Logger` and rename `LanguageSMTBranches` #106

Closed VictorCMiraldo closed 2 years ago

VictorCMiraldo commented 2 years ago

Check: https://github.com/tweag/pirouette/pull/99#issuecomment-1155045558

VictorCMiraldo commented 2 years ago

Additionally, rename and document LanguageSMTBranches according to https://github.com/tweag/pirouette/pull/99#discussion_r897627279

serras commented 2 years ago

If you can, please also add the small tree I draw, I think it describes the relationship quite succintly.