Morten Haahr Kristensen

Provide launch and tasks files

8

I suggest adding a `launch.json` and `tasks.json` to the project that easily allows newcomers to get started with debugging/building the project in VSCode.

Updating FMU interfaces

1

Thank you for creating such a great tool. I can see myself using this in many cases. I have a question that might seem a bit trivial but I think...

VDM++ indirections and invariants

30

This issue is somewhat similar to #197. As part of an upcoming paper for OVT-21, ChessVDM, we were discussing some of the performance optimizations made in VDMJ related to VDM++...