Skip to content

Issues: isse-augsburg/ssharp

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

15 Open 0 Closed
15 Open 0 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

[Improvement] Warn about the use of ModelBase members during model construction enhancement
#23 opened Nov 24, 2016 by axel-habermaier
[Improvement] WPF-based visualization framework enhancement
#22 opened Nov 24, 2016 by axel-habermaier
[Improvement] Warn about subcomponents that are never updated enhancement
#21 opened Nov 24, 2016 by axel-habermaier
[Improvement] Counter example generation enhancement
#20 opened Nov 24, 2016 by axel-habermaier
[Improvement] Support custom serializers enhancement
#19 opened Nov 24, 2016 by axel-habermaier
[Improvement] Support port forwarding enhancement
#18 opened Nov 24, 2016 by axel-habermaier
[Improvement] Improve LTL model checking enhancement
#17 opened Nov 24, 2016 by axel-habermaier
[Improvement] Add support for CTL model checking enhancement
#16 opened Nov 24, 2016 by axel-habermaier
[Improvement] Increase modeling flexibility of fault effects enhancement
#15 opened Nov 24, 2016 by axel-habermaier
[Improvement] Dynamic memory allocation during model checking enhancement
#14 opened Nov 24, 2016 by axel-habermaier
[Performance] Optimize serialization of object references enhancement
#13 opened Nov 24, 2016 by axel-habermaier
[Improvement] Debugger might affect nondeterminism enhancement
#12 opened Nov 24, 2016 by axel-habermaier
[Bug] Range attribute on struct fields results in an exception bug
#11 opened Nov 24, 2016 by axel-habermaier
[Bug] Fault effects might use wrong member bug
#10 opened Nov 24, 2016 by axel-habermaier
[Bug] Simulations do not respect state constraints bug
#9 opened Nov 24, 2016 by axel-habermaier
ProTip! Add no:assignee to see everything that’s not assigned.