Skip to content

Issues: hhu-stups/camille

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

17 Open 10 Closed
17 Open 10 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Camille save destroys transitions in iUML-B state-machines
#27 opened Apr 11, 2018 by cfsnook
3
Cannot save new file/or open exiting files (Rodin 3.4)
#26 opened Mar 27, 2018 by bmaderbacher
18
Disabling replacement of ASCII symbols
#25 opened Dec 20, 2017 by evertheylen
Error location is not shown bug
#21 opened Nov 18, 2015 by elrippoblue 3.2.1
type errors are not shown anymore bug
#20 opened Nov 18, 2015 by wysiib 3.2.1
Relational Override is not parsed correctly bug
#18 opened Nov 18, 2015 by wysiib 3.2.1
1
Error markers are not removed sometimes bug
#17 opened May 11, 2015 by wysiib 3.2.1
add code completion for labels enhancement
#13 opened Aug 19, 2014 by wysiib 3.2.1
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. enhancement
#12 opened Aug 19, 2014 by wysiib 3.2.1
Provide refactoring of Event-B model elements enhancement
#10 opened Aug 19, 2014 by wysiib 3.2.1
Provide folding for Event-B model elements (similar to folding of Java methods) enhancement
#9 opened Aug 19, 2014 by wysiib 3.2.1
Highlight matching paranthesis enhancement
#8 opened Aug 19, 2014 by wysiib 3.2.1
Lock keywords so they cannot be changed anymore enhancement
#7 opened Aug 19, 2014 by wysiib 3.2.1
Select complete element (e.g. event) with double- or triple-click (Comment: CTRL+ARROW-UP is used in Eclipse) enhancement
#6 opened Aug 19, 2014 by wysiib 3.2.1
Add jump-to-declaration action enhancement
#5 opened Aug 19, 2014 by wysiib 3.2.1
Add hovers with additional information, such as the declaring machine/context enhancement
#4 opened Aug 19, 2014 by wysiib 3.2.1
Add other machines/contexts to code completion suggestions when completing after refines/sees enhancement
#2 opened Aug 19, 2014 by wysiib 3.2.1
ProTip! Find all open issues with in progress development work with linked:pr.