Der neue Dienst "GitLab am KIT" ist unter erreichbar.

Skip to content
  • Matthias Braun's avatar
    split graph state into properties and constraints · b2008e0b
    Matthias Braun authored
    graph_properties are things that a transformation may destroy but which
    can be easily recalculated.
    graph_constraints are set after lowering phases have been running and
    forbid certain constructs that no (later) transformation is allowed to construct