v0.05

• Support for LTL
• trace support

v0.04.1

• Updated documentation & other small tweaks
• Promela invariants fix

v0.03

The PlusCal model is now available and moderately usable (I guess).

v0.02

• Successfully translates a couple of sample plantuml specs.
• Translations pass the "usual" spin verifications.
• Support for preconditions, postconditions and invariants

v0.01

This version is able to process the double-switch plantuml spec into promela code that can simulate and validate it.