search

UCSD-PL / refscript

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

bitvector #139

Closed BenjaminCosman closed 8 years ago

BenjaminCosman commented 8 years ago

See:

https://github.com/UCSD-PL/refscript/blob/4e62ef9b9618d2e27a3dea21312badf067f303e3/tests/todo/bv-bug.ts

panagosg7 commented 8 years ago

Fixed by c5d7bde