|Date||27th April 2014|
|Participants||PGL, JF, NB, PJ, HS. Minutes by NB.|
Briefly, there are now two outstanding RMs, one for object patterns and one to remove the periodic/sporadic threads from VDM++ since it does not have a meaningful concept of time anyway.
Also, a page of the differences between Overture and VDMTools has been produced: http://wiki.overturetool.org/index.php/Differences_between_Overture_and_VDMTools
No report this time.
A selection of small bug fixes this period (this is the VDMJ list, but the same fixes are applied to Overture too). As predicted, given the size of the change, several fixes are to do with the recent type checker changes to add “type constrained” checking of expressions. I think most of these fixes made it into 2.0.6.
2014-04-03 Type constraint fix for variable assignments\
2014-04-03 Correction for type invariant pattern mismatches\
2014-03-28 Correction for function value assignments\
2014-03-23 Type constraint fixes for card, len, mk_() and set ranges\
2014-03-22 Correction to type checking of set intersections\
2014-03-20 First cut of type constraints for Statements\
2014-03-20 Type corrections for iota and map/set/seq comprehensions\
2014-03-19 Correction for map compose calls with incompatible dom/rng\
2014-03-19 And more fixes for type-constrained expressions\
2014-03-18 Yet more fixes for type-constrained expressions\
2014-03-17 More fixes for type-constrained expressions
The latest build of 2.0.7 contains the first “beta” release of the Java code generator.
No new releases have been planned, though a 2.0.8 to include the fixes for the keyword highlighting bugs found recently would be useful, as well as getting the code generator out for wider testing.
See Download stats - 15,595 as of 23/04 (137 since the last NM).
No other progress,
The Strategic Research Agenda is reviewed every other NetMeeting.
See Planned Publications. The list was briefly reviewed and some changes made.
PGL and JF gave a quick update on recent grant applications and student funding, all involving VDM or CML/VDM.