|Date||18 January 2015, 13:00 CET|
|Participants||PGL(chair), NB(minutes), PJ, MV, JC, HS, LDC, SS, TO|
Actions 41-1, 80-1 and 82-1 are carried forward. Actions 83-1 and 84-1 are closed. No new actions.
The Language Board was dissolved at the end of 2014. The re-formed LB has yet to meet in 2015. The first meeting will be next Sunday, so no progress to report.
SS has reported the status of VDMTools to be unchanged.
Just small bug fixes in this period:
2014-12-17 Correction to type check of self-referential definitions
2014-01-07 Fixed construction of pre and post types for functions and operations
In addition, there has been made a series of improvements to the Java code generator concerning code generation of scoping of local variables as well hidden definitions and duplicate definitions. The Java code generator now:
Version 2.1.6 released
Version 2.1.6 has been released. The major new thing is the integration of the GUI builder stuff from Porto into the IDE. Other than the usual bug fixes, the only other notable bit is that the command line jar is now bundled in the main distribution zipfiles.
As part of the 2.1.6 release, Joey has revised the process document based on Luís’ experience with 2.1.4. It should be possible for developers to do a release by following the instructions in the document now.
Per the usual pace, 2.1.8 should be expected in late March.
See download stats on GitHub
more info available at http://www.google.com/analytics/ (access must be granted)
There was some discussion about some work being undertaken by Kyushu University on tool support for the generation of specifications from annotated natural language descriptions. There is no progress information available currently, but this will be tracked in future meetings.
This was omitted, since JF was not present.
See Planned Publications.
NB will clarify the status of the 12th Overture Workshop proceedings with JF.
MV updated us with his new contact details, as his previous Chess details are about to expire.