Commits

Branch selector

 development

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 11, 2021

• Changes the template to generate VDMRecord

  idhugoid

  committed
  8e73876

  Copy full SHA for 8e73876

Commits on Aug 9, 2021

• Start solving the Record issue

  idhugoid

  committed
  b5af1c9

  Copy full SHA for b5af1c9

Commits on May 6, 2021

• Merge pull request #783 from overturetool/issue782

  Show description for 3efff8a
  idhugoid

  authored
  3efff8a

  Copy full SHA for 3efff8a

• fixed #782 by adding missing scope test to only include the dependency in testing

  lausdahl

  committed
  7d0b453

  Copy full SHA for 7d0b453

Commits on Jan 16, 2021

• Add class initialize changes for Simon's PR

  nickbattle

  committed
  7bced1c

  Copy full SHA for 7bced1c

• Add retries to Simon's initialize improvement

  nickbattle

  committed
  5d44bda

  Copy full SHA for 5d44bda

• Merge branch 'noLimitOnScopeCheck' of https://github.com/anaplan-engineering/overture into anaplan-engineering-noLimitOnScopeCheck

  nickbattle

  committed
  65fd630

  Copy full SHA for 65fd630

Commits on Jan 15, 2021

• Removed hard limit on module initialization

  Show description for 820f098
  sifraser

  committed
  820f098

  Copy full SHA for 820f098

Commits on Dec 18, 2020

• Added seedtrace to CommandReader

  nickbattle

  committed
  a89622c

  Copy full SHA for a89622c

Commits on Dec 15, 2020

• Merge branch 'ncb/development' of https://github.com/overturetool/overture.git into ncb/development

  nickbattle

  committed
  cc01824

  Copy full SHA for cc01824

• Correct running of traces with slashes in their name

  nickbattle

  committed
  132c389

  Copy full SHA for 132c389

Commits on Dec 8, 2020

• Introduce InvariantValueMaps from VDMJ, fixes #770

  nickbattle

  committed
  ee8935e

  Copy full SHA for ee8935e

• Merge remote-tracking branch 'origin/development' into ncb/development

  nickbattle

  committed
  17dfbff

  Copy full SHA for 17dfbff

Commits on Dec 2, 2020

• Fix FunctionValue compareValueTo for unions, fixes #769

  nickbattle

  committed
  40133fe

  Copy full SHA for 40133fe

• Merge branch 'ncb/development' into development

  idhugoid

  committed
  05c30c5

  Copy full SHA for 05c30c5

Commits on Nov 28, 2020

• Use correct error location for ambiguity errors, fixes #767

  nickbattle

  committed
  6206481

  Copy full SHA for 6206481

Commits on Nov 16, 2020

• Make thread operations public and check access, fixes #765

  nickbattle

  committed
  77e66ac

  Copy full SHA for 77e66ac

Commits on Nov 11, 2020

• Convert map/seq apply argument types, fixes #764

  nickbattle

  committed
  8c9fc42

  Copy full SHA for 8c9fc42

• BUMPS the Eclipse version from 2020-09 to 2020-12

  idhugoid

  committed
  802a53d

  Copy full SHA for 802a53d

• Replaces the 2020-09 repositories with the 2020-12 ones

  idhugoid

  committed
  621d166

  Copy full SHA for 621d166

Commits on Nov 10, 2020

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

  Show description for 8f453e3
  idhugoid

  committed
  8f453e3

  Copy full SHA for 8f453e3

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

  Show description for cafcbab
  idhugoid

  committed
  cafcbab

  Copy full SHA for cafcbab

• Adjusts versions

  idhugoid

  committed
  95e6f39

  Copy full SHA for 95e6f39

• Prepare Release 3.0.2

  idhugoid

  committed
  0a7e3f3

  Copy full SHA for 0a7e3f3

• Merge branch 'ncb/development' into development

  idhugoid

  committed
  9b20fd5

  Copy full SHA for 9b20fd5

• Adds a check to avoid managing the console of external tools. Fixes #763

  idhugoid

  committed
  ab7de77

  Copy full SHA for ab7de77

Commits on Nov 3, 2020

• Correct check of function parameter patterns and arguments, fixes #762

  nickbattle

  committed
  656ece8

  Copy full SHA for 656ece8

Commits on Oct 31, 2020

• Check for invariant types when converting function values, fixes #761

  nickbattle

  committed
  b42facd

  Copy full SHA for b42facd

Commits on Oct 30, 2020

• Updates the view when a thread is waiting

  Show description for 89d3ef8
  idhugoid

  committed
  89d3ef8

  Copy full SHA for 89d3ef8

• Resumes a single thread only

  Show description for 79517f0
  idhugoid

  committed
  79517f0

  Copy full SHA for 79517f0

• Avoids sending an empty internal tag causing troubles in the response parsing

  idhugoid

  committed
  f2b2a6a

  Copy full SHA for f2b2a6a

Commits on Oct 29, 2020

• Merge remote-tracking branch 'origin/development' into ncb/development

  nickbattle

  committed
  1e8e9a6

  Copy full SHA for 1e8e9a6

• Use re-stated types in definition imports (see #760)

  nickbattle

  committed
  bd2643b

  Copy full SHA for bd2643b

Commits on Oct 19, 2020

• Fix the type definitions for pre and post conditions, fixes #740

  nickbattle

  committed
  e5b2e9f

  Copy full SHA for e5b2e9f

Commits on Oct 6, 2020

• Merge branch 'ncb/development' into development

  idhugoid

  committed
  f36f032

  Copy full SHA for f36f032

Pagination

Previous

Next