-
Notifications
You must be signed in to change notification settings - Fork 8
Issues: osate/osate2
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Mode selection dialog should take requires modes into account
analyses
analyses from plugins
category:enhancement
The Slicer should support models where propagations are not described in flows
category:enhancement
importance:low
#2879
opened Aug 1, 2023 by
sprocter
Flow instantiation silently fails when subcomponents have connections but not flow implementations
#2872
opened May 19, 2023 by
smithdtyler
UI for ignoring and overriding contributed AADL is confusing
category:enhancement
core
#2861
opened Feb 1, 2023 by
lwrage
Missing validation for CompositeState.typedToken
category:bug
emv2
#2858
opened Dec 12, 2022 by
joeseibel
EMV2 checking of typesets in propagations and error conditions is incomplete.
emv2
#2855
opened Nov 11, 2022 by
AaronGreenhouse
Fault tree analysis stack overflows when states have loops
category:bug
emv2
#2841
opened Sep 21, 2022 by
AaronGreenhouse
Missing validation for ErrorStateToModeMapping.mappedModes
category:bug
emv2
#2832
opened Aug 9, 2022 by
joeseibel
Missing validation for ErrorStateToModeMapping.typeToken
category:bug
emv2
#2831
opened Aug 9, 2022 by
joeseibel
Code coverage reported in sonarcloud is incomplete
category:releng
#2824
opened Jul 8, 2022 by
lwrage
Validator doesn't lookup probability property when transition is in a state machine
category:bug
emv2
#2822
opened Jul 1, 2022 by
joeseibel
Validator should not check branch probabilities when a probability property is undefined
category:bug
emv2
#2821
opened Jul 1, 2022 by
joeseibel
Sum of probabilities is inaccurate when using a property
category:bug
emv2
#2820
opened Jul 1, 2022 by
joeseibel
Wrong validation for type products in transitions
category:bug
emv2
#2816
opened Jun 7, 2022 by
joeseibel
Missing 'in' keyword for references to propagations in condition expression
category:bug
emv2
#2815
opened Jun 2, 2022 by
joeseibel
Missing validation for TransitionBranch.targetToken
category:bug
emv2
#2814
opened Jun 1, 2022 by
joeseibel
Missing validation for emv2PropagationKind in EMV2PathElement
category:bug
emv2
#2812
opened Jun 1, 2022 by
joeseibel
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.