money71 sasp-f2012-jml-and-more issues

money71 / sasp-f2012-jml-and-more

Automatically exported from code.google.com/p/sasp-f2012-jml-and-more

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Do ExtendedOpenJML support \forall i element of N; 0 <= i /\ i <= array.length ?

#31 GoogleCodeExporter opened 9 years ago
8
Static analysis using yices

#30 GoogleCodeExporter opened 9 years ago
0
Try out to run openjml check on the OpenJMLExtended

#29 GoogleCodeExporter opened 9 years ago
0
j = i + 1 will result in a recursive definition for i including i + 1

#28 GoogleCodeExporter opened 9 years ago
0
Test_ForAll.java addExpressions() -

#27 GoogleCodeExporter closed 9 years ago
1
testUnionSingleton() - currently fails

#26 GoogleCodeExporter opened 9 years ago
0
Provide a piece of code rac compiled that would/could run on java vm

#25 GoogleCodeExporter closed 9 years ago
1
QRange.java - switch on string is not a good approach in java... - use ENUMURATION / ENUM type

#24 GoogleCodeExporter opened 9 years ago
1
Set up final hand-in Eclipse project

#23 GoogleCodeExporter closed 9 years ago
2
IntervalSet.java - more generic approach

#22 GoogleCodeExporter opened 9 years ago
1
Various - add hoc jml spes for the code we have produced

#21 GoogleCodeExporter opened 9 years ago
6
IntervalSet.java - write specs

#20 GoogleCodeExporter opened 9 years ago
0
IntervalSet.java -

#19 GoogleCodeExporter closed 9 years ago
4
IntervalSet.java - separate iteratable and iterator from each other

#18 GoogleCodeExporter opened 9 years ago
1
QRange.java - change right + 1 approach

#17 GoogleCodeExporter closed 9 years ago
1
QRange.java - Write specs for evaluateExpressions()

#16 GoogleCodeExporter opened 9 years ago
1
QRange.java - optimize to get the operator

#15 GoogleCodeExporter opened 9 years ago
1
QRange.java - instead of doing string match - possible adjust the tree ?

#14 GoogleCodeExporter opened 9 years ago
0
QRange.java - support pure methods calls in definitions

#13 GoogleCodeExporter opened 9 years ago
1
QRange.java - implies not pattern matched.

#12 GoogleCodeExporter opened 9 years ago
0
ForAll.java - addLoops()

#11 GoogleCodeExporter closed 9 years ago
2
ForAll.java - message when pattern-matcher fails

#10 GoogleCodeExporter opened 9 years ago
0
ForAll.java - need a a real exception

#9 GoogleCodeExporter opened 9 years ago
1
JML - Quantifiers - guard with ++ seems not to be valid - A postfix expression (e.g., ++) can not be used in a specification expression

#8 GoogleCodeExporter opened 9 years ago
2
Outline Project Report

#7 GoogleCodeExporter closed 9 years ago
1
JML 2: \fresh Entire clause will be dropped since JmlFreshExpression is not executable.

#6 GoogleCodeExporter opened 9 years ago
2
JML 2: Cannot find method "JMLTest.add(java.lang.Integer)

#5 GoogleCodeExporter closed 9 years ago
1
JML 2 - not all files get a rac-class file is that intended ?

#4 GoogleCodeExporter opened 9 years ago
0
jml 2 rac failes in ForAll

#3 GoogleCodeExporter opened 9 years ago
0
[deleted issue]

#2 GoogleCodeExporter closed 9 years ago
0
Pure class - Syntax error: expecting an identifier, found 'pure'

#1 GoogleCodeExporter closed 9 years ago
1