luisandresilva reprotool issues

luisandresilva / reprotool

Automatically exported from code.google.com/p/reprotool

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

NuSMV code generator should add comments to formulae

#85 GoogleCodeExporter opened 8 years ago
1
Citymap example project created through the wizard

#84 GoogleCodeExporter opened 8 years ago
0
editor changes not saved

#83 GoogleCodeExporter closed 8 years ago
1
Aggregated list of usability-related issues

#82 GoogleCodeExporter opened 8 years ago
0
Input sentence characters can raise exception

#81 GoogleCodeExporter opened 8 years ago
0
Reordering UC steps (Drag and drop in Use-Case Editor)

#80 GoogleCodeExporter closed 8 years ago
1
User-friendly navigation in a counterexample editor

#79 GoogleCodeExporter closed 8 years ago
5
Missing action "Add Preceding Use Cases" in Use Case Editor

#78 GoogleCodeExporter closed 8 years ago
1
Problem when clicking an arrow in the LTS view

#77 GoogleCodeExporter closed 8 years ago
1
Draw arrows connecting preceded use-cases

#76 GoogleCodeExporter closed 8 years ago
5
Show description of the formula in the counterexample editor

#75 GoogleCodeExporter closed 8 years ago
1
The "Expert" ProjectEditor should display all model elements

#74 GoogleCodeExporter opened 8 years ago
0
NullPointerException when clicking "Name and Description" in ProjectEditor

#73 GoogleCodeExporter closed 8 years ago
3
Implement missing actions in the ProjectEditor

#72 GoogleCodeExporter closed 8 years ago
2
reprotool.ling.tests references ../../tools

#71 GoogleCodeExporter opened 8 years ago
0
Find a stable plugin to be bundled as UML editor

#70 GoogleCodeExporter closed 8 years ago
1
Output from nusmv model checker

#69 GoogleCodeExporter closed 8 years ago
1
Support both LTL+CTL verification

#68 GoogleCodeExporter closed 8 years ago
3
SentenceActionParam workaround - reference move from "Communication" to "Action"

#67 GoogleCodeExporter opened 8 years ago
1
Missing module reprotool.tools.anna in SVN

#66 GoogleCodeExporter closed 8 years ago
1
reprotool.ling broken due to missing module reprotool.tools.anna

#65 GoogleCodeExporter closed 8 years ago
2
Glued marked words during editing

#64 GoogleCodeExporter opened 8 years ago
0
Marking refresh after automatic analysis.

#63 GoogleCodeExporter closed 8 years ago
2
Move tagger to own thread

#62 GoogleCodeExporter closed 8 years ago
1
Check CTL using SMV

#61 GoogleCodeExporter closed 8 years ago
3
Use case breaks LTS Outline in Use case editor

#60 GoogleCodeExporter closed 8 years ago
2
Renumber UC steps/conditions after UC step add/delete

#59 GoogleCodeExporter closed 8 years ago
2
Change included use case text with bound use case change

#58 GoogleCodeExporter opened 8 years ago
0
Change goto step text with bound step change

#57 GoogleCodeExporter opened 8 years ago
0
Add preceding use cases into UC editor

#56 GoogleCodeExporter closed 8 years ago
1
Add primary actor to the UC editor

#55 GoogleCodeExporter closed 8 years ago
1
Remove "Main scenario" root node in UC editor

#54 GoogleCodeExporter closed 8 years ago
1
Undo/redo on condition doesn't change condition label

#53 GoogleCodeExporter opened 8 years ago
0
Add annotation support in use case editor

#52 GoogleCodeExporter closed 8 years ago
3
Opening created unsaved use case throws exception

#51 GoogleCodeExporter closed 8 years ago
1
Marker colors disappear when use case step is selected.

#50 GoogleCodeExporter opened 8 years ago
1
Enable copy & paste while editing use case step in use case editor

#49 GoogleCodeExporter opened 8 years ago
1
Enable/disable marking icons in use case editor according to use case step action

#48 GoogleCodeExporter closed 8 years ago
1
Previously marked text (sender, receiver, ...) should be deselected in use case editor.

#47 GoogleCodeExporter opened 8 years ago
0
Add conceptual objects manipulation.

#46 GoogleCodeExporter closed 8 years ago
1
Create action param box in sentence analysis view

#45 GoogleCodeExporter closed 8 years ago
1
Add "description" to the Use case editor

#44 GoogleCodeExporter closed 8 years ago
1
Loading models

#43 GoogleCodeExporter opened 8 years ago
2
Adding "Abort" to use case step changes initial node color to green

#42 GoogleCodeExporter closed 8 years ago
1
Use case step selection throws "Widget is disposed" exception

#41 GoogleCodeExporter closed 8 years ago
1
Drag & drop in generated editor throws exception

#40 GoogleCodeExporter closed 8 years ago
4
Use LTS2 model in tempeditor

#39 GoogleCodeExporter closed 8 years ago
1
"Guard" class cannot be annotated

#38 GoogleCodeExporter closed 8 years ago
1
Change reprotool project to save whole model into one file

#37 GoogleCodeExporter closed 8 years ago
1
Writable use case step table + dummy content assist

#36 GoogleCodeExporter closed 8 years ago
3