search

typetools / checker-framework

Pluggable type-checking for Java
http://checkerframework.org/
Other
990 stars 347 forks source link

Broken link on manual entry for 29.24 ReIm immutability #6510

Open smonteiro opened 2 months ago

smonteiro commented 2 months ago

See (https://checkerframework.org/manual)

29.24 ReIm immutability A checker and inference tool for ReIm ‍[HMDE12, Hua14], an immutability type system, is available at http://www.cs.rpi.edu/~huangw5/cf-inference/.

^That last link yields a 404 Not Found

jyoo980 commented 2 months ago

Thanks for reporting this! You are correct that the link you provided (http://www.cs.rpi.edu/~huangw5/cf-inference/) is returning a 404.

I think the closest replacement I found is here: https://github.com/proganalysis/type-inference.

@mernst Do you think replacing the 404 link with the one I found is a workaround? plume-bib may also need the same update.