Application

Decides which mode to run in depending on the configuration provided.

Runs the compiler on the provided specification and prints the resulting Tessla-Core code, depending on the configuration.

Generates documentation.

This mode parses the input, then extracts and processes the documentation strings from each definition. The result is either printed to stdout or to a file, depending on the configuration.

Runs the instrumenter, which evaluates instrumentation annotations on a TeSSLa specification and instruments a provided C program accordingly.

Runs the interpreter on the provided specification and trace, or uses the stdin if no trace is provided.

Launches a lsp4j based language server, to communicate with an IDE

Runs the TeSSLa to Rust compiler on a TeSSLa specification and compiles it to a monitor and library in Rust.

Runs the TeSSLa to Scala compiler, which takes a TeSSLa specification and compiles it to a monitor in Scala.