Issues
- 12
Type Variables invariants seem to be broken when used as type variables in further function calls
#791 opened by JaScMiller - 0
- 1
Can't run app on MacOS 12
#787 opened by dhait - 0
- 2
NotSerializableException when saving a type checked specification through the bundled version of VDMJ
#785 opened by donbex - 2
java error
#784 opened - 0
- 8
Allow nested block comments in parser
#774 opened by nickbattle - 1
Correctly colour nested comments in VDM editor
#775 opened by nickbattle - 0
- 2
- 1
- 1
Function union parameters can produce errors
#769 opened by nickbattle - 1
Add InvariantValueMaps from VDMJ
#770 opened by nickbattle - 2
Removed hard limit on module initialization
#773 opened by nickbattle - 4
Problem evaluating large trace
#771 opened by jonaskrask - 3
Difficult VDMUnit test scenario
#768 opened by Gronne - 15
Constructor overloading ambiguity
#767 opened by Gronne - 2
- 1
Class unions cannot be used to start threads
#765 opened by nickbattle - 0
Overture examples repo was updated with new measures
#766 opened by idhugoid - 0
Running external tools opens a double console
#763 opened by idhugoid - 0
Merge of pull request breaks the javagen tests
#718 opened by idhugoid - 19
Expressions in let def and let be st statements should not allow operation calls
#736 opened by nickbattle - 2
Invariant types not checked for function values
#761 opened by nickbattle - 1
- 2
- 2
- 1
- 31
- 0
- 4
Launch configuration Interpreter tab's checkboxes are negated before calling the interpreter
#737 opened by idhugoid - 3
- 14
- 1
- 5
17 tests failing
#733 opened by idhugoid - 2
Maps of Record types sometimes fail
#734 opened by nickbattle - 2
- 3
- 1
- 1
- 1
Incorrect recursive function warnings, with cycles
#720 opened by nickbattle - 1
- 8
- 1
- 1
Overture missing an order/equality warning
#723 opened by nickbattle - 6
download error
#712 opened by agib1 - 0
- 2
Dialect preference shows vdm10 and errors are issued as it was checked against the classic dialect
#715 opened by idhugoid - 1
Equality test fails if a nil value is used
#717 opened by nickbattle