Contains main code for generation. Run by calling the sbt command generation/run.

Macros for simplifying the DSL. Currently unused.

Contains code for evaluating an Operation (along with its conditions).

Contains example code generated by the program.

Contains the main generation code along with its ADT's and dependencies.

Mostly contains code from the sp-control domain, or adaptations of code from there.