Giters
kiniry
/
Mobius
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
4
Watchers:
9
Issues:
725
Forks:
8
kiniry/Mobius Issues
closing the AutoGrader window causes cascading errors that make me have to restart Eclipse
Updated
12 years ago
Comments count
1
new class and feature annotations for EBON
Updated
12 years ago
non-Void type system
Updated
12 years ago
targeted annotation generation
Updated
12 years ago
jump-to-refinement
Updated
12 years ago
Windows command-line unreliable
Updated
12 years ago
typo in pref panel
Updated
12 years ago
refinement errors in problems (usage)
Updated
12 years ago
Beetlz preferences panel buggy
Updated
12 years ago
Beetlz configuration paths must support relative and Eclipse properties
Updated
12 years ago
double-check refinement checking from queries to fields
Updated
12 years ago
Comments count
1
duplicate consistent class declaration
Updated
12 years ago
formal parameter name refinement should be automatic
Updated
12 years ago
non-Void default semantics
Updated
12 years ago
shorthand syntax for properties
Updated
12 years ago
add all specs written by Joe's students to regression test suite
Updated
12 years ago
preferences panel reveal triangle does not reliably appear
Updated
12 years ago
outline window contents
Updated
12 years ago
BON built-in types
Updated
12 years ago
Translation of implication from Java to BON
Updated
12 years ago
Comments count
1
Using method call in post-condition bug
Updated
12 years ago
Translation from BON to Java
Updated
12 years ago
Comments count
2
AbstractStringBuilder spec is not OS-neutral
Updated
12 years ago
lock settings feature for AutoGradeMe
Updated
12 years ago
new analyses for AutoGradeMe
Updated
12 years ago
latex packages on which we depend not always part of default TeX installs
Updated
12 years ago
CVC3 use/support issue
Updated
12 years ago
bonc JavaScript does not run under Windows 64 bit
Updated
12 years ago
Comments count
3
Disabling Errors/Warnings on AutoGrader Does Not Work
Updated
12 years ago
Spurious PMD Errors Reported by AutoGrader
Updated
12 years ago
Framac's Simplify-plugin fails to prove "x<=10 ==> x<=4294967295"
Updated
12 years ago
source versions above 1.4 should automatically support Java's assert statement as well
Updated
12 years ago
Comments count
1
ESC/Java2 doesn't recognize generics, new for loop and external libraries
Updated
12 years ago
Comments count
1
remove or document dependency on -v switch for some internal reporting switches
Updated
12 years ago
should -erst work on abstract classes?
Updated
12 years ago
scenarios (and other dynamic diagram elements?) are unsupported in the outline view
Updated
12 years ago
Comments count
1
visibility checking should be done for lightweight specs too
Updated
12 years ago
improve documentation of -era and -erst switches
Updated
12 years ago
outline mode for informal charts is not working properly
Updated
12 years ago
Comments count
2
canonicalize JML annotations in JavaFE source
Updated
12 years ago
ensure .svn files are not included in src jar
Updated
12 years ago
removing dependency upon specs in JavaFE
Updated
12 years ago
Comments count
1
check on status of original-specs directory vs. specs-java1.3
Updated
12 years ago
Comments count
1
remove Java source from specs-java1.[456] directories
Updated
12 years ago
remove specs directory from trunk and move specs-chalin-kiniry and specs-kiniry into a branch
Updated
12 years ago
Comments count
1
write install HOWTO for the ESC/Java2 plug-in
Updated
12 years ago
Comments count
1
write install HOWTO for Mobius
Updated
12 years ago
update all copyrights
Updated
12 years ago
Comments count
1
add new papers to release
Updated
12 years ago
Comments count
1
add new tutorial slides to release
Updated
12 years ago
Comments count
1
Previous
Next