kiniry/mobius issues and pull requests

#50 - component=ESCJava2Plugin

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

#50 - component=ESCJava2Plugin

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

#49 - Re: Dead links on ESC/Java2 documentation page

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

#49 - Re: Dead links on ESC/Java2 documentation page

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

#48 - Re: how to check out ESCTools again?

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

#48 - Re: how to check out ESCTools again?

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

#47 - Any tests that use Vector, List or HashMap need to be updated for Java 1.5

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

#47 - Any tests that use Vector, List or HashMap need to be updated for Java 1.5

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

#46 - ESC/Java doesn't want to compile anymore

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

#46 - ESC/Java doesn't want to compile anymore

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

#45 - Platform Independent Java Class to replace esc.bat and escj/quicktest shell scripts

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

#45 - Platform Independent Java Class to replace esc.bat and escj/quicktest shell scripts

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

#44 - Fix Trac Downloads

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

#44 - Fix Trac Downloads

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

#43 - component=MobiusTrac

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

#43 - component=MobiusTrac

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

#42 - pls make URL a hyperlink

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

#42 - pls make URL a hyperlink

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

#41 - convert quicktest into a bash script

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

#41 - convert quicktest into a bash script

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

#40 - ESC/Java2.0b2 release does not run on OS X 10.4.10 with JVM 1.5.0_07

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

#40 - ESC/Java2.0b2 release does not run on OS X 10.4.10 with JVM 1.5.0_07

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

#39 - quicktest fails (clean environment, OS X 10.4.10, JVM 1.5.0_07)

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

#39 - quicktest fails (clean environment, OS X 10.4.10, JVM 1.5.0_07)

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

#38 - ESCJava2Plugin wiki page missing.

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

#38 - ESCJava2Plugin wiki page missing.

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

#37 - Eclipse distribution package

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

#37 - Eclipse distribution package

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

#36 - Visual demonstration of ESC/Java2

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

#36 - Visual demonstration of ESC/Java2

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

#35 - test bug report via email

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

#35 - test bug report via email

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

#34 - Wrong output to Simplify

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

#34 - Wrong output to Simplify

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

#33 - Decide how to manage distribution of future releases

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

#33 - Decide how to manage distribution of future releases

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

#32 - Identify any interesting tickets on GForge that we wish to keep

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

#32 - Identify any interesting tickets on GForge that we wish to keep

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

#31 - Tests failing in ESCJava2 trunk

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

#31 - Tests failing in ESCJava2 trunk

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

#30 - VC generation

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

#30 - VC generation

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

#29 - please update ESC/Java2 plugin webpage to reflect new developments

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

#29 - please update ESC/Java2 plugin webpage to reflect new developments

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

#28 - NullPointerException thrown with @pure modified comes before @modifies spec

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

#28 - NullPointerException thrown with @pure modified comes before @modifies spec

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

#27 - Review release process for ESC/Java2

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

#27 - Review release process for ESC/Java2

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

#26 - Update ESC/Java2 documentation to reflect change from CVS and GForge to Subversion and Trac

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

#26 - Update ESC/Java2 documentation to reflect change from CVS and GForge to Subversion and Trac

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

#25 - ESC/Java-2.0b1 Support

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

#25 - ESC/Java-2.0b1 Support

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

#24 - Need to define the scope of the ESC/Java2.0b3 milestone by adding more tickets

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

#24 - Need to define the scope of the ESC/Java2.0b3 milestone by adding more tickets

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

#23 - write template package.html, submit to repository, and provide docs for such

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

#23 - write template package.html, submit to repository, and provide docs for such

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

#22 - look into automatic test generation for BML subsystems

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

#22 - look into automatic test generation for BML subsystems

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

#21 - figure out how to properly to ToDo items in TexInfo documents

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

#21 - figure out how to properly to ToDo items in TexInfo documents

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

#20 - write script to automatically generate the BML grammar from the JML grammar specification

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

#20 - write script to automatically generate the BML grammar from the JML grammar specification

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

#19 - commit base Mobius PMD configuration

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

#19 - commit base Mobius PMD configuration

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

#18 - commit base Mobius FindBugs configuration

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

#18 - commit base Mobius FindBugs configuration

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

#17 - commit base Mobius specification style

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

#17 - commit base Mobius specification style

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

#16 - commit base Mobius documentation style

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

#16 - commit base Mobius documentation style

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

#15 - commit base Mobius programming style

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

#15 - commit base Mobius programming style

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

#14 - summarize all key development decisions from Dublin meeting in wiki

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

#14 - summarize all key development decisions from Dublin meeting in wiki

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

#13 - perform license review and writeup for Mobius tool development

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

#13 - perform license review and writeup for Mobius tool development

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

#12 - ensure all plan milestones are in [/roadmap roadmap]

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

#12 - ensure all plan milestones are in [/roadmap roadmap]

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

#11 - review Mobius PVE project plan with JoeKiniry

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

#11 - review Mobius PVE project plan with JoeKiniry

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

#10 - build system weirdness (error in Javafe)

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

#10 - build system weirdness (error in Javafe)

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

#9 - migrate Mobius Tools Wiki data from INRIA to UCD

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

#9 - migrate Mobius Tools Wiki data from INRIA to UCD

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

#8 - design a BON wiki formatter for Trac

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

#7 - design a BON export filter for Trac

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

#6 - investigate generation of DOT-related formats for wiki

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

#5 - steal best website organization ideas from the following sites

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

#4 - correct MIME types for all binaries in repository

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

#3 - Another demonstration ticket.

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

#2 - A second demonstration of tasks

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

#1 - A first demonstration of tasks

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

GitHub / kiniry/mobius issues and pull requests