search

UCSD-PL / refscript

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

Demo not working #146

Closed lazywithclass closed 6 years ago

lazywithclass commented 6 years ago

When navigating to http://goto.ucsd.edu/~pvekris/refscript I am redirected to http://goto.ucsd.edu:3003/, which errors as there doesn't seem to be a service running on that port.

panagosg7 commented 6 years ago

Hi @lazywithclass! Thanks for your interest in refscript! I rebuilt and restarted the server that hosted the demo, so it should be available in the link you shared above.

Note, however, that this project has not been maintained for at least two years.

lazywithclass commented 6 years ago

Yes, I've seen the last commit is quite old, I'm going through the source to learn how you achieved refinements types.

Thanks a lot for keeping the server up and running even if you're not actively working on the project. Just out of curiosity, did you stop working on refinement types for TypeScript or there's a more up to date repo with your work?

ranjitjhala commented 6 years ago

RefScript was @panagosg7 's Ph.D dissertation work, but he has since graduated and gone on to other fun projects ;-)

lazywithclass commented 6 years ago

@ranjitjhala I see. By the way, I've much appreciated this video and this other video you made! :D