- 09 Jan, 2017 2 commits
- 25 Oct, 2016 3 commits
-
-
yoogx authored
For issue #75
-
https://github.com/OpenAADL/ocarinayoogx authored
Conflicts: src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.adb src/frontends/aadl_ema/ocarina-fe_aadl_ema-parser.adb
-
yoogx authored
For issue #75
-
- 22 Sep, 2016 3 commits
- 12 Jul, 2016 3 commits
-
-
Bechir Zalila authored
-
Bechir Zalila authored
subprogram (Get_Backend) as it will be used elsewhere. * (ocarina-fe_aadl-parser-annexes.adb, ocarina-be_aadl-annexes.adb): Always keep track of the annex raw text to allow displaying it during pretty printing
-
Bechir Zalila authored
this package.
-
- 09 Jul, 2016 3 commits
-
-
Bechir Zalila authored
property set (By Fatma Kacem)
-
Bechir Zalila authored
annex * (ocarina-analyzer.adb): Activate the semantic analyser for BA (By Yossra Rekik)
-
Bechir Zalila authored
property set. * (ocarina_cmd.adb): enable EMV2 parsing by defaut (as it is the case for other supported annexes) (By Wafa Gabsi)
-
- 04 Jul, 2016 13 commits
-
-
Bechir Zalila authored
field to the Annex_Library as there is for Annex_Subclause. * (ocarina-fe_aadl-parser-annexes.adb): Use Corresponding_Annex for annex libraries
-
Bechir Zalila authored
Ocarina_Config::Enable_Annexes property in scenario files.
-
Bechir Zalila authored
Unset_Annex_Action
-
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 7 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)
-