Changes

#290 (Aug 11, 2021 4:10:26 PM)

1. Start solving the Record issue (commit: b5af1c9) — idhugoid / githubweb
2. Changes the template to generate VDMRecord (commit: 8e73876) — idhugoid / githubweb

#289 (May 6, 2021 1:52:55 PM)

1. fixed #782 by adding missing scope test to only include the dependency in testing (commit: 7d0b453) — Kenneth Lausdahl / githubweb

#288 (Feb 9, 2021 11:47:14 AM)

1. Fix FunctionValue compareValueTo for unions, fixes #769 (commit: 40133fe) — nick.battle / githubweb
2. Introduce InvariantValueMaps from VDMJ, fixes #770 (commit: ee8935e) — nick.battle / githubweb
3. Correct running of traces with slashes in their name (commit: 132c389) — nick.battle / githubweb
4. Added seedtrace to CommandReader (commit: a89622c) — nick.battle / githubweb
5. Removed hard limit on module initialization (commit: 820f098) — simon.fraser / githubweb
6. Add retries to Simon's initialize improvement (commit: 5d44bda) — nick.battle / githubweb
7. Add class initialize changes for Simon's PR (commit: 7bced1c) — nick.battle / githubweb

#287 (Dec 15, 2020 9:41:06 PM)

1. Convert map/seq apply argument types, fixes #764 (commit: 8c9fc42) — nick.battle / githubweb
2. Make thread operations public and check access, fixes #765 (commit: 77e66ac) — nick.battle / githubweb
3. Use correct error location for ambiguity errors, fixes #767 (commit: 6206481) — nick.battle / githubweb

#286 (Nov 11, 2020 4:02:02 PM)

1. Replaces the 2020-09 repositories with the 2020-12 ones (commit: 621d166) — idhugoid / githubweb
2. BUMPS the Eclipse version from 2020-09 to 2020-12 (commit: 802a53d) — idhugoid / githubweb

#285 (Nov 10, 2020 4:20:05 PM)

1. [maven-release-plugin] prepare release Release/3.0.2 (commit: cafcbab) — idhugoid / githubweb
2. [maven-release-plugin] prepare for next development iteration (commit: 8f453e3) — idhugoid / githubweb

#284 (Nov 10, 2020 3:10:15 PM)

1. Adds a check to avoid managing the console of external tools. Fixes #763 (commit: ab7de77) — idhugoid / githubweb
2. Prepare Release 3.0.2 (commit: 0a7e3f3) — idhugoid / githubweb
3. Adjusts versions (commit: 95e6f39) — idhugoid / githubweb

#281 (Nov 10, 2020 1:33:27 PM)

1. [maven-release-plugin] prepare release Release/3.0.2 (commit: 63f0532) — idhugoid / githubweb
2. [maven-release-plugin] prepare for next development iteration (commit: 54d948d) — idhugoid / githubweb

#280 (Nov 10, 2020 9:58:08 AM)

1. Preparing the release of Overture 3.0.2 (commit: 634ac95) — idhugoid / githubweb

#279 (Nov 10, 2020 9:26:57 AM)

1. Adds release notes (commit: 3bbf87c) — idhugoid / githubweb

#278 (Nov 4, 2020 10:28:42 AM)

1. Check for invariant types when converting function values, fixes #761 (commit: b42facd) — nick.battle / githubweb
2. Correct check of function parameter patterns and arguments, fixes #762 (commit: 656ece8) — nick.battle / githubweb
3. Adds a check to avoid managing the console of external tools (commit: 8fdfa29) — idhugoid / githubweb

#277 (Oct 30, 2020 5:21:39 PM)

1. Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) — nick.battle / githubweb
2. Use re-stated types in definition imports (see #760) (commit: bd2643b) — nick.battle / githubweb
3. Avoids sending an empty internal tag causing troubles in the response parsing (commit: f2b2a6a) — idhugoid / githubweb
4. Resumes a single thread only (commit: 79517f0) — idhugoid / githubweb
5. Updates the view when a thread is waiting (commit: 89d3ef8) — idhugoid / githubweb

#276 (Oct 6, 2020 3:19:20 PM)

1. Pass element type into typecheck of set comprehensions, fixes #728 (commit: 253f4ba) — nick.battle / githubweb

#275 (Oct 5, 2020 1:57:11 PM)

1. Change warning number for let def impure operations (commit: f762e74) — nick.battle / githubweb
2. Added warnings for threadid, time and new expressions in function ctxts (commit: b9ea923) — nick.battle / githubweb
3. Fix FunctionValue comparisons to cope with free variables, fixes #739 (commit: 56b873f) — nick.battle / githubweb
4. Added warning for function value comparisons, fixes #739 (commit: 90c955f) — nick.battle / githubweb
5. Changes message on project settings (commit: db9f31e) — idhugoid / githubweb
6. Adds strict checking to the parser/tc settings (commit: e6f41cf) — idhugoid / githubweb
7. Fixes a bug preventing the display of warnings (commit: 90e0da5) — idhugoid / githubweb

#274 (Sep 10, 2020 9:45:20 AM)

1. Adds use let def strict option to the project properties (commit: bca2a6a) — idhugoid / githubweb

#273 (Sep 8, 2020 3:59:20 PM)

1. Adds strict flag parsing to the interpreter command line (commit: db2d546) — idhugoid / githubweb

#272 (Sep 8, 2020 3:48:23 PM)

1. Changes the interpreter startup (commit: e7a1016) — idhugoid / githubweb
2. Prevent looping type resolution, fixes #735 (commit: b576a75) — nick.battle / githubweb
3. Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) — nick.battle / githubweb
4. Put let RHS functional checks within -strict flag (commit: 8791e1f) — nick.battle / githubweb
5. Adds strict option to the launch configuration (commit: 915dddc) — idhugoid / githubweb

#271 (Aug 31, 2020 2:45:50 PM)

1. Replaces the 2019-12 repositories with the 2020-09 ones (commit: 596cf18) — idhugoid / githubweb
2. BUMPS the Eclipse version from 2019-12 to 2020-09 (commit: 4191f2c) — idhugoid / githubweb
3. Upgrades Tycho version (commit: d544553) — idhugoid / githubweb

#269 (Aug 28, 2020 10:41:25 AM)

1. Bump versions (commit: e380028) — idhugoid / githubweb
2. [maven-release-plugin] prepare release Release/3.0.0 (commit: c179d6b) — idhugoid / githubweb
3. [maven-release-plugin] prepare for next development iteration (commit: 42ea313) — idhugoid / githubweb

#268 (Aug 28, 2020 10:31:15 AM)

1. Adds release note (commit: 1ddce8d) — idhugoid / githubweb

#266 (Aug 26, 2020 11:40:27 AM)

1. Changes the interpreter startup (commit: e7a1016) — idhugoid / githubweb