Minutes of the LB NM, 28th Aug 2022

Present: TO, NB, LF, AH, HM; Minutes by NB; Apologies KP.

Convener: TO Secretary: NB

The meeting started at 11:00 (CEST).

1. Minutes of the previous meeting

Minutes reviewed and accepted.

2. Status of open actions

• NB to ask the Overture core for comments on RC#49.

NB did this, and got an response asking for clarification.

3. Discussion of open RMs and issues raised

• RC #49 Expression and Statement Clarifications

In the absence of any comments against the proposal, agreed to move this to the implementation stage.

• RC #50 Inconsistency with eq_T and ord_T signatures

A request will be sent to Core, asking for ideas. But failing any progress, the current situation will be documented and the issue closed.

• RC #53 Missing PO on ordering predicates

This was deemed to be a bug, since the LB does not maintain an official list of POs (yet).

4. Working Groups

• Discussion of OOs issues

No progress.

• Documenting the complete set of POs for VDM

No progress.

5. Additional Github issues

No new issues were raised.

6. Other Business

None.

7. Open actions

• NB. To progress the implementation of RM #49
• LF: To raise an issue on VDMJ, relating to issue #53.
• TO: Resend note to Core about #50.

Meeting closed 11:55 - 55 minutes.