issues
search
loonwerks
/
formal-methods-workbench
Other
20
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Resolint debugging
#37
podhrmic
opened
1 year ago
0
GearCASE and DCRYPPS Installation package download location
#36
niuzhi
opened
2 years ago
0
Corrected no longer valid `ease` URL to solve compile error.
#35
drwhomphd
opened
3 years ago
0
RSL Patterns in AGREE not Working and Model OM1 Typo
#34
cong-liu-2000
opened
3 years ago
0
AGREE Simulator User Guide not in FMW Help
#33
jendavis
closed
3 years ago
1
new plugin names
#32
iamundson
closed
4 years ago
0
Bug: Realizability analysis not working
#31
jendavis
opened
4 years ago
0
Inline aadl array prop
#30
tlogan
closed
4 years ago
0
Update jKind jar files
#29
atomb
closed
4 years ago
1
Build error on macOS
#28
jjhugues
opened
5 years ago
1
Sally integration
#27
atomb
closed
5 years ago
0
Resolute builtin operator 'type' throws class cast exception on FeatureInstance
#26
reteprelief
closed
5 years ago
2
Agree extends
#25
tlogan
closed
5 years ago
0
mvn clean verify fails when adding target-platform
#24
Maryam81609
opened
5 years ago
3
Agree contract lift
#23
tlogan
closed
5 years ago
0
AGREE and AADL string types
#22
kfhoech
opened
5 years ago
6
Warnings on cyres commands
#21
kfhoech
closed
5 years ago
1
Build instructions reference wrong directory
#20
smithdtyler
closed
5 years ago
1
Installation fails in OSATE 2.4+
#19
smithdtyler
closed
5 years ago
0
small fix to ToolCheck for correctly reading in tool output from CASE…
#18
iamundson
closed
5 years ago
0
AGREE does not handle base type implementations
#17
kfhoech
closed
5 years ago
2
Bug: Model Instance Not Refreshing?
#16
jendavis
opened
5 years ago
0
created a method for users to formalize a requirement after it has be…
#15
iamundson
closed
5 years ago
0
model transformations will now insert appropriate component type base…
#14
iamundson
closed
5 years ago
0
converted AGREE to use xtend formatter2 for better control over forma…
#13
iamundson
closed
5 years ago
0
Claims manager
#12
iamundson
closed
5 years ago
0
AGREE Feature Request: Better support for multiple fan-in to single input port
#11
jendavis
opened
5 years ago
0
Feature Request: AGREE and SpeAR Interoperability
#10
jendavis
opened
5 years ago
0
AGREE and co-dependence of component assumptions
#9
jendavis
opened
5 years ago
0
Develop ci
#8
kfhoech
closed
5 years ago
2
AGREE Realizability Analysis and Property Sets
#7
jendavis
opened
5 years ago
0
Resolint
#6
iamundson
closed
5 years ago
0
feature types now added to json, as well as support for null subcompo…
#5
iamundson
closed
5 years ago
0
fixed some manifest errors from the switchover to fmw.cyres
#4
iamundson
closed
5 years ago
0
Attestation manager
#3
iamundson
closed
5 years ago
0
Added kind attribute to aadl and agree elements. Also fixed issue in …
#2
iamundson
closed
5 years ago
0
extended json generator to output multiple aadl packages.
#1
iamundson
closed
5 years ago
0