search

UCSD-PL / refscript

Refinement Types for Scripting Languages
BSD 3-Clause "New" or "Revised" License
65 stars 3 forks source link

Newfixpoint #133

Closed ranjitjhala closed 9 years ago

ranjitjhala commented 9 years ago

Updating rsc to work with new fixpoint. (Have not yet tried the --native solver...)

  1. Minor tweaks to constraint representation, symbols etc.
  2. Added liquid-fixpoint as a submodule
  3. Modify qualifierP to use rsc type parser (and then convert those types to sort).
  4. Build & Test using stack (TODO: update README.md)
ranjitjhala commented 9 years ago

@panagosg7 do you want to try to merge this into master or shall I?

panagosg7 commented 9 years ago

I'll resolve the conflicts