GitLab

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