|Date||2016-03-13 00:00:00 +0100|
|Participants||CT, HS, KP, LDC, MV, NB, PGL, SS, TO, VB, PJ. Minutes by PJ.|
Two new RMs were submitted last night. Both of these have been advanced and briefly discussed at today’s LB NM. See https://github.com/overturetool/language/wiki/Minutes-of-the-LB-NM%2C-13th-March-2016-2016 for details.
Other than that the LB is having a meeting with Simon torrow about the first deliverable about the VDM UTP semantics.
The negotiation between Kyushu Univ and SCSK went forward. They are still in transaction, but the process is moving forward.
The following bugs have been fixed since the last NM (bug numbers refer to VDMJ’s issues). Where applicable, the same bugs have been fixed in Overture.
We’re starting to move towards Java8. Overture 2.3.2 is the last version of Overture that will support Java7.
The pilot study is available at http://overturecloudide.privatedns.org, where only VDM-SL is supported at the moment. The features supported are:
There are still issues on the backend concerning integration with the Overture core, where parsing and type checking sometimes produces concurrecy exception, such as ConcurrentModificationException when lists are iterated.
The code for both the frontend and backend is available at https://bitbucket.org.
In the future these sources need to be moved to n open repository such as GitHub.
Overture 2.3.2 is finally out.
Wrt release planning PGL has suggested some dates to be targeted for the rest of the year.
See download stats on the downloads page
The Strategic Research Agenda is reviewed every other NetMeeting.
See Planned Publications.
For licensing of Overture PGL has started a discussion in a small subgroup about whether it would make sense to host it (and VDMTools) under an OpenModelica like construction.