|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.