|Date||1 April 2012|
|Participants||Peter Gorm Larsen, John Fitzgerald, Kenneth Lausdahl, Nico Plat, Shin Sahara, Joey Coleman|
The action item list is maintained as a tracker on SourceForge.
Just some minor tweaks and fixes this period. There was a fix to SL to allow “old” state to be referred to in a postcondition as a whole (eg. Sigma~) as well as individual state items; the binary operators were changed so that stepping the debugger only stops “on” the left and right expressions rather than on the operator itself - this makes for much more sensible stepping through very long chains of “and” clauses (for example); made a small fix to the way complex sequence comprehensions work, after Shin spotted a bug :)
Announced for discussion by Sune on 26 March; agreed in meeting that it can be moved to execution.
Versions 1.2.0 and 1.2.1 have been released, the latter being a very minor bugfix. There was an issue with dependencies in the build of the latter, but that has been sorted, and that particular problem will not recur.
The ASTv2 transition is now a focus, and we will have that integrated and released as soon as possible.
Version control for the source code is switching from SVN to Git on sourceforge; IHA and Nick Battle are testing the workflow at present. Joey will watch for changes in the SVN tree, but all further development should happen in the Git repository. The primary motivation for the transition is to allow better management of parallel streams of development.
The Strategic Research Agenda is reviewed every other NetMeeting.
Please update Planned Publications.