1.1.0
Description
New features and improvements:
- Cross-level contract refinement.
- Support for "timed" time model.
- Improved default user settings.
- Increased tests coverage.
- Used xText editors for textual areas.
- Defined AST for guards/effects on state machines.
- Improved generation and auto-layout of diagrams.
- Created default workspace for V&V analysis.
- Further formal verification of state machine.
- Improved checker manager.
- Fixed Maven warnings.
Conforms To UI/UX Guidelines
Not verified
End of Life
No APIs and significant features are intended to be deprecated in a near future.
Communities
- Wiki prodiving additional resources to follow and contribute to CHESS: https://wiki.eclipse.org/CHESS
- Consult the CHESS forum and ask questions about the tool: https://www.eclipse.org/forums/index.php/f/529/
- GitLab for bug reporting and enhancement requests: https://gitlab.eclipse.org/eclipse/chess/chess/-/issues
- Subscribe to the developers mailing-list to be warned about technical announcements: https://accounts.eclipse.org/mailing-list/chess-dev