Use `;` for comments in SMTParse (as done in SMTLIB) - Githubissues

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

BSD 3-Clause "New" or "Revised" License

132 stars 60 forks source link

Use `;` for comments in SMTParse (as done in SMTLIB) #700

Closed ranjitjhala closed 1 month ago