Skip to content

GitLab

GitLab update scheduled for Friday, December 10th between 08:15 and 08:45 CEST. If unpleasant, please contact René or Martin.

Merged
Created by René Schöne@rschoeneOwner

Clean-up, document and rename some attributes.

  • Structured analysis file to better find attributes, and documented some of the attributes
  • Added one error test case for a role being already declared (see Errors and ErrorsLeft)
  • Removed unused attributes
  • Renamed attributes to better match their purpose
  • Effectively removed LeftDirection from analysis, as it is now parsed as an inversed RightDirection (as we do not have round-trip parse-print-parse tests, this is not a problem)