Tags

Tags give the ability to mark specific points in history as being important

2.1

aa062c4d · Merge branch 'master' into public · Oct 26, 2026

Release: ASYNC case studies and clean ups.

This minor release contains:
- a polished version of the PACTOLE type classes based model.
- New case studies including
  - algorithms using colours
  - algorithms on the ASYNC variant of the model
- cleaned up case studies, including axioms removal.