issues
search
overturetool
/
overture
The Overture Tool
http://overturetool.org
GNU General Public License v3.0
49
stars
25
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump junit from 4.11 to 4.13.1 in /core/codegen/platform
#741
dependabot[bot]
opened
3 years ago
0
Polymorphic function postconditions have the wrong type
#740
nickbattle
closed
3 years ago
2
Returned higher order functions change behavior as a model is executed
#739
JaScMiller
closed
3 years ago
31
Check for Upgrades does not upgrade the Eclipse basis
#738
idhugoid
opened
3 years ago
0
Launch configuration Interpreter tab's checkboxes are negated before calling the interpreter
#737
idhugoid
closed
3 years ago
4
Expressions in let def and let be st statements should not allow operation calls
#736
nickbattle
closed
3 years ago
19
Mutually recursive types sometimes fail type resolution
#735
nickbattle
closed
4 years ago
3
Maps of Record types sometimes fail
#734
nickbattle
closed
4 years ago
2
17 tests failing
#733
idhugoid
closed
4 years ago
5
Runtime predicate errors in forall/exists/iota/comprehensions mislocated
#732
nickbattle
closed
4 years ago
1
Inconsistency between equality relation and set membership
#731
sifraser
closed
4 years ago
14
Bump commons-collections4 from 4.0 to 4.1 in /core/pog
#730
dependabot[bot]
opened
4 years ago
0
Bump commons-collections4 from 4.0 to 4.1 in /core/testing/framework
#729
dependabot[bot]
opened
4 years ago
0
Set comprehensions don't propagate type constraints
#728
nickbattle
closed
3 years ago
1
Type checker defines RESULT symbol for post condition of void operations
#727
nickbattle
closed
4 years ago
1
Type checker allows a zero literal index for sequences
#726
nickbattle
closed
4 years ago
1
"Illegal clone" "Main 206: Error evaluating code" error
#725
f-ishikawa
closed
4 years ago
2
Map operation fails with "Error 4089: Can't get real value of map"
#724
f-ishikawa
closed
4 years ago
3
Overture missing an order/equality warning
#723
nickbattle
closed
4 years ago
1
Incorrect module scope for min/max function variables
#722
nickbattle
closed
4 years ago
1
Incorrect Debug Exception Highlighting with Multiple Files of the Same Name
#721
ghost
closed
4 years ago
8
Incorrect recursive function warnings, with cycles
#720
nickbattle
closed
4 years ago
1
Incorrect recursive cycles given for pre/postconditions
#719
nickbattle
closed
4 years ago
1
Merge of pull request breaks the javagen tests
#718
idhugoid
opened
4 years ago
0
Equality test fails if a nil value is used
#717
nickbattle
closed
4 years ago
1
Socket is closed by Overture before VDMJ finishes printing coverage.
#716
idhugoid
closed
4 years ago
0
Dialect preference shows vdm10 and errors are issued as it was checked against the classic dialect
#715
idhugoid
closed
4 years ago
2
Added IR nodes and cases for ASetPattern and AUnionPattern.
#714
SamieJim
closed
4 years ago
1
Added IR nodes and cases for ASetPattern and AUnionPattern.
#713
JasimNet
closed
4 years ago
0
download error
#712
agib1
closed
4 years ago
6
Overture does not prevent illegal definition names
#711
nickbattle
closed
4 years ago
1
Overture #ifdef processing does not work
#710
nickbattle
closed
4 years ago
2
Stack overflow errors ought to be caught
#709
nickbattle
closed
4 years ago
3
Specification statements should have mandatory postconditions
#708
nickbattle
closed
4 years ago
1
Records with function fields reported as infinite
#707
nickbattle
closed
4 years ago
1
Invalid min_ and max_ functions created
#706
nickbattle
closed
4 years ago
3
Moving Overture from GPL to BSD/CC
#705
nlmave
closed
2 years ago
32
Corrected retrieval of nat values to allow 0
#704
sifraser
closed
4 years ago
2
error: couldn't find or load main class org.overture.interpreter.debug.DBG Reader V2
#703
mobashgr
opened
4 years ago
5
Operator precedence
#702
ivor-spence
closed
4 years ago
7
Unsatisfiable spec of square root function
#701
mick62
opened
5 years ago
6
Eclipse related update sites must be updated
#700
peterwvj
closed
5 years ago
0
Cth/isagen
#699
SamieJim
closed
9 months ago
6
Attempt to call non-existing CPU constructor crashes the typechecker
#698
peterwvj
closed
5 years ago
2
Update Java code-generation runtime to support VDMUtil`seq_of_char2val
#697
peterwvj
closed
5 years ago
1
Type checker: reachable statement reported as unreachable
#696
peterwvj
closed
5 years ago
13
Fixed typo in VDM++ new class template
#695
AndreFCruz
closed
5 years ago
2
JODTool update site is not working
#694
peterwvj
closed
5 years ago
0
Warning for unused state variable
#693
olafur-skulason
closed
5 years ago
3
Issue in sequence comprehension
#692
olafur-skulason
closed
4 years ago
12
Previous
Next