- 25 Jun, 2019 3 commits
-
-
bouazizrahma authored
-
Jerome Hugues authored
Fix casing For openaadl/ocarina#189
-
bouazizrahma authored
-
- 21 Jun, 2019 2 commits
-
-
bouazizrahma authored
Update the BA-2-C Generator to support the mapping of BA Data with composed name with K_Name and K_Data_Component_Reference kinds, i.e. structs and arrays
-
bouazizrahma authored
-
- 19 Jun, 2019 1 commit
-
-
Jerome Hugues authored
Enhance code For openaadl/ocarina#189
-
- 14 Jun, 2019 1 commit
-
-
bouazizrahma authored
-
- 13 Jun, 2019 3 commits
-
-
bouazizrahma authored
solve the problem of data_component_classifier used only in the scope of a BA, that can be a type of either a BA variable or a counter of For/ForAll construct
-
Jerome Hugues authored
Fix a bug and enhance Display_Error message when linking variables For openaadl/ocarina#189
-
Jerome Hugues authored
Linking component classifier reference of a BA variable For openaadl/ocarina#189
-
- 12 Jun, 2019 5 commits
-
-
bouazizrahma authored
-
bouazizrahma authored
-
bouazizrahma authored
-
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
-
- 09 Jun, 2019 4 commits
-
-
Jerome Hugues authored
Fix bug in mapping ba variables for openaadl/ocarina#189
-
Jerome Hugues authored
Mapping of forall construct For openaadl/ocarina#190
-
Jerome Hugues authored
Fix bug in mapping for construct For openaadl/ocarina#189
-
Jerome Hugues 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. for openaadl/ocarina#189
-
- 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 2 commits
-
-
Jerome Hugues authored
fix a bug in mapping of put_value x in an output port + improve code For openaadl/ocarina#190
-
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 2 commits
-
-
Jerome Hugues authored
Treat elsif as a list_id For openaadl/ocarina#189 and openaadl/ocarina#190
-
bouazizrahma authored
-