The error message “To run this application, you first must install one of the following versions of the .NET Framework” ...
This project is a custom checker plugin for the Checker Framework. It is a prototype. It is not yet suitable for use on real code. To get it working properly, we will need to do more work, including ...