Setup

• download intellij community

• choose to install the scala plugin with it.

• ABOUT DOWNLOADNING THE SCALA SDK AND SHIZ

• import the project into intellij

• Check if the antlr dependency is properly added. If it isnt, add it to the library (cmd+; -> libraries)

Run

• cat tests/correct/overshift.c | ./toSSA | ./prepostToCode