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

nub using Set and Map instead of HashMap #654

Closed facundominguez closed 1 year ago

facundominguez commented 1 year ago

This has the advantage of making the output of nub'ing deterministic and makes easier to reproduce behaviors in different systems.

When running benchmarks in LH it didn't make a difference.