issues
search
osate
/
alisa
Old Alisa repository, kept for reference
4
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
"Analysis of all end-to-end flows in a system instance" verification fails
#56
paolo-crisafulli
opened
6 years ago
6
Fixes osate/osate2-core#1160
#55
reteprelief
closed
6 years ago
0
Verify consistency validation
#54
reteprelief
closed
6 years ago
0
Fixes osate/alisa#44
#53
reteprelief
closed
6 years ago
0
osate/osate2-core#1158
#52
reteprelief
closed
6 years ago
0
osate/oate2-core#1147
#51
reteprelief
closed
6 years ago
0
osate/osate2-core#1137
#50
reteprelief
closed
6 years ago
0
osate/osate2-core#1133
#49
reteprelief
closed
6 years ago
0
Report generation does not work (SimpleControlSystem example)
#48
paolo-crisafulli
closed
6 years ago
5
osate/osate2-core#1122 connections
#47
reteprelief
closed
6 years ago
0
Osate/osate2 core#1055 simplified result structure
#46
lwrage
closed
6 years ago
0
ALISA fails to execute JUnit test with plugin dependencies
#45
smithdtyler
opened
6 years ago
7
Null Pointer Exception editing reqspec file
#44
smithdtyler
closed
6 years ago
0
Evidence page in Assurance View does not update
#43
smithdtyler
opened
6 years ago
1
I have to close and re-launch the Assurance Cases view to populate it
#42
smithdtyler
opened
6 years ago
1
Eclipse crash while running ALISA assurance case
#41
smithdtyler
opened
6 years ago
1
.assure files should have a comment indicating that they are autogenerated
#40
smithdtyler
opened
6 years ago
0
Assurance View -> Assurance Cases should have a context option to go to the defining file
#39
smithdtyler
opened
6 years ago
0
Assurance View needs feedback when execution is complete
#38
smithdtyler
opened
6 years ago
1
assure engine cleanup
#37
reteprelief
closed
6 years ago
0
Delete obsolete D-Case export plugin
#36
lwrage
closed
6 years ago
0
New file wizards
#35
joeseibel
closed
6 years ago
0
Develop
#34
brlarson
closed
6 years ago
1
SpotlightUtil not found
#33
brlarson
closed
6 years ago
4
Cleaned up menus and toolbars
#32
joeseibel
closed
6 years ago
0
Needed to register support mechanisms to resolve such references.
#31
reteprelief
closed
6 years ago
1
Virtualize Plugin Resources
#30
joeseibel
closed
7 years ago
0
Removed Resultreports from Alisa
#29
reteprelief
closed
7 years ago
0
Core issue872
#28
joeseibel
closed
7 years ago
0
Updated to Xtext 2.12.
#27
joeseibel
closed
7 years ago
0
Core issue845
#26
joeseibel
closed
7 years ago
0
Refactor reqtrace tests to use BIRTTest class in org.osate.core.test
#25
sprocter
closed
7 years ago
0
Predicate evaluation fails to execute if only predicate is part of ClaimResult
#24
reteprelief
closed
7 years ago
0
Predicate result is not included in enclosing counts
#23
reteprelief
closed
7 years ago
0
cross dependency between Alisa View and Coverage count view
#22
reteprelief
closed
7 years ago
1
The color bar in the Alisa View takes too much real estate
#21
reteprelief
closed
7 years ago
1
Progress View popup is annoying
#20
reteprelief
closed
7 years ago
1
support for retrieving property constant in expressions
#19
reteprelief
closed
7 years ago
0
Alisa view: predicate does not indicate what the predicate is
#18
reteprelief
closed
7 years ago
0
Validation activity doe not show in Alisa View
#17
reteprelief
closed
7 years ago
0
XSemantics Predicate evaluation does not work
#16
reteprelief
closed
7 years ago
2
allow alternating val, compute, etc.
#15
reteprelief
closed
7 years ago
0
assurance instance for incomplete plans
#14
reteprelief
closed
7 years ago
1
ReqSpec requires all val declarations before requirements
#13
reteprelief
closed
7 years ago
1
scoping issue with Resolute references in vregistry and "assure <verificationplan> in alisa
#12
reteprelief
closed
7 years ago
0
null pointer exception when trying to execute verify all
#11
reteprelief
closed
7 years ago
0
illegal state exception when clicking in Alisa View
#10
reteprelief
closed
7 years ago
0
fault analysis plugin methods need to be interfaced with Alisa
#9
reteprelief
opened
7 years ago
0
Xtext 2.11.0
#8
joeseibel
closed
7 years ago
0
Report tests
#7
joeseibel
closed
7 years ago
0
Next