Enable the osgi.instance.area.default property
Commit the release notes and a script to convert the github issues into
a markdown-formatted list of links.
[ci skip]
Bump IDE pom.xml files to 2.0.6
Merge branch 'master' into release
2.0.6 release notes
Fixed the initial changes for the VDM++ Tutorial. Needs reviewing
Merge remote-tracking branch 'origin/docs' into docs
updated tests prob
changed variable type to super type
Redirected test output to file
Made the IR interface configurable with a package name and template types
Made it possible to instantiate the class type with type parameters
IR classes are put in the default package
Added test for exercising generation of function values and method types
Updated the testing system to execute function value tests
Added the corresponding type (function/operation) to the IR method type
Enabled the test utility to read the module name (class/interface) of a template based module
Added missing type to the identifier variable expression. Also, a flag is set on variable expressions to indicate if they are lambdas.
Updated generation of the apply expression to handle the case where lambdas are invoked
Improved reporting in case an explicit function definition takes a form that cannot be generated