overturetool/language issues and pull requests

#59 - Fix LRM to describe correct form of curried recursive measures

Issue - State: closed - Opened by nickbattle 12 months ago - 1 comment
Labels: bug

#58 - Redefining VDM recursive measures as well-founded lexicographic tuples

Issue - State: open - Opened by leouk about 1 year ago - 6 comments

#57 - Inheritance: Weird constructor behavior

Issue - State: closed - Opened by mortenhaahr almost 2 years ago - 14 comments

#57 - Inheritance: Weird constructor behavior

Issue - State: closed - Opened by mortenhaahr almost 2 years ago - 14 comments

#56 - Base class ctor returns outer scope when invoked from superclass

Issue - State: closed - Opened by mortenhaahr about 2 years ago - 3 comments

#56 - Base class ctor returns outer scope when invoked from superclass

Issue - State: closed - Opened by mortenhaahr about 2 years ago - 3 comments

#55 - RM: Treat anonymous functions as total instead of partial

Issue - State: closed - Opened by donbex over 2 years ago - 12 comments
Labels: Completed, Request for Modification

#55 - RM: Treat anonymous functions as total instead of partial

Issue - State: closed - Opened by donbex over 2 years ago - 12 comments
Labels: Completed, Request for Modification

#54 - Type intersection clarification / warning

Issue - State: closed - Opened by leouk over 2 years ago - 5 comments

#53 - Missing PO on ordering predicates

Issue - State: closed - Opened by leouk over 2 years ago - 6 comments

#52 - Can multi-line comments be nested?

Issue - State: closed - Opened by nickbattle almost 4 years ago - 21 comments
Labels: Request for Clarification

#52 - Can multi-line comments be nested?

Issue - State: closed - Opened by nickbattle almost 4 years ago - 21 comments
Labels: Request for Clarification

#51 - variable is in scope not updatable vdmsl

Issue - State: closed - Opened by christinenedaa almost 4 years ago - 1 comment

#51 - variable is in scope not updatable vdmsl

Issue - State: closed - Opened by christinenedaa almost 4 years ago - 1 comment

#50 - Inconsistency with eq_T and ord_T signatures

Issue - State: open - Opened by nickbattle about 4 years ago - 46 comments
Labels: Request for Clarification

#49 - Expression and Statement Clarifications

Issue - State: closed - Opened by alzibab about 4 years ago - 28 comments
Labels: Request for Clarification

#49 - Expression and Statement Clarifications

Issue - State: closed - Opened by alzibab about 4 years ago - 28 comments
Labels: Request for Clarification

#48 - LRM grammar for sequence comprehension is wrong

Issue - State: closed - Opened by nickbattle almost 5 years ago

#48 - LRM grammar for sequence comprehension is wrong

Issue - State: closed - Opened by nickbattle almost 5 years ago

#47 - LRM clarification for operator associativity

Issue - State: closed - Opened by nickbattle about 5 years ago - 7 comments
Labels: Documentation

#47 - LRM clarification for operator associativity

Issue - State: closed - Opened by nickbattle about 5 years ago - 7 comments
Labels: Documentation

#46 - VDM Annotations

Issue - State: open - Opened by nickbattle almost 6 years ago - 47 comments
Labels: enhancement, Investigation, VSCode Review

#46 - VDM Annotations

Issue - State: open - Opened by nickbattle almost 6 years ago - 47 comments
Labels: enhancement, Investigation, VSCode Review

#45 - RC: Semantics of Totality

Issue - State: closed - Opened by paulch42 almost 7 years ago - 7 comments
Labels: Request for Clarification

#45 - RC: Semantics of Totality

Issue - State: closed - Opened by paulch42 almost 7 years ago - 7 comments
Labels: Request for Clarification

#44 - RC: Total Functions

Issue - State: open - Opened by paulch42 almost 7 years ago - 48 comments
Labels: Request for Clarification, VSCode Review

#44 - RC: Total Functions

Issue - State: open - Opened by paulch42 almost 7 years ago - 48 comments
Labels: Request for Clarification, VSCode Review

#43 - More flexible syntax for function arguments

Issue - State: closed - Opened by paulch42 over 7 years ago - 32 comments
Labels: Rejected, Request for Modification

#43 - More flexible syntax for function arguments

