|Date||2 July 2017, 1200 CEST|
|Participants||PTJ, NB, NP, TO, LDC. Minutes by NB.|
(1): NB and LC have implemented the “order relation” feature in Overture. Next step is to build a standalone version of Overture that contains this feature and make it available for testing
(2) We are working on preparing a process for submitting extensions/changes to the standard librard libraries (similar to what we have for RMs)
With regards to (1), hopefully we can include this feature in the August 14 release of Overture. There will also be some tidy-up changes made to the parser and LRM grammar to make them consistent.
A new release is to be made soon (no other details).
There was a brief discussion about whether it would now be possible to move VDMTools’ “external tests” out of a GitHub repository in Aarhus to GitHub, now that VDMTools is open source. PJ and LDC will look at this.
A debugger for auto-genered Smalltalk code is implemented and integrated with the conventional Smalltalk debugger. The debugger shows the both Smalltalk code and VDM-SL source when debugging auto-generated Smalltalk code and highlights the current PC on the both sources.
A lot of work has been done on RM39 (eq and ord qualifiers for types). This is now in the late stages of testing for both VDMJ and Overture.
Overture has a new experimental feature to identify cyclic dependencies in definitions, which should give more helpful errors than those annoying initialization failures. This needs careful testing before release. It is also available in VDMJ.
This is on track and should contain the RM39 eq/ord language changes, as well as the development changes mentioned above.
See download stats on the downloads page
Without KP or JF on the call, we were unsure of the status of Business Development discussions at NCL. NP will ask for progress, though clearly the workshop in September would be an ideal opportunity to discuss matters face to face.
The Strategic Research Agenda was not reviewed.
Luis and PJ are planning to submit a paper to SAC 2018 about the AGCO project (harvesting). There have not yet been any EasyChair submissions for Workshop 15, and we were reminded of the deadlines - abstracts by 14th July, papers by 24th July.
Also see Planned Publications.
No AOB was discussed.
Meeting closed at 12:39 CET.