|Date||2016-11-20 00:00:00 +0100|
|Participants||PGL, NB, TO, NP, PJ, SH, JF, SS. Minutes by PJ.|
A new RM has been submitted by Paul Chisholm. This RM suggests to define a default order for types in VDM-SL. See https://github.com/overturetool/language/issues/39
Github repository and community site for VDMTools are available.
Code name “Cyprus” has been released.
The following Overture-specific issues have been addressed:
In addition the number of VDM constructs supported by the C code generator has been extended (work by PJ). Furthermore, Victor is looking into developing garbage collection support to address some of the issus we have with respect to memory management in the generated code. Lastly, Miran is looking into code generation of the distributed aspects of VDM-RT.
Next Overture release is due by December 5, 2016.
See download stats on the downloads page
One way to proceed from here is to identify different subjects and discuss them separately. For example,
NP has prepared a document that contains a number of “How can we?” questions. He will make the document available on the Overture Github page. The photos of the business canvas (the “sticky notes”) still need to be summarised. Furthermore, NP will make a summary of the conclusion on the video so we can discuss it at the next meeting.
See Planned Publications.
The following actions were added during the meeting:
103-1: PGL to create a proposal for a meeting schedule for 2017 - see https://github.com/overturetool/overturetool.github.io/issues/29
103-2: PGL to move December 18 meeting (2016) to January so more people can attend. See https://github.com/overturetool/overturetool.github.io/issues/30