Issue - State: closed - Opened by paulch42 over 7 years ago - 32 comments
Labels: Rejected, Request for Modification

#42 - Generalise Measure Clause

Issue - State: closed - Opened by paulch42 over 7 years ago - 67 comments
Labels: Completed, Request for Modification

#42 - Generalise Measure Clause

Issue - State: closed - Opened by paulch42 over 7 years ago - 67 comments
Labels: Completed, Request for Modification

#41 - Process for maintaining the standard libraries

Issue - State: closed - Opened by peterwvj almost 8 years ago - 19 comments
Labels: Working Groups

#41 - Process for maintaining the standard libraries

Issue - State: closed - Opened by peterwvj almost 8 years ago - 19 comments
Labels: Working Groups

#40 - Access specifier grammar is not clear

Issue - State: closed - Opened by peterwvj almost 8 years ago - 5 comments
Labels: Documentation

#40 - Access specifier grammar is not clear

Issue - State: closed - Opened by peterwvj almost 8 years ago - 5 comments
Labels: Documentation

#39 - Equality and Order Clauses for Type Definitions

Issue - State: closed - Opened by paulch42 about 8 years ago - 175 comments
Labels: Completed

#39 - Equality and Order Clauses for Type Definitions

Issue - State: closed - Opened by paulch42 about 8 years ago - 175 comments
Labels: Completed

#38 - Creation of Standard Library

Issue - State: closed - Opened by paulch42 about 8 years ago - 1 comment
Labels: Rejected, Request for Modification

#37 - Meta-VDM: a reflection-style access to the VDM AST structure for VDM meta-modelling and tool prototyping on top of Overture

Issue - State: closed - Opened by leouk over 8 years ago - 3 comments
Labels: Rejected

#37 - Meta-VDM: a reflection-style access to the VDM AST structure for VDM meta-modelling and tool prototyping on top of Overture

Issue - State: closed - Opened by leouk over 8 years ago - 3 comments
Labels: Rejected

#36 - Request for Modification: allow sequences in bindings

Issue - State: closed - Opened by paulch42 over 8 years ago - 31 comments
Labels: Completed, Request for Modification

#36 - Request for Modification: allow sequences in bindings

Issue - State: closed - Opened by paulch42 over 8 years ago - 31 comments
Labels: Completed, Request for Modification

#35 - Request for Modification: set1 type

Issue - State: closed - Opened by paulch42 over 8 years ago - 26 comments
Labels: Completed, Request for Modification

#34 - Discussion of OOs issues etc.

Issue - State: open - Opened by ldcouto almost 9 years ago - 5 comments
Labels: Working Groups

#34 - Discussion of OOs issues etc.

Issue - State: open - Opened by ldcouto almost 9 years ago - 5 comments
Labels: Working Groups

#33 - Documenting the complete set of POs for VDM

Issue - State: open - Opened by nickbattle about 9 years ago - 35 comments
Labels: Working Groups

#33 - Documenting the complete set of POs for VDM

Issue - State: open - Opened by nickbattle about 9 years ago - 35 comments
Labels: Working Groups

#32 - Request for Clarification: static constructors

Issue - State: closed - Opened by ldcouto over 9 years ago - 1 comment
Labels: Documentation

#32 - Request for Clarification: static constructors

Issue - State: closed - Opened by ldcouto over 9 years ago - 1 comment
Labels: Documentation

#31 - Add a VDM-Util function for getting current system time

Issue - State: closed - Opened by ldcouto over 9 years ago - 17 comments
Labels: Rejected, Request for Modification

#31 - Add a VDM-Util function for getting current system time

Issue - State: closed - Opened by ldcouto over 9 years ago - 17 comments
Labels: Rejected, Request for Modification

#30 - Reference error in language manual (copied from main repo)

Issue - State: closed - Opened by ldcouto almost 10 years ago - 2 comments
Labels: Documentation

#30 - Reference error in language manual (copied from main repo)

Issue - State: closed - Opened by ldcouto almost 10 years ago - 2 comments
Labels: Documentation

#29 - Documentation of what can be done for polymorphic functions

Issue - State: closed - Opened by pglvdm about 10 years ago - 3 comments
Labels: Documentation

#29 - Documentation of what can be done for polymorphic functions

Issue - State: closed - Opened by pglvdm about 10 years ago - 3 comments
Labels: Documentation

#28 - nick

Issue - State: closed - Opened by shinsahara over 10 years ago

#28 - nick

Issue - State: closed - Opened by shinsahara over 10 years ago

#27 - "Pure" operations called in functions

Issue - State: closed - Opened by joey-coleman over 10 years ago - 254 comments
Labels: Completed, Request for Modification

#27 - "Pure" operations called in functions

Issue - State: closed - Opened by joey-coleman over 10 years ago - 254 comments
Labels: Completed, Request for Modification

#26 - Remove periodic/sporadic from VDM++ dialect

Issue - State: closed - Opened by joey-coleman over 10 years ago - 6 comments
Labels: Execution, Request for Modification

#26 - Remove periodic/sporadic from VDM++ dialect

Issue - State: closed - Opened by joey-coleman over 10 years ago - 6 comments
Labels: Execution, Request for Modification

#25 - Append object pattern

Issue - State: closed - Opened by joey-coleman over 10 years ago - 24 comments
Labels: Execution, Request for Modification

#25 - Append object pattern

Issue - State: closed - Opened by joey-coleman over 10 years ago - 24 comments
Labels: Execution, Request for Modification

#24 - Additional print statements in IO library in VDM-RT

Issue - State: closed - Opened by joey-coleman over 10 years ago - 4 comments
Labels: Rejected, Request for Modification

#24 - Additional print statements in IO library in VDM-RT

Issue - State: closed - Opened by joey-coleman over 10 years ago - 4 comments
Labels: Rejected, Request for Modification

#23 - Append map pattern

Issue - State: closed - Opened by joey-coleman over 10 years ago - 17 comments
Labels: Completed, Request for Modification

#23 - Append map pattern

Issue - State: closed - Opened by joey-coleman over 10 years ago - 17 comments
Labels: Completed, Request for Modification

#22 - Append narrow expression

Issue - State: closed - Opened by joey-coleman over 10 years ago - 29 comments
Labels: Completed, Request for Modification

#22 - Append narrow expression

Issue - State: closed - Opened by joey-coleman over 10 years ago - 29 comments
Labels: Completed, Request for Modification

#21 - More descriptive time expressions

Issue - State: closed - Opened by joey-coleman over 10 years ago - 11 comments
Labels: Rejected, Request for Modification

#21 - More descriptive time expressions

Issue - State: closed - Opened by joey-coleman over 10 years ago - 11 comments
Labels: Rejected, Request for Modification

#20 - antagonist STOP operation for periodic threads is missing

Issue - State: closed - Opened by joey-coleman over 10 years ago - 13 comments
Labels: Completed, Request for Modification

#20 - antagonist STOP operation for periodic threads is missing

Issue - State: closed - Opened by joey-coleman over 10 years ago - 13 comments
Labels: Completed, Request for Modification

#19 - Extend duration and cycles (allow intervals + probabilities)

Issue - State: closed - Opened by joey-coleman over 10 years ago - 13 comments
Labels: Rejected, Request for Modification

#19 - Extend duration and cycles (allow intervals + probabilities)

Issue - State: closed - Opened by joey-coleman over 10 years ago - 13 comments
Labels: Rejected, Request for Modification

#18 - Sporadic thread definitions

Issue - State: closed - Opened by joey-coleman over 10 years ago - 11 comments
Labels: Completed, Request for Modification

#18 - Sporadic thread definitions

Issue - State: closed - Opened by joey-coleman over 10 years ago - 11 comments
Labels: Completed, Request for Modification

#17 - Values in duration / cycles statements

Issue - State: closed - Opened by joey-coleman over 10 years ago - 9 comments
Labels: Completed, Request for Modification

#17 - Values in duration / cycles statements

Issue - State: closed - Opened by joey-coleman over 10 years ago - 9 comments
Labels: Completed, Request for Modification

#16 - Expressions in periodic thread definitions

Issue - State: closed - Opened by joey-coleman over 10 years ago - 14 comments
Labels: Completed, Request for Modification

#16 - Expressions in periodic thread definitions

Issue - State: closed - Opened by joey-coleman over 10 years ago - 14 comments
Labels: Completed, Request for Modification