Minutes of the LB NM, 26th Nov 2023

Present: LF, NB, TO, KP; Minutes by TO

Convener: KP Secretary: TO

The meeting started at 11:00 (CET).

1. Minutes of the previous meeting

Minutes reviewed and accepted.

2. Status of open actions

• LF: To investigate the most appropriate type of sort to constraint ord clauses, and define the POs required. See issue

  VDMJ generated required POs.

• NB: draft an Appendix for the LRM describing the behaviour of T! types, if enabled.

  NB posted a draft at https://github.com/overturetool/language/issues/50#issuecomment-1705438096 .

3. Discussion of open RMs and issues raised

• RC #50 Inconsistency with eq_T and ord_T signatures

  The LRM needs to be updated. Action on TO. The issue can be closed.

4. Working Groups

• Discussion of OOs issues

• Documenting the complete set of POs for VDM

5. Additional Github issues

• #58 Redefining VDM recursive measures as well-founded lexicographic tuples

  Discussion will be continued on the github issue.

6. Other Business

7. Open actions

• TO: update the LRM to include https://github.com/overturetool/language/issues/50#issuecomment-1705438096 .
• TO: announce the LB election to the core list.

Meeting closed 11:59 - 59 minutes.