search

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
BSD 3-Clause "New" or "Revised" License
141 stars 61 forks source link

Fix bug in SMTParse #699

Closed ranjitjhala closed 3 months ago

ranjitjhala commented 3 months ago

my earlier code was parsing mod as div ... 😞