search

ucsd-progsys / liquid-fixpoint

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

Allow AND of zero conjuncts #631

Closed shingarov closed 1 year ago

shingarov commented 1 year ago

Cf. PR630

ranjitjhala commented 1 year ago

Thanks again @shingarov !!!