Skip to content

4.4.1 VS Code Client Release
Compare
Choose a tag to compare
@nickbattle nickbattle released this 20 Nov 13:38
· 2175 commits to master since this release
4.4.1-1
2d41b6b

This is the first release to be included in the VS Code Client. It includes changes to the LSP/DAP subsystem to support this, as well as other fixes and improvements in the language engine.

4.4.1 Build 201120, Initial release
4.4.1 Build 210104, Fixed "stop" bug #21 in debugger, move DBGP into a separate module/jar.
4.4.1 Build 210105, Updated vdmjc client for separate DBGP jar. Updated user guide for threads.
4.4.1 Build 210106, Renamed VDMJC to DBGPC and moved documentation.
4.4.1 Build 210107, Added break, trace, list and remove commands to debugging environment, issue #41.
4.4.1 Build 210113, Final release, used in VS Code Client.

The latest assets are attached to this release.

Assets 25
Loading