kiniry/mobius issues and pull requests

#100 - 4 inconsistnent specs in java.util.Arrays

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#100 - 4 inconsistnent specs in java.util.Arrays

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#99 - informal predicates are bad

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: enhancement, ESC/Java2

#99 - informal predicates are bad

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: enhancement, ESC/Java2

#98 - ESCJava2 plugin UI enable/disable checkbox

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: defect, ESC/Java2 Plugin/Feature

#98 - ESCJava2 plugin UI enable/disable checkbox

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: defect, ESC/Java2 Plugin/Feature

#97 - PVE Plugin experience

Issue - State: open - Opened by atiti almost 12 years ago - 5 comments
Labels: defect, ESC/Java2 Plugin/Feature

#97 - PVE Plugin experience

Issue - State: open - Opened by atiti almost 12 years ago - 5 comments
Labels: defect, ESC/Java2 Plugin/Feature

#96 - ESCJava2 plugin installs incorrect URL for update site

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#96 - ESCJava2 plugin installs incorrect URL for update site

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#95 - ESCJava 2.0.5 plugin fails in clean version of Eclipse

Issue - State: open - Opened by atiti almost 12 years ago - 3 comments
Labels: ESC/Java2, defect

#95 - ESCJava 2.0.5 plugin fails in clean version of Eclipse

Issue - State: open - Opened by atiti almost 12 years ago - 3 comments
Labels: ESC/Java2, defect

#94 - java.lang.String.valueOf(float/double) inconsistency

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#94 - java.lang.String.valueOf(float/double) inconsistency

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#93 - Investigate parsing of output from provers such as Z3

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: task, ProverMaint

#93 - Investigate parsing of output from provers such as Z3

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: task, ProverMaint

#92 - Update ESC/Java2 build path to use external Javafe library

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: enhancement, ESC/Java2

#92 - Update ESC/Java2 build path to use external Javafe library

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: enhancement, ESC/Java2

#91 - The way ParsedSpecs objects are generated is recursive

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: ESC/Java2, defect

#91 - The way ParsedSpecs objects are generated is recursive

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: ESC/Java2, defect

#90 - Extract ESC subsystem from ESC/Java2

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, task

#90 - Extract ESC subsystem from ESC/Java2

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, task

#89 - Nullable Keyword in declaration of Quantified Variable

Issue - State: open - Opened by atiti almost 12 years ago - 4 comments
Labels: defect, ESCJava

#89 - Nullable Keyword in declaration of Quantified Variable

Issue - State: open - Opened by atiti almost 12 years ago - 4 comments
Labels: defect, ESCJava

#88 - [ escjava-Feature Requests-509 ] build simplify for OS X on intel

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: defect, MobiusEclipseIntegration

#88 - [ escjava-Feature Requests-509 ] build simplify for OS X on intel

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: defect, MobiusEclipseIntegration

#87 - ESC/Java2 doesn't recognize \same

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#87 - ESC/Java2 doesn't recognize \same

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#86 - Nullable keyword within declaration of quantified variable

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#86 - Nullable keyword within declaration of quantified variable

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#85 - esc/java2 problems with axioms

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#85 - esc/java2 problems with axioms

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#84 - Build plugin, feature and update site for Proof/Prover Maintenance

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: task, Prover Maintenance

#84 - Build plugin, feature and update site for Proof/Prover Maintenance

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: task, Prover Maintenance

#83 - Build plugin, feature and update site for Mobius Error Reporting

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: enhancement, Logging

#83 - Build plugin, feature and update site for Mobius Error Reporting

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: enhancement, Logging

#82 - Build plugin, feature and update site for Mobius Logging

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: task, Logging

#82 - Build plugin, feature and update site for Mobius Logging

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: task, Logging

#81 - Build plugin, feature and update site for Free Boogie

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: task, FreeBoogie

#81 - Build plugin, feature and update site for Free Boogie

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: task, FreeBoogie

#80 - Build plugin, feature and update site for JML folding

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: task, JML Folding

#80 - Build plugin, feature and update site for JML folding

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: task, JML Folding

#79 - Build plugin, feature and update site for Prover Editor

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: defect, Prover Editor

#79 - Build plugin, feature and update site for Prover Editor

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: defect, Prover Editor

#78 - Build plugin, feature and update site for VC/Prover

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: enhancement, VCGen

#78 - Build plugin, feature and update site for VC/Prover

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: enhancement, VCGen

#77 - Package Umbra library as a plugin, feature and update site

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: defect, Umbra

#77 - Package Umbra library as a plugin, feature and update site

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: defect, Umbra

#76 - Package BML library as a plugin, feature and update site

Issue - State: open - Opened by atiti almost 12 years ago - 6 comments
Labels: defect, BML

#76 - Package BML library as a plugin, feature and update site

Issue - State: open - Opened by atiti almost 12 years ago - 6 comments
Labels: defect, BML

#75 - Extract ESCJava2 subsystem/plugin

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: task, ESC/Java2 Plugin/Feature

#75 - Extract ESCJava2 subsystem/plugin

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: task, ESC/Java2 Plugin/Feature

#74 - Release ESCJava2 feature with reference to new Simplify update site

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#74 - Release ESCJava2 feature with reference to new Simplify update site

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#73 - Build Simplify 1.5.5 feature and plugin

Issue - State: open - Opened by atiti almost 12 years ago
Labels: defect, Simplify

#73 - Build Simplify 1.5.5 feature and plugin

Issue - State: open - Opened by atiti almost 12 years ago
Labels: defect, Simplify

#72 - Create new svn structure for Simplify

Issue - State: open - Opened by atiti almost 12 years ago
Labels: task, Simplify

#72 - Create new svn structure for Simplify

Issue - State: open - Opened by atiti almost 12 years ago
Labels: task, Simplify

#71 - Add simplify documetation to kind website

Issue - State: open - Opened by atiti almost 12 years ago
Labels: task, Mobius PVE

#71 - Add simplify documetation to kind website

Issue - State: open - Opened by atiti almost 12 years ago
Labels: task, Mobius PVE

#70 - Release Simplify as standalone plugin

Issue - State: open - Opened by atiti almost 12 years ago
Labels: defect, Mobius PVE

#70 - Release Simplify as standalone plugin

Issue - State: open - Opened by atiti almost 12 years ago
Labels: defect, Mobius PVE

#69 - JavaFE plugin

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: defect, JavaFE

#69 - JavaFE plugin

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: defect, JavaFE

#68 - [ escjava-Bugs-480 ] universes type system support breaks Java parsing of some existing code.

Issue - State: open - Opened by atiti almost 12 years ago - 10 comments
Labels: defect, ESC/Java3

#68 - [ escjava-Bugs-480 ] universes type system support breaks Java parsing of some existing code.

Issue - State: open - Opened by atiti almost 12 years ago - 10 comments
Labels: defect, ESC/Java3

#67 - False error from ESCJava2 plugin when JMLSpecs already exist

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#67 - False error from ESCJava2 plugin when JMLSpecs already exist

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#66 - [ escjava-Bugs-607 ] Make the text in the bug reports as shown here left justified

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: defect, MobiusEclipseIntegration

#66 - [ escjava-Bugs-607 ] Make the text in the bug reports as shown here left justified

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: defect, MobiusEclipseIntegration

#65 - Coq VCgen is not working

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#65 - Coq VCgen is not working

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#64 - all backends should respect -NoCheck switch

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: enhancement, ESC/Java2

#64 - all backends should respect -NoCheck switch

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: enhancement, ESC/Java2

#63 - all backends should respect log switches

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#63 - all backends should respect log switches

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#62 - Coq VCgen must be documented

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: defect, Coq

#62 - Coq VCgen must be documented

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: defect, Coq

#61 - fx7 VCgen is broken

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#61 - fx7 VCgen is broken

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: ESC/Java2, defect

#60 - pls update our other plugin docs

Issue - State: open - Opened by atiti almost 12 years ago - 4 comments
Labels: defect, MobiusEclipseIntegration

#60 - pls update our other plugin docs

Issue - State: open - Opened by atiti almost 12 years ago - 4 comments
Labels: defect, MobiusEclipseIntegration

#59 - escjava2 example shell script is not really a bash script

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#59 - escjava2 example shell script is not really a bash script

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#58 - ESC/Java2.0b3 binary build zipfile contains incorrect data

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#58 - ESC/Java2.0b3 binary build zipfile contains incorrect data

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#57 - ESC/Java2 doesn't recognize the \only_assigned() operator

Issue - State: open - Opened by atiti almost 12 years ago - 5 comments
Labels: ESC/Java2, defect

#57 - ESC/Java2 doesn't recognize the \only_assigned() operator

Issue - State: open - Opened by atiti almost 12 years ago - 5 comments
Labels: ESC/Java2, defect

#56 - Problem with java.io.Outstream specification

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: ESC/Java2, defect

#56 - Problem with java.io.Outstream specification

Issue - State: open - Opened by atiti almost 12 years ago - 2 comments
Labels: ESC/Java2, defect

#55 - Make the text in the bug reports as shown here left justified

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: defect, Mobius Trac

#55 - Make the text in the bug reports as shown here left justified

Issue - State: open - Opened by atiti almost 12 years ago - 1 comment
Labels: defect, Mobius Trac

#54 - [ escjava-Bugs-579 ] JML keyword refines is not recognized

Issue - State: open - Opened by atiti almost 12 years ago - 4 comments
Labels: defect, MobiusEclipseIntegration

#54 - [ escjava-Bugs-579 ] JML keyword refines is not recognized

Issue - State: open - Opened by atiti almost 12 years ago - 4 comments
Labels: defect, MobiusEclipseIntegration

#53 - The ESC/Java2 parser only recognizes "refine" not its synonym "refines".

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#53 - The ESC/Java2 parser only recognizes "refine" not its synonym "refines".

Issue - State: open - Opened by atiti almost 12 years ago
Labels: ESC/Java2, defect

#52 - Handling JavaModelException

Issue - State: open - Opened by atiti almost 12 years ago - 4 comments
Labels: ESC/Java2, defect

#52 - Handling JavaModelException

Issue - State: open - Opened by atiti almost 12 years ago - 4 comments
Labels: ESC/Java2, defect

#51 - Re: problem with Simplify in Solaris 10

Issue - State: open - Opened by atiti almost 12 years ago - 3 comments
Labels: defect, MobiusEclipseIntegration

#51 - Re: problem with Simplify in Solaris 10

Issue - State: open - Opened by atiti almost 12 years ago - 3 comments
Labels: defect, MobiusEclipseIntegration

GitHub / kiniry/mobius issues and pull requests