sp-model-dsl
generation
Contains main code for generation. Run by calling the sbt command generation/run.
macros
Macros for simplifying the DSL. Currently unused.
Packages
evaluate
Contains code for evaluating an Operation (along with its conditions).
generated
Contains example code generated by the program.
internal
Contains the main generation code along with its ADT's and dependencies.
model
Mostly contains code from the sp-control domain, or adaptations of code from there.