Skip to content

Release v1.1.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 27 Nov 09:43
v1.1.0
55c7081
  • Re-added the possibility to show counter examples.
  • Re-added the compiler related commands.
  • Updated the language server to v2.2.0.
Assets 3
Loading