Skip to content

v0.02

Choose a tag to compare

View all tags
@melintea melintea released this 28 Jun 19:12
· 381 commits to main since this release
v0.02
5bd6d55
  • Successfully translates a couple of sample plantuml specs.
  • Translations pass the "usual" spin verifications.
  • Support for preconditions, postconditions and invariants
Assets 2
Loading