|Date||9 February 2020|
|Participants PGL, NB, TO, HM||Minutes by KP|
A list of actions can here found here.
No meeting was held.
Dr. K keeps maintaining the code.
A student of Prof. Katayama at Miyazaki Univ developed VDM++ for VSCode.
NB managed to make progress on some of the very old bugs that we’ve had on the Overture buglist for a few years. A complete list of mergable fixes is here.
Of particular note:
The POG and missing measures warnings now deal with mutual recursion. This is currently limited to a mutual “depth” of 8 calls in a loop (eg. a calls b, b calls c, c … and h calls a) to avoid excessive TC computation.
Stack overflow errors are now caught and reported sensibly at runtime, rather than just crashing the JVM.
#ifdef processing is now working, and more flexible.
NB also tidied the bug list, rationalised the labels and closed a few issues where we could.
NB: would recommend we consider a bug fix release to pick up the mergable fixes mentioned above.
NB completed a review of the copyright-origin of the files that comprise the Overture source tree and put the results in the IPR issue (https://github.com/overturetool/overture/issues/705). The analysis makes some simplifying assumptions (see the issue), but we believe the result is essentially correct.
One possible way forward - perhaps some way away - is the work that Hugo is doing with the Language Server Protocol implementation. NB discussed this with Hugo while in Aarhus. The advantage for us is that having an LPS server independent of the IDE means that we can separate the IPR concerns.
See Planned Publications.