- 04 Jul, 2016 10 commits
-
-
Bechir Zalila authored
make sure the created feature are aware of the connections they are involved in.
-
Bechir Zalila authored
enumeration_term lists.
-
Bechir Zalila authored
annex libraries.
-
Bechir Zalila authored
ocarina-fe_aadl-parser_errors.ad?): Add a decent error message when parsing an erronous empty package
-
Bechir Zalila authored
"invalid character" messages when scanning through an annex to find the annex end token.
-
Bechir Zalila authored
procedure as its name suggests.
-
Bechir Zalila authored
infinite loop when dumping a tree with a recognized annex
-
Bechir Zalila authored
the OCARINA_PATH environment variable
-
Bechir Zalila authored
(By Sihem Loukil)
-
Bechir Zalila authored
details on this language are on http://www.redcad.org/projects/AO4AADL/ (By Sihem Loukil)
-
- 02 Jul, 2016 6 commits
-
-
Bechir Zalila authored
(By Yossra Rekik)
-
Bechir Zalila authored
(By Hana Mkaouar)
-
Bechir Zalila authored
(By Yossra Rekik)
-
Bechir Zalila authored
-
Bechir Zalila authored
from AADL models to LNT in order to perform formal verification on AADL models. (by Hana Mkaouar)
-
Bechir Zalila authored
-
- 30 Jun, 2016 8 commits
-
-
Bechir Zalila authored
annex and a new property set, this backend expands AADL models having replication properties into classic AADL models that can be handled with code generators. (Phd thesis work of Wafa Gabsi)
-
Bechir Zalila authored
enabling/disabling of annexes during the parsing of AADL files. (By Wafa Gabsi)
-
Bechir Zalila authored
(By Fatma Kacem)
-
Bechir Zalila authored
Entity_ref for Add_New Subcomponent. * (ocarina-me_aadl-aadl_tree-nutils.ad?): New function Length for Node_List type. (By Wafa Gabsi)
-
Bechir Zalila authored
conformant with Real and EMV2 annexes. These Languages flags are used during semantic analysis of the annexes.
-
Bechir Zalila authored
public as it will be used in the Fault Tolerence Module. Added an optiona parameter Whole_Tree to pilot the disegarding of first parameter Node. * (ocarina-be_aadl.adb): Generate_Whole_AADL_Model: New internal wrapper which is registered as the AADL Backend main entry point
-
Bechir Zalila authored
annex EMV2. (Work of End of Study internship, Fatma Kacem, ENIS, 2015)
-
Bechir Zalila authored
parameter to the parse function. This is useful when parsing some annexes and needing to access the component node that contains the annex.
-
- 29 Jun, 2016 2 commits
-
-
Bechir Zalila authored
dumping AADL code, dump annex libraries as well. * (ocarina-be_aadl-components-modes.adb): Handle mode properly the display of mode transition triggers by a recursive procedure because they can be quite complex.
-
Bechir Zalila authored
nodes for instantiating annexes. * (ocarina-instances-annexes.ad*): New Package for instantiating annexes. * (ocarina-instances-components.adb): Apply annex instanciation to all components having annex subclauses. * (ocarina-me_aadl-aadl_instances-debug.adb): Avoid infinite loops when dumping instance tree. * (ocarina-me_aadl-aadl_tree-nodes.idl): Minor reformatting
-
- 24 Jun, 2016 2 commits
- 19 Jun, 2016 6 commits
- 17 Jun, 2016 6 commits
-
-
Jerome Hugues authored
-
Jerome Hugues authored
-
Jerome Hugues authored
-
Jerome Hugues authored
-
Jerome Hugues authored
evaluate
-
Jerome Hugues authored
-