|Date||2016-05-22 00:00:00 +0200|
|Participants||CT, KS, LF, LC, MV, NB, PGL, TO, VB, PJ. Minutes by PJ.|
Two RMs have been moved to the ‘Execution’ phase, which means that the LB will start implementing them in the tool. For more information see the minutes from today’s Language Board meeting:
Nothing new to report.
Various VDMJ bug fixes this period, as usual, applied to Overture where appropriate:
Several fixes related to traces. Also a few fixes for the Java code generator reported by students workin on code generation related projects.
The web IDE currently only supports VDM-SL. Before we implement additional features, and add support for VDM++ and VDM-RT, we need to restructure different parts of the current implementation to make the web IDE more stable and improve performance. We will be experimenting with different approaches for using the Overture core in a multi-user environment. Our issues concern the use of static variables in the Overture core, so we will be using either processes or class loaders to get around this.
A prototype code generator is now available from ``Install New Software …’’. It has support for basic language features, including classes, overriding etc., but complex patterns, record updates, function values etc. are not yet supported. It is still under heavy development, driven by industrial partner case study models.
Anders will release Overture 2.3.6 today. For a list of fixes see:
Overture now requires Java 8 and it also builds against Eclipse Mars (newest Eclipse).
The release also includes a prototype version of a VDM-RT-to-C code generator. The VDM-RT-to-C prototype has been developed by Kenneth Lausdahl and Victor Bandur.
You can install it via the VDM2C update site: ‘Help’ menu -> ‘Install new software’ and choose ‘Overture VDM2C Development’. Also note that this plugin has its own
Tommaso will join the team to work on a summer project from ESA. The idea behind Tommaso’s work will be to make a ASN.1 translation to the VDM type system such that we can easily integrate Overture with TASTE. Some of this is described in MV’s position paper submitted to the previous Overture workshop in Oslo.
See download stats on the downloads page
See Planned Publications.