Crate workflow

Defines the workflow representation used internally by the checker.

Re-exports

• pub use spec::*;

Modules

• compile
  Defines conversion functions between the Checker Workflow and the WIR.
• eflint
  Defines a compiler of the Checker Workflow to the eFLINT JSON Specification.
• optimize
  Optimizes a Workflow by aggregating elements that we can aggregate.
• preprocess
  Defines a preprocessing step on a WIR that simplifies it to increase the support of the simpler checker workflow.
• spec
  Defines the checker workflow itself.
• utils
  Defines some utilities used in multiple places in this crate.
• visualize
  Implements a simple traversal over the Workflow to print it neatly to some writer.