|Date||10 June 2012, 1300 CEST|
|Participants||Hiroshi Sako, Joey Coleman, Kenneth Lausdahl, John Fitzgerald, Marcel Verhoef, Nick Battle, Peter Gorm Larsen, Shin Sahara|
The action item list is maintained as a tracker on SourceForge.
v9.0.2b - Thu 07-Jun-2012 10:08:32 +0900
Publishing in Japanese
VDM Project in Japan
The RM 3438625 feature from the Language Board to add map patterns was added to VDMJ and is therefore available for informal testing. A small bug fix went in for the parser to avoid problems with expressions like “mk_token()”. The coverage Latex output was tweaked to detect overloaded functions and operations and differentiate the coverage information in the summary table.
We have now completed most of the implementation to the new AST except for the interpreter. We have implemented a test suite that runs c. 4K tests on each build. There is only a about 5 tests failing at the moment when considering the parser, type checker and proof obligation generator.
The build server link for the new ASTv2 version is 1 and the output version build is located at 2. To future improve the quality of the tool we enabled coverage information to the collected from all test cases [http://overture.iha.dk:8080/job/Overture-ASTv2/lastBuild/emma/?]. A more detailed version is also available for e.g. the type checker, (only available when not building), 3.
Following the query from Net Meeting 62, is there any need to maintain compatibility with Maven 2? At NM63, no-ne suggested any cuase to maintain this.
Detail at SF.net Transition
Summary: Joey would like to transition the hosting environment at SourceForge to the new system they are developing. They plan to migrate all projects ‘in the next few months’, this would just move us a bit early. The new environment appears to be stable, and is used by the COMPASS and DESTECS projects.
Suggested transition date in Week 24 (next week).
Not yet written up; this should be available before September’s meeting.
Nothing to report
The Strategic Research Agenda is reviewed every other NetMeeting.
See Planned Publications.
2 September 2012