hhu-stups camille issues

hhu-stups / camille

(READ ONLY MIRROR) The Camille Editor for Rodin

https://gitlab.cs.uni-duesseldorf.de/general/stups/camille

1 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Camille save destroys transitions in iUML-B state-machines

#27 cfsnook opened 6 years ago
3
Cannot save new file/or open exiting files (Rodin 3.4)

#26 bmaderbacher opened 6 years ago
18
Disabling replacement of ASCII symbols

#25 evertheylen opened 6 years ago
0
Error during mvn clean verify

#24 junjchen closed 6 years ago
1
Wrong overriding simbol

#23 GeGerardo closed 8 years ago
1
Context menu "open with" does not appear on Mac version

#22 GeGerardo closed 8 years ago
9
Error location is not shown

#21 elrippoblue opened 9 years ago
0
type errors are not shown anymore

#20 wysiib opened 9 years ago
0
create Rodin 3.2 compatible release

#19 wysiib closed 9 years ago
0
Relational Override is not parsed correctly

#18 wysiib opened 9 years ago
1
Error markers are not removed sometimes

#17 wysiib opened 9 years ago
0
Camille adds seen contexts and refines machines instead of overwriting

#16 wysiib closed 9 years ago
0
Strange replacement of latex commands

#15 bendisposto closed 10 years ago
1
Theories parsing bug

#14 dohan closed 9 years ago
4
add code completion for labels

#13 wysiib opened 10 years ago
0
Due to the restriction that the editor only accepts labels without whitespaces some models do not parse in the text editor. Informing the user about this problem when opening such a file would be helpful. An alternative is to automatically change labels and replace a whitespace with a '_'. The latter is only reasonable if the user knows what happens (might lose proofs) or when a refactoring is available which preserves proofs.

#12 wysiib opened 10 years ago
0
Provide symbol table

#11 wysiib closed 10 years ago
0
Provide refactoring of Event-B model elements

#10 wysiib opened 10 years ago
0
Provide folding for Event-B model elements (similar to folding of Java methods)

#9 wysiib opened 10 years ago
0
Highlight matching paranthesis

#8 wysiib opened 10 years ago
0
Lock keywords so they cannot be changed anymore

#7 wysiib opened 10 years ago
0
Select complete element (e.g. event) with double- or triple-click (Comment: CTRL+ARROW-UP is used in Eclipse)

#6 wysiib opened 10 years ago
0
Add jump-to-declaration action

#5 wysiib opened 10 years ago
0
Add hovers with additional information, such as the declaring machine/context

#4 wysiib opened 10 years ago
0
Set up fully automatic build using Jenkins

#3 wysiib closed 10 years ago
0
Add other machines/contexts to code completion suggestions when completing after refines/sees

#2 wysiib opened 10 years ago
0
dd Auto-Formating (i.e., explicit call of the pretty-printer on CMD+SHIFT+F)

#1 wysiib closed 10 years ago
0