-
Notifications
You must be signed in to change notification settings - Fork 25
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#790 In overturetool/overture;
- Status: Open.#787 In overturetool/overture;
- Status: Open.
NotSerializableException when saving a type checked specification through the bundled version of VDMJ
bugIncorrect behaviour of the toolIncorrect behaviour of the toollanguageIssues in parser, TC, interpreter, POG or CGIssues in parser, TC, interpreter, POG or CGMergableA fix is available on a branch to merge for releaseA fix is available on a branch to merge for releaseStatus: Open.#785 In overturetool/overture;- Status: Open.#778 In overturetool/overture;
Proof obligation exception when assigning to a record's sequence by index
bugIncorrect behaviour of the toolIncorrect behaviour of the toollanguageIssues in parser, TC, interpreter, POG or CGIssues in parser, TC, interpreter, POG or CGMergableA fix is available on a branch to merge for releaseA fix is available on a branch to merge for releaseStatus: Open.#777 In overturetool/overture;Map domain and range restrictions are over-constrained
bugIncorrect behaviour of the toolIncorrect behaviour of the toollanguageIssues in parser, TC, interpreter, POG or CGIssues in parser, TC, interpreter, POG or CGMergableA fix is available on a branch to merge for releaseA fix is available on a branch to merge for releaseStatus: Open.#776 In overturetool/overture;Correctly colour nested comments in VDM editor
enhancementNot a bug, but nice to haveNot a bug, but nice to haveStatus: Open.#775 In overturetool/overture;Allow nested block comments in parser
enhancementNot a bug, but nice to haveNot a bug, but nice to havelanguageIssues in parser, TC, interpreter, POG or CGIssues in parser, TC, interpreter, POG or CGMergableA fix is available on a branch to merge for releaseA fix is available on a branch to merge for releaseStatus: Open.#774 In overturetool/overture;Removed hard limit on module initialization
enhancementNot a bug, but nice to haveNot a bug, but nice to havelanguageIssues in parser, TC, interpreter, POG or CGIssues in parser, TC, interpreter, POG or CGMergableA fix is available on a branch to merge for releaseA fix is available on a branch to merge for releaseStatus: Open.#773 In overturetool/overture;- Status: Open.#771 In overturetool/overture;
- Status: Open.#768 In overturetool/overture;