- 12 Jun, 2019 2 commits
-
-
bouazizrahma authored
add two functions Find_Component_Classifier_By_Name and Find_AADL_Declaration_Classifier_By_Name that take as argument a Name_Id instead of Identifier Node_Id, in order to enable their use in BA analyzer
-
bouazizrahma authored
-
- 07 Jun, 2019 2 commits
-
-
bouazizrahma authored
display an error when classifier_ref of a BA variable doesn't refer to a data component in the AADL model
-
bouazizrahma authored
-
- 06 Jun, 2019 2 commits
-
-
bouazizrahma authored
-
bouazizrahma authored
support the analysis of element identifier of For/ForAll construct : element_Id acts as a local variable with the name scope of the For or Forall construct.
-
- 03 Jun, 2019 1 commit
-
-
bouazizrahma authored
-
- 29 May, 2019 3 commits
-
-
Jerome Hugues authored
Manage other alternatives of port read/put value For openaadl/ocarina#190
-
bouazizrahma authored
-
bouazizrahma authored
-
- 28 May, 2019 10 commits
-
-
yoogx authored
-
Jerome Hugues authored
Mapping of for cond struct For openaadl/ocarina#190
-
bouazizrahma authored
-
bouazizrahma authored
-
bouazizrahma authored
-
bouazizrahma authored
-
bouazizrahma authored
add Initialization_Value to Variable_Declaration Node in order to enable C-mapping of the BA For_Structure
-
Jerome Hugues authored
Mapping of while cond struct For openaadl/ocarina#190
-
bouazizrahma authored
-
bouazizrahma authored
-
- 27 May, 2019 7 commits
-
-
Jerome Hugues authored
Treat elsif as a list_id For openaadl/ocarina#189 and openaadl/ocarina#190
-
bouazizrahma authored
-
bouazizrahma authored
-
bouazizrahma authored
-
bouazizrahma authored
-
bouazizrahma authored
-
bouazizrahma authored
-
- 24 May, 2019 4 commits
-
-
Jerome Hugues authored
add function Map_Thread_Port_Variable_Name for openaadl/ocarina#190
-
bouazizrahma authored
-
yoogx authored
For openaadl/ocarina#190
-
yoogx authored
For openaadl/ocarina#190
-
- 23 May, 2019 7 commits
-
-
Jerome Hugues authored
correct thread_instance_name, for openaadl/ocarina#190
-
bouazizrahma authored
-
Jerome Hugues authored
Correct analyzer of communication action, for openaadl/ocarina#189 Map ports for thread with Behavior_Specification, for openaadl/ocarina#190
-
bouazizrahma authored
correct the ba analyzer of communication action to support out event ports and required subprogram access
-
bouazizrahma authored
-
bouazizrahma authored
-
bouazizrahma authored
-
- 22 May, 2019 2 commits
-
-
yoogx authored
-
Rahma BOUAZIZ authored
specification For openaadl/ocarina#190
-