overturetool/overture

Issues

• Type Variables invariants seem to be broken when used as type variables in further function calls

  #791 opened 2 years ago by JaScMiller
  12

• Repos in overture.p2.inf no longer valid since bintray.com shutdown

  #790 opened 2 years ago by HedRat
  0

• Can't run app on MacOS 12

  #787 opened 2 years ago by dhait
  1

• Add Annotations "provided" jar into the release artifacts

  #786 opened 3 years ago by idhugoid
  0

• NotSerializableException when saving a type checked specification through the bundled version of VDMJ

  #785 opened 3 years ago by donbex
  2

• java error

  #784 opened 3 years ago
  2

• The codegen runtime plugin includes a test dependency

  #782 opened 3 years ago by lausdahl
  0

• Allow nested block comments in parser

  #774 opened 4 years ago by nickbattle
  8

• Correctly colour nested comments in VDM editor

  #775 opened 4 years ago by nickbattle
  1

• Code generation to java gives ambiguous reference to Record

  #778 opened 3 years ago by CThuleHansen
  0

• Proof obligation exception when assigning to a record's sequence by index

  #777 opened 3 years ago
  2

• Map domain and range restrictions are over-constrained

  #776 opened 4 years ago by nickbattle
  1

• Function union parameters can produce errors

  #769 opened 4 years ago by nickbattle
  1

• Add InvariantValueMaps from VDMJ

  #770 opened 4 years ago by nickbattle
  1

• Removed hard limit on module initialization

  #773 opened 4 years ago by nickbattle
  2

• Problem evaluating large trace

  #771 opened 4 years ago by jonaskrask
  4

• Difficult VDMUnit test scenario

  #768 opened 4 years ago by Gronne
  3

• Constructor overloading ambiguity

  #767 opened 4 years ago by Gronne
  15

• Map apply expressions can fail with mismatched key types

  #764 opened 4 years ago by nickbattle
  2

• Class unions cannot be used to start threads

  #765 opened 4 years ago by nickbattle
  1

• Overture examples repo was updated with new measures

  #766 opened 4 years ago by idhugoid
  0

• Running external tools opens a double console

  #763 opened 4 years ago by idhugoid
  0

• Merge of pull request breaks the javagen tests

  #718 opened 4 years ago by idhugoid
  0

• Expressions in let def and let be st statements should not allow operation calls

  #736 opened 4 years ago by nickbattle
  19

• Invariant types not checked for function values

  #761 opened 4 years ago by nickbattle
  2

• Record patterns in function parameters are not correctly checked

  #762 opened 4 years ago by nickbattle
  1

• Polymorphic function postconditions have the wrong type

  #740 opened 4 years ago by nickbattle
  2

• Imported definitions sometimes have the wrong type information

  #760 opened 4 years ago by nickbattle
  2

• Set comprehensions don't propagate type constraints

  #728 opened 4 years ago by nickbattle
  1

• Returned higher order functions change behavior as a model is executed

  #739 opened 4 years ago by JaScMiller
  31

• Check for Upgrades does not upgrade the Eclipse basis

  #738 opened 4 years ago by idhugoid
  0

• Launch configuration Interpreter tab's checkboxes are negated before calling the interpreter

  #737 opened 4 years ago by idhugoid
  4

• Mutually recursive types sometimes fail type resolution

  #735 opened 4 years ago by nickbattle
  3

• Inconsistency between equality relation and set membership

  #731 opened 4 years ago by sifraser
  14

• Runtime predicate errors in forall/exists/iota/comprehensions mislocated

  #732 opened 4 years ago by nickbattle
  1

• 17 tests failing

  #733 opened 4 years ago by idhugoid
  5

• Maps of Record types sometimes fail

  #734 opened 4 years ago by nickbattle
  2

• "Illegal clone" "Main 206: Error evaluating code" error

  #725 opened 4 years ago by f-ishikawa
  2

• Map operation fails with "Error 4089: Can't get real value of map"

  #724 opened 4 years ago by f-ishikawa
  3

• Type checker allows a zero literal index for sequences

  #726 opened 4 years ago by nickbattle
  1

• Type checker defines RESULT symbol for post condition of void operations

  #727 opened 4 years ago by nickbattle
  1

• Incorrect recursive function warnings, with cycles

  #720 opened 4 years ago by nickbattle
  1

• Incorrect recursive cycles given for pre/postconditions

  #719 opened 4 years ago by nickbattle
  1

• Incorrect Debug Exception Highlighting with Multiple Files of the Same Name

  #721 opened 4 years ago
  8

• Incorrect module scope for min/max function variables

  #722 opened 4 years ago by nickbattle
  1

• Overture missing an order/equality warning

  #723 opened 4 years ago by nickbattle
  1

• download error

  #712 opened 4 years ago by agib1
  6

• Socket is closed by Overture before VDMJ finishes printing coverage.

  #716 opened 4 years ago by idhugoid
  0

• Dialect preference shows vdm10 and errors are issued as it was checked against the classic dialect

  #715 opened 4 years ago by idhugoid
  2

• Equality test fails if a nil value is used

  #717 opened 4 years ago by nickbattle
  1