VStar Development
VStar has been made possible by the work of numerous people. This page provides information about how to contribute to VStar's development.
This 15 minute video demonstrates the use of GitHub, git, branches and Eclipse to contribute to VStar's code base:
Any Eclipse IDE for Java Developers version from the last few years should be fine. Version 2020-03 (4.15.0) or higher is recommended. In addition, the ANTLR 4 SDK must be installed
and configured with the settings shown:
