ecdar 2.3.5

ℹ️ 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

ecdar 2.3.4

This release provides platform specific distributions for Linux and Windows, which include the needed JRE. This relieves the requirement for correct local Java versions

Minor fixes:

• Nail placement outside component bounds FIXED
• Edge dropdown-menu placement FIXED

ecdar 2.3.3

The j-Ecdar engine has been added
The Reveaal engine has been updated
The GUI now supports components generated by the engines through query execution (using the get query type)
The backend communication has been updated to use a more robust concurrency approach

Minor updates to the GUI:

• Pop-up displaying query result information when the status icon is clicked added
• 'Launching ECDAR...' is now printed out in the launched terminal
• Disappearing icons for zoom operations and query status has been fixed
• Validation of component names and queries to avoid unsupported characters
• Channels used for both input and output are now colored red, to signal an error

ecdar 2.3.2

ℹ️ Only contains the Reveaal engine

• README has been added
• Examples have been added
• Reveaal has been updated to a newer version
• Updates to the GUI:
  • Dragging of elements within components has been fixed
  • Synchronization channels appearing in both inputs and outputs are now marked in red
  • Logo has been updated
  • The automatic connection to bundled backends improved
  • Minor improvements to how queries are handled after they are canceled

ecdar 2.3.1

• Only contains the Reveaal engine
• Includes updates to the UI

ecdar 2.3.0 beta

• Very early beta version of the new architecture
• Only contains the Reveaal engine
• Can check refinement

ecdar 2.2

Version intended to work with the old Tiga-0.17 engine.