Closed ranjitjhala closed 9 years ago
Many changes to bring rsc up-to-date with the latest liquid-fixpoint.
rsc
liquid-fixpoint
Note that true is still considered a trivial refinement (but 0 < 1 is not) so we have to lamely denote public or exported functions with 0 < 1 -- which clearly needs to be fixed.
true
0 < 1
public
exported
Many changes to bring
rscup-to-date with the latestliquid-fixpoint.Note that
trueis still considered a trivial refinement (but0 < 1is not) so we have to lamely denotepublicorexportedfunctions with0 < 1-- which clearly needs to be fixed.