search

tweag / pirouette

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

Be more precise with symbolic evaluation of arguments #98

Closed serras closed 2 years ago

serras commented 2 years ago

This has been superseded by #100. Marking as draft to prevent merging; this should be eventually closed once #100 lands.

serras commented 2 years ago

Closed because #100 has been merged