Skip to content

Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface

License

Notifications You must be signed in to change notification settings

overturetool/overture-fmu

Repository files navigation

Overture FMU Simulation and Exporter

License

Dependencies

This project depends on (See https://gitlab.au.dk/software-engineering/tool-dependencies/-/wikis/Overture-FMU):

Release procedure

Prepare

  1. Move all open issued to next milestone
  2. Close the current milestone
  3. Create the release note:
cd releaseNotes/
./github-fetch-milestone-issues.py 
git add ReleaseNotes_* && git commit -m "updated release note" && git push
  1. Perform the release
  • Update overture.release.properties to contain the release version and the next development version and commit/push this change.
  • Checkout the release branch and merge this change.
  • Go to the build task found here and instruct the build server to perform the release by checking and clicking 'Yes'.
  1. Create a github release with the content of the release note and attach the fmu-import-export JAR and p2 repository from http://overture.au.dk/into-cps/vdm-tool-wrapper/master/latest/
  2. Merge the newly released tag into master and push this change
  3. Update the into-cps dev release bundle. Latest bundle from here: https://github.com/into-cps/into-cps.github.io/tree/development/download