Releases: DEIS-Tools/H-Uppaal
Releases · DEIS-Tools/H-Uppaal
v1.4.0
v1.4.0
There are some new features, but also some changes to how models are stored to disk. It should be backwards compatible, but just to be sure that no data is lost we recommend that when upgrading, that you take a backup of your model(s) before starting the editor.
What's Changed
- Multiline Tags & Bug fixes by @sillydan1 in #50
- New feature - run configurations by @sillydan1 in #51
- Refactor: New Logging framework by @sillydan1 in #52
- Fix: dont escape utf8 characters when saving by @sillydan1 in #54
- Feature: search through project with ctrl + f by @sillydan1 in #53
- Fix: v1.4.0-rc1 feedback issues & bugs by @sillydan1 in #60
- Feature: add a splashscreen/preloader to indicate loading progress by @sillydan1 in #59
Full Changelog: 1.0.6...1.4.0
Contributors
sillydan1
Assets 2
v1.0.6
What's Changed
- Create LICENSE by @ulriknyman in #1
- Gradle update by @yrke in #3
- Furter instructions in installation and run issues by @MBSource in #2
- Upgarde to Java11 and jfoenix by @yrke in #4
- RichText dependencies fix by @Nielswps in #5
- Additional error handling by @Nielswps in #6
- Nickname and invariant fix by @Nielswps in #11
- Interface for UPPAALDriver and Singleton for management by @Nielswps in #9
- ContextMenu update by @Nielswps in #13
- Draggable edges by @Nielswps in #14
- Zoom functionality by @Nielswps in #19
- Dragging tags outside of component fixed by @Nielswps in #18
- Uppaal file not found warning not removed FIX by @Nielswps in #24
- Ensure distance between locations by @Nielswps in #20
- Hide DropDownMenu exception FIX by @Nielswps in #22
- Query and warning delay by @Nielswps in #39
- UPPAAL server updated for queries on change by @Nielswps in #25
- 'New project' and 'Save as' functionalities added by @Nielswps in #30
- Errors/Warnings tab automatically expand REMOVED by @Nielswps in #34
- No main component FIX by @Nielswps in #36
- XML export by @Nielswps in #37
- hcshmk/launch-procedure - Wrap call to JavaFX class in plain Java class in order to fix jfx module loading bug by @hcshmk in #40
- hcshmk/project-dir - Place H-UPPAAL project directory in home folder by @hcshmk in #41
- hcshmk/gradle-and-dependencies - Update Gradle, dependencies and build.gradle by @hcshmk in #42
- tbyrre/improve-file-handling by @tbyrresen in #43
- Java+JavaFX 16, updated libraries, new Gradle, a bunch of misc. fixes by @hcshmk in #46
- hcshmk/java17lts - Update from Java 16 to Java 17 LTS by @hcshmk in #48
- Builds through CI for GNU/Linux, MacOSX and Windows by @sillydan1 in #49
New Contributors
- @ulriknyman made their first contribution in #1
- @yrke made their first contribution in #3
- @MBSource made their first contribution in #2
- @Nielswps made their first contribution in #5
- @hcshmk made their first contribution in #40
- @tbyrresen made their first contribution in #43
- @sillydan1 made their first contribution in #49
Full Changelog: 1.0.5...1.0.6
Contributors
yrke, sillydan1, and 4 other contributors