v1.0.0

Final release for submission. Attempted to fix inclusion of tutorial-assertion-trace5.csp and added note in case it gets overwritten.

v0.0.6

Adjust Docker tagging for easier reproducibility. Added content for LEGOS-SLEEC.

v0.0.5

Fixed license in zenodo json.

v0.0.4

One last fix?

v0.0.2

Fixed release infrastructure.

Initial release

Initial release.