Minutes of the LB NM, 29th August 2021

Present: TO, NB, LF, HM. Minutes by TO. Conveyer: TO Secretary: TO

The meeting started at 11:10 (CEST).

1. Minutes of the previous meeting

2. Status of open actions

• TO to update the LRM.

  done

3. Discussion of open RMs and issues raised

• RC #52 Can multi-line comments be nested?

  done

• RC #49 Expression and Statement Clarifications

  We keep discussing this issue. NB to initiate creation of comparison table between let/def expression/statement. TO to ask how they were handled in the interpreter of VDMTools.

• RC #50 Inconsistency with eq_T and ord_T signatures

  The LB continues the discussion on this RC.

The issues below are waiting for tool development side.

• RC #44 Total Functions

  keep the RC open and add "overture" label to indicate that this should be revised when releasing VSCode.

• Issue #46 VDM Annotations

  keep the RC open and add "overture" label to indicate that this should be revised when releasing VSCode.

4. Working Groups

• Discussion of OOs issues
• Documenting the complete set of POs for VDM

5. Additional Github issues

   None

6. Other Business

   None

7. Open actions

• NB to start creating difference table between let/def expression/statement.

• TO to ask developers of VDMTools about how let/def expressin/statement are handled.

Meeting closed 12:00 - 50 minutes.