Peter shared vhdpi_user_h1.docx and we went through it commenting our thoughts related to previous discussions, and how to move forward for combining it with the header from ghdl-cosim, as well as other general tests.
We talked about the initial infrastructure/plumbing for VHPI (compliance) tests that Marlon is working on in the context of cocotb and GHDL. Compliance-Tests uses pytest and VUnit. For VHPI/DPI tests we will use pytest and shell scripts/makefiles.
Unai commented about the work in progress conversion to LaTeX. A significant part of the LRM was drafted already (clauses 5-8, 10-13 and 17-22). When the currently open MRs are merged, an example will be uploaded to PrivateDocuments for other members to see.
We reviewed Peter and Marlon's access to the GitLab and GitHub organisations and, precisely, to repos Compliance-Tests and LRM-LaTeX.