Skip to content

ecdar 2.3.5

Latest
Latest
Compare
Choose a tag to compare
@Nielswps Nielswps released this 02 May 07:45
v2.3.5
da97da5
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

ℹ️ Only contains the Reveaal engine

Changes

  • The grid on the canvas has been removed and the placement of elements no longer snaps in place
  • Contains deadlock? dropdown element and associated query have been removed due to a lack of relevance
  • Consistency-related and bi-similarity query types have been renamed to follow the theory
  • Examples have been reformatted (not all examples are fully tested and EcdarUniversity is recommended)
  • New get-component and additional refinement queries have been added to the EcdarUniversity example
  • Readme has been updated with a How to Run section
  • Contributing related content has been extracted to a separate file

Fixes

  • Issue with engine processes staying alive after the GUI is closed
  • Issue with lost engine connections and unnecessary starts of new processes
  • Default engine always being the first engine in the engine options list
  • Alignment of declarations being incorrect
  • Generated components added twice to the Generated components list
Assets 4