rlcheck: Add link to public github repo in README.md and INSTALL.md

researchart / rose6icse

12 stars 71 forks source link

rlcheck: Add link to public github repo in README.md and INSTALL.md #201

Closed carolemieux closed 4 years ago

carolemieux commented 4 years ago

Added instructions to build the code (https://github.com/sameerreddy13/rlcheck) from source in README.md and INSTALL.md, as an alternative to getting it from the docker container.