GitLab

    For openaadl/ocarina#74

          file

          For openaadl/ocarina#254

          for scenario files

          For openaadl/ocarina#154

        property set.

        * (ocarina_cmd.adb): enable EMV2 parsing by defaut (as it is the
        case for other supported annexes)

	(By Wafa Gabsi)

	Ocarina_Config::Enable_Annexes property in scenario files.

          for symmetry with other backends

        For issue #33

          in new package Ocarina.Cmd_Line, rework all
          frontend/backends to avoid code duplication.

          For issue #33

          Also fix for issue #54

            For issue #43

        for ticket #42

        For issue #33

          Add_Suffix, if Add_Suffix is false, and no .aadl suffix is
          found, then simply discard the name.

          Fix for ticket #20

          avoid collision with external packages

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5604 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5585 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@3581 129961e7-ef38-4bb5-a8f7-c9a525a55882

	For ticket 248



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@3420 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Handle the asn1 option in the scenario files

 * ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c.ads
   - Set_ASN1_Deployment to indicate to the generator
     we would like to generate deployment informations
     using ASN1.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2961 129961e7-ef38-4bb5-a8f7-c9a525a55882

           of one theorem to be analysed 

       * Minor reformatting and bugfixes when manipulating trees            



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2656 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Add a new option to provide the ability
     to load ocarina components library from
     scenario files.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2043 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1405 129961e7-ef38-4bb5-a8f7-c9a525a55882

          automatically load AADL files on demand.

	  For all packages "A::B::C" that are withed, add the file
	  a-b-c.aadl to the list of files to be parsed.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1373 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@457 129961e7-ef38-4bb5-a8f7-c9a525a55882