overturetool/language

Issues

• Fix LRM to describe correct form of curried recursive measures

  #59 opened a year ago by nickbattle
  1

• Inconsistency with eq_T and ord_T signatures

  #50 opened 4 years ago by nickbattle
  46

• Redefining VDM recursive measures as well-founded lexicographic tuples

  #58 opened a year ago by leouk
  6

• Missing PO on ordering predicates

  #53 opened 2 years ago by leouk
  6

• Expression and Statement Clarifications

  #49 opened 2 years ago by alzibab
  28

• Inheritance: Weird constructor behavior

  #57 opened 2 years ago by mortenhaahr
  14

• Type intersection clarification / warning

  #54 opened 2 years ago by leouk
  5

• Discussion of OOs issues etc.

  #34 opened 9 years ago by ldcouto
  5

• Base class ctor returns outer scope when invoked from superclass

  #56 opened 2 years ago by mortenhaahr
  3

• RM: Treat anonymous functions as total instead of partial

  #55 opened 3 years ago by donbex
  12

• Can multi-line comments be nested?

  #52 opened 4 years ago by nickbattle
  21

• VDM Annotations

  #46 opened 6 years ago by nickbattle
  47

• RC: Total Functions

  #44 opened 7 years ago by paulch42
  48

• variable is in scope not updatable vdmsl

  #51 opened 4 years ago by christinenedaa
  1

• LRM grammar for sequence comprehension is wrong

  #48 opened 5 years ago by nickbattle
  0

• LRM clarification for operator associativity

  #47 opened 5 years ago by nickbattle
  7

• Documenting the complete set of POs for VDM

  #33 opened 9 years ago by nickbattle
  35

• Generalise Measure Clause

  #42 opened 7 years ago by paulch42
  67

• Process for maintaining the standard libraries

  #41 opened 7 years ago by peterwvj
  19

• More flexible syntax for function arguments

  #43 opened 7 years ago by paulch42
  32

• RC: Semantics of Totality

  #45 opened 7 years ago by paulch42
  7

• Access specifier grammar is not clear

  #40 opened 7 years ago by peterwvj
  5

• Equality and Order Clauses for Type Definitions

  #39 opened 7 years ago by paulch42
  175

• Request for Modification: allow sequences in bindings

  #36 opened 8 years ago by paulch42
  31

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

  #37 opened 8 years ago by leouk
  3

• Request for Modification: set1 type

  #35 opened 8 years ago by paulch42
  26

• Creation of Standard Library

  #38 opened 8 years ago by paulch42
  1

• "Pure" operations called in functions

  #27 opened 9 years ago by joey-coleman
  254

• Request for Clarification: static constructors

  #32 opened 10 years ago by ldcouto
  1

• Add a VDM-Util function for getting current system time

  #31 opened 10 years ago by ldcouto
  17

• Invariant functions for record types

  #10 opened 11 years ago by joey-coleman
  4

• exception handling in interpreter

  #11 opened 11 years ago by joey-coleman
  3

• Include the non-deterministic statement inside traces

  #12 opened 11 years ago by joey-coleman
  9

• Static Initialization

  #13 opened 11 years ago by joey-coleman
  2

• Object Construction

  #14 opened 11 years ago by joey-coleman
  2

• Inheritance, Overloading, Overriding and Binding

  #15 opened 11 years ago by joey-coleman
  2

• Expressions in periodic thread definitions

  #16 opened 11 years ago by joey-coleman
  14

• Values in duration / cycles statements

  #17 opened 11 years ago by joey-coleman
  9

• Sporadic thread definitions

  #18 opened 11 years ago by joey-coleman
  11

• Extend duration and cycles (allow intervals + probabilities)

  #19 opened 11 years ago by joey-coleman
  13

• antagonist STOP operation for periodic threads is missing

  #20 opened 11 years ago by joey-coleman
  13

• More descriptive time expressions

  #21 opened 11 years ago by joey-coleman
  11

• Append narrow expression

  #22 opened 11 years ago by joey-coleman
  29

• Append map pattern

  #23 opened 11 years ago by joey-coleman
  17

• Additional print statements in IO library in VDM-RT

  #24 opened 11 years ago by joey-coleman
  4

• Append object pattern

  #25 opened 10 years ago by joey-coleman
  24

• Remove periodic/sporadic from VDM++ dialect

  #26 opened 10 years ago by joey-coleman
  6

• Documentation of what can be done for polymorphic functions

  #29 opened 10 years ago by pglvdm
  3

• Reference error in language manual (copied from main repo)

  #30 opened 10 years ago by ldcouto
  2

• nick

  #28 opened 11 years ago by shinsahara
  0