overturetool language issues

overturetool / language

Overture Language Board issue tracking

2 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix LRM to describe correct form of curried recursive measures

#59 nickbattle closed 11 months ago
1
Redefining VDM recursive measures as well-founded lexicographic tuples

#58 leouk opened 1 year ago
6
Inheritance: Weird constructor behavior

#57 mortenhaahr closed 1 year ago
14
Base class ctor returns outer scope when invoked from superclass

#56 mortenhaahr closed 2 years ago
3
RM: Treat anonymous functions as total instead of partial

#55 donbex closed 2 years ago
12
Type intersection clarification / warning

#54 leouk closed 1 year ago
5
Missing PO on ordering predicates

#53 leouk closed 1 year ago
6
Can multi-line comments be nested?

#52 nickbattle closed 3 years ago
21
variable is in scope not updatable vdmsl

#51 christinenedaa closed 3 years ago
1
Inconsistency with eq_T and ord_T signatures

#50 nickbattle opened 4 years ago
46
Expression and Statement Clarifications

#49 alzibab closed 1 year ago
28
LRM grammar for sequence comprehension is wrong

#48 nickbattle closed 4 years ago
0
LRM clarification for operator associativity

#47 nickbattle closed 4 years ago
7
VDM Annotations

#46 nickbattle opened 6 years ago
47
RC: Semantics of Totality

#45 paulch42 closed 6 years ago
7
RC: Total Functions

#44 paulch42 opened 7 years ago
48
More flexible syntax for function arguments

#43 paulch42 closed 6 years ago
32
Generalise Measure Clause

#42 paulch42 closed 6 years ago
67
Process for maintaining the standard libraries

#41 peterwvj closed 6 years ago
19
Access specifier grammar is not clear

#40 peterwvj closed 7 years ago
5
Equality and Order Clauses for Type Definitions

#39 paulch42 closed 7 years ago
175
Creation of Standard Library

#38 paulch42 closed 8 years ago
1
Meta-VDM: a reflection-style access to the VDM AST structure for VDM meta-modelling and tool prototyping on top of Overture

#37 leouk closed 7 years ago
3
Request for Modification: allow sequences in bindings

#36 paulch42 closed 8 years ago
31
Request for Modification: set1 type

#35 paulch42 closed 8 years ago
26
Discussion of OOs issues etc.

#34 ldcouto opened 8 years ago
5
Documenting the complete set of POs for VDM

#33 nickbattle opened 9 years ago
35
Request for Clarification: static constructors

#32 ldcouto closed 9 years ago
1
Add a VDM-Util function for getting current system time

#31 ldcouto closed 9 years ago
17
Reference error in language manual (copied from main repo)

#30 ldcouto closed 10 years ago
2
Documentation of what can be done for polymorphic functions

#29 pglvdm closed 10 years ago
3
nick

#28 shinsahara closed 10 years ago
0
"Pure" operations called in functions

#27 joey-coleman closed 9 years ago
254
Remove periodic/sporadic from VDM++ dialect

#26 joey-coleman closed 10 years ago
6
Append object pattern

#25 joey-coleman closed 10 years ago
24
Additional print statements in IO library in VDM-RT

#24 joey-coleman closed 10 years ago
4
Append map pattern

#23 joey-coleman closed 10 years ago
17
Append narrow expression

#22 joey-coleman closed 10 years ago
29
More descriptive time expressions

#21 joey-coleman closed 10 years ago
11
antagonist STOP operation for periodic threads is missing

#20 joey-coleman closed 10 years ago
13
Extend duration and cycles (allow intervals + probabilities)

#19 joey-coleman closed 10 years ago
13
Sporadic thread definitions

#18 joey-coleman closed 10 years ago
11
Values in duration / cycles statements

#17 joey-coleman closed 10 years ago
9
Expressions in periodic thread definitions

#16 joey-coleman closed 10 years ago
14
Inheritance, Overloading, Overriding and Binding

#15 joey-coleman closed 10 years ago
2
Object Construction

#14 joey-coleman closed 10 years ago
2
Static Initialization

#13 joey-coleman closed 10 years ago
2
Include the non-deterministic statement inside traces

#12 joey-coleman closed 10 years ago
9
exception handling in interpreter

#11 joey-coleman closed 10 years ago
3
Invariant functions for record types

#10 joey-coleman closed 10 years ago
4