Changes

Changes the interpreter startup

In case the interpreter is initialized before connecting to Overture the
connection timeout on the Overture side may elapse, while the initialize
does it work. In this commit we change the approach to connect first and
initialize after.
 (commit: e7a1016)

[maven-release-plugin] prepare for next development iteration

Bump ide/ to version 3.0.1-SNAPSHOT
 (commit: 42ea313)

Prevent looping type resolution, fixes #735
 (commit: b576a75)

Better approach to recursive type resolution errors, fixes #735
 (commit: 05d176e)

Replaces the 2019-12 repositories with the 2020-09 ones
 (commit: 596cf18)

BUMPS the Eclipse version from 2019-12 to 2020-09
 (commit: 4191f2c)

Upgrades Tycho version
 (commit: d544553)

Put let RHS functional checks within -strict flag
 (commit: 8791e1f)

Adds strict option to the launch configuration

The -strict flag was added to VDMJ to address #736.
 (commit: 915dddc)

Adds strict flag parsing to the interpreter command line
 (commit: db2d546)

Adds use let def strict option to the project properties

The -strict flag was added to VDMJ to address #736.

VDM projects can now use default or strict let def type checking.
This commit adds that option to the Typecheck group in the VDM Settings.

This commit reverts the changes made in 915ddc that used a launch
configuration settings approach.
 (commit: bca2a6a)

Change warning number for let def impure operations
 (commit: f762e74)

Added warnings for threadid, time and new expressions in function ctxts
 (commit: b9ea923)

Fix FunctionValue comparisons to cope with free variables, fixes #739
 (commit: 56b873f)

Added warning for function value comparisons, fixes #739
 (commit: 90c955f)

Changes message on project settings
 (commit: db9f31e)

Adds strict checking to the parser/tc settings

In bca2a6a the strict flag was set only to launches and builds, thus the
flag is not set when the parser/tc is called while typing. This commit
fixes that.
 (commit: e6f41cf)

Fixes a bug preventing the display of warnings
 (commit: 90e0da5)

Pass element type into typecheck of set comprehensions, fixes #728
 (commit: 253f4ba)

Fix the type definitions for pre and post conditions, fixes #740
 (commit: e5b2e9f)

Use re-stated types in definition imports (see #760)
 (commit: bd2643b)

Avoids sending an empty internal tag causing troubles in the response parsing
 (commit: f2b2a6a)

Resumes a single thread only

When we call resume on a thread, it is better to resume that single
thread instead of calling resume on the manager, that iterates over all
available threads calling resume.
 (commit: 79517f0)

Updates the view when a thread is waiting

In case the main thread is blocked in a permission predicate, the
blocked file is not shown to the user. This fix provides the view update
and thus the blocked file is bring to front.
 (commit: 89d3ef8)

Check for invariant types when converting function values, fixes #761
 (commit: b42facd)

Correct check of function parameter patterns and arguments, fixes #762
 (commit: 656ece8)

Adds a check to avoid managing the console of external tools. Fixes #763
 (commit: ab7de77)

Prepare Release 3.0.2
 (commit: 0a7e3f3)

Adjusts versions
 (commit: 95e6f39)

[maven-release-plugin] prepare release Release/3.0.2

Bump ide/ to version 3.0.2
 (commit: cafcbab)