https://github.com/overturetool/overturetool.github.io/issues/18 - no progress. Peter/Nick to discuss f2f in January
https://github.com/overturetool/overturetool.github.io/issues/32 - to be discussed under Licensing section below
Overture Language Board Status
RMs RMs ready for annotations and proof obligation generation from total functions. Both need some work with Overture integration. Kenneth may be able to help in a couple of weeks. PGL also has has 2 students investigating if VDM can work with Language Server Protocol
Clarified Ordering of operators in LRM
Status of VDMTools/ViennaTalk
Fix release of ViennaTalk “Cologne”
bugfix on VDMPad (diagram presentation)
Public ViennaDoc example at https://viennatalk.org/ViennaDoc/counter.html
Released version 9.0.10 https://github.com/vdmtools/vdmtools/tree/v9.0.10
bugfix on inst var invariants
java 11 support
Status of the Overture Components
A couple of minor bugs fixed, one to do with parsing of specification statements, and another to do with the calculation of when record types are “infinite”.
Same problems fixed in VDMJ.
Discussed which versions of Java Overture currently supports (7+?)
PVJ has proposed dates for 2020
Overture 2019 Workshop was successful but small bumber of participants.
A couple papers from the workshop will go for the LNCS post-proceedings
Licensing of Overture source code
Progress has stalled. Best overview of status is here https://github.com/overturetool/overture/issues/705#issuecomment-545606478