|Date||17 December 2017, 00:00 CET|
|Participants||PGL, NP, NB, TO. Minutes by NB.|
Two RMs are currently active, #42 and #43. See https://github.com/overturetool/language/issues.
RM#42 modifies the recursive measure sematics to allow in-line expressions, which generate implicit functions in the same way as pre/postconditions. This RM is in the Execution phase and has been implemented in VDMJ; Overture will follow.
RM#43 modifies function application syntax to dispense with brackets and commas for arguments. This is currently in the Community Discussion phase and will remain so until 7th Jan. One negative response received so far; further input was requested from the Core.
A Request for Clarification (of the LRM) has also been received, regarding the syntax of function signatures and the use of the total function indicator (+>). Advice will be sought from PGL.
Has been updated for the RM#42 measure changes, though not yet released. Some minor bug fixes since the last NM.
We’re mostly working on addressing some memory leak issues in the generated code. Hopefully we’ll have these issues fixed by the end of the next week.
Overture 2.5.6 was released on December 11. The release dates for 2018 are as follows:
The plan is to release a new version of VDM2C early January (2018).
Four meetings are proposed for 2018 to encourage more people to attend. Meeting invites will be sent out with electronic invites attached (PGL) and more reminders will be given (NB).
See download stats on the downloads page. Note that many of these downloads are thought to be due to bots which download and re-distribute free software.
See Planned Publications.
NP drew attention to the next FORMALiSE meeting on 2nd June 2018, Gothenburg, Sweden: http://www.formalise.org/
The LB would like to remind everyone in Core that nominations for the LB membership in 2018 is now open. A separate email will be sent with details, but the current plan is to close nominations in mid-Jan.