search

UCSD-PL / refscript

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

Option for non-linear arithmetic support #115

Closed panagosg7 closed 9 years ago

panagosg7 commented 9 years ago

To enable add:

/*@ option REALS */

to (the beginning of) your file.

E.g. https://github.com/UCSD-PL/RefScript/blob/real-opt/tests/pos/simple/non-linear.ts