This repository hosts the StaticJava Compiler (sjc) source code for K-State CIS 706 graduate course on Translator Design I.
Alternatively, you can use Java and Sbt included in Sireum v3 (either IVE or CLI).
Java can be found at
Sbt can be found at
Compiling and Testing
sbt "sjc <filepath.java>"
sbt "sjc sjc/src/test/java/Power.java"
It is recommended to use Sireum IVE which comes with all the necessary plugins for this project.
Alternatively, you can use IntelliJ with the following plugins installed: