issues
search
kiniry
/
Mobius
4
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
closing the AutoGrader window causes cascading errors that make me have to restart Eclipse
#725
atiti
opened
11 years ago
1
new class and feature annotations for EBON
#724
atiti
opened
11 years ago
0
non-Void type system
#723
atiti
opened
11 years ago
0
targeted annotation generation
#722
atiti
opened
11 years ago
0
Windows command-line unreliable
#721
atiti
opened
11 years ago
0
jump-to-refinement
#720
atiti
opened
11 years ago
0
refinement errors in problems (usage)
#719
atiti
opened
11 years ago
0
typo in pref panel
#718
atiti
opened
11 years ago
0
Beetlz preferences panel buggy
#717
atiti
opened
11 years ago
0
Beetlz configuration paths must support relative and Eclipse properties
#716
atiti
opened
11 years ago
0
formal parameter name refinement should be automatic
#715
atiti
opened
11 years ago
0
duplicate consistent class declaration
#714
atiti
opened
11 years ago
0
double-check refinement checking from queries to fields
#713
atiti
opened
11 years ago
1
shorthand syntax for properties
#712
atiti
opened
11 years ago
0
non-Void default semantics
#711
atiti
opened
11 years ago
0
add all specs written by Joe's students to regression test suite
#710
atiti
opened
11 years ago
0
BON built-in types
#709
atiti
opened
11 years ago
0
outline window contents
#708
atiti
opened
11 years ago
0
preferences panel reveal triangle does not reliably appear
#707
atiti
opened
11 years ago
0
Translation of implication from Java to BON
#706
atiti
opened
11 years ago
1
Using method call in post-condition bug
#705
atiti
opened
11 years ago
0
Translation from BON to Java
#704
atiti
opened
11 years ago
2
new analyses for AutoGradeMe
#703
atiti
opened
11 years ago
0
lock settings feature for AutoGradeMe
#702
atiti
opened
11 years ago
0
AbstractStringBuilder spec is not OS-neutral
#701
atiti
opened
11 years ago
0
CVC3 use/support issue
#700
atiti
opened
11 years ago
0
latex packages on which we depend not always part of default TeX installs
#699
atiti
opened
11 years ago
0
Spurious PMD Errors Reported by AutoGrader
#698
atiti
opened
11 years ago
0
Disabling Errors/Warnings on AutoGrader Does Not Work
#697
atiti
opened
11 years ago
0
bonc JavaScript does not run under Windows 64 bit
#696
atiti
opened
11 years ago
3
Framac's Simplify-plugin fails to prove "x<=10 ==> x<=4294967295"
#695
atiti
opened
11 years ago
0
ESC/Java2 doesn't recognize generics, new for loop and external libraries
#694
atiti
opened
11 years ago
1
source versions above 1.4 should automatically support Java's assert statement as well
#693
atiti
opened
11 years ago
1
remove or document dependency on -v switch for some internal reporting switches
#692
atiti
opened
11 years ago
0
scenarios (and other dynamic diagram elements?) are unsupported in the outline view
#691
atiti
opened
11 years ago
1
should -erst work on abstract classes?
#690
atiti
opened
11 years ago
0
improve documentation of -era and -erst switches
#689
atiti
opened
11 years ago
0
visibility checking should be done for lightweight specs too
#688
atiti
opened
11 years ago
0
outline mode for informal charts is not working properly
#687
atiti
opened
11 years ago
2
ensure .svn files are not included in src jar
#686
atiti
opened
11 years ago
0
canonicalize JML annotations in JavaFE source
#685
atiti
opened
11 years ago
0
removing dependency upon specs in JavaFE
#684
atiti
opened
11 years ago
1
remove Java source from specs-java1.[456] directories
#683
atiti
opened
11 years ago
0
check on status of original-specs directory vs. specs-java1.3
#682
atiti
opened
11 years ago
1
remove specs directory from trunk and move specs-chalin-kiniry and specs-kiniry into a branch
#681
atiti
opened
11 years ago
1
write install HOWTO for the ESC/Java2 plug-in
#680
atiti
opened
11 years ago
1
write install HOWTO for Mobius
#679
atiti
opened
11 years ago
0
update all copyrights
#678
atiti
opened
11 years ago
1
add new papers to release
#677
atiti
opened
11 years ago
1
add new tutorial slides to release
#676
atiti
opened
11 years ago
1
Next