overture
overture copied to clipboard
overturetool
The Overture Tool
### Description bintray.com shutdown. 'Overture' and 'Overture-Development' have broken links in repo locations. This causes errors on a new installation when opening 'Available Software Sites'. ### Steps to Reproduce 1....
Bumps [gson](https://github.com/google/gson) from 2.2.4 to 2.8.9. Release notes Sourced from gson's releases. Gson 2.8.9 Make OSGi bundle's dependency on sun.misc optional (#1993). Deprecate Gson.excluder() exposing internal Excluder class (#1986). Prevent...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [gson](https://github.com/google/gson) from 2.2.4 to 2.8.9. Release notes Sourced from gson's releases. Gson 2.8.9 Make OSGi bundle's dependency on sun.misc optional (#1993). Deprecate Gson.excluder() exposing internal Excluder class (#1986). Prevent...
### Description The Overture app won't start on MacOS 12 ### Steps to Reproduce 1. Download the mac zip file 2. Unzip and move to Applications folder 3. Click app...
### Description Our [Gradle plugin](https://github.com/anaplan-engineering/vdm-gradle-plugin) leverages the Overture engine to programmatically animate a specification. As part of the process, it saves a copy of parsed and type checked specifications using...
Bumps [junit](https://github.com/junit-team/junit4) from 4.11 to 4.13.1. Release notes Sourced from junit's releases. JUnit 4.13.1 Please refer to the release notes for details. JUnit 4.13 Please refer to the release notes...
This was recently raised on VDMJ (via VDM VSCode). It is quite useful to correctly parse nested `/* ... */` style block comments because it means you can comment out...
This change is linked to issue #774, enabling nested comments. If #774 is accepted, the editor ought to change to correctly colour-code a nested comment. Without such a change, the...
Bumps commons-io from 2.4 to 2.7. [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a...