Commits · 91b57e713a96840d165eda68a9738b82f46ff07e · TASTE / Ocarina

03 Sep, 2012 1 commit

* Integrate the SCOC3 platform for new projects with M3 · 91b57e71

jdelange authored Sep 03, 2012



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

91b57e71

15 Aug, 2012 3 commits

* Correct name of intermediate variables used in call sequence · 4e5842c5

jhugues authored Aug 15, 2012



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

4e5842c5

* Update reference output · c23c3570

jhugues authored Aug 15, 2012



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

c23c3570

* Use instance name instead of component type identifier to · ea7bdcde

jhugues authored Aug 15, 2012

avoid name collision in case of multiple instances of the
same component implementation

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

ea7bdcde

14 Aug, 2012 1 commit

* Do not halt instantiation in case of incomplete features, · 2e501722

jhugues authored Aug 14, 2012

          useful for Cheddar, MAST or REAL backends



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

2e501722

13 Aug, 2012 1 commit

* Also convert to base unit in the case of range · 99a9cc50

jhugues authored Aug 13, 2012

          (e.g. Compute_Execution_Time).



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

99a9cc50

12 Aug, 2012 4 commits

* Add proper initialization for the RBase field · 3f4b355b

jhugues authored Aug 12, 2012



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

3f4b355b

* Update reference output · 83f7bdbe

jhugues authored Aug 12, 2012



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

83f7bdbe

* Added EDF as enumerator, to follow OSATE2 naming scheme · e81da805

jhugues authored Aug 12, 2012



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

e81da805

* Add EDF and RMS as aliases for scheduling protocols, to · bec48ef9

jhugues authored Aug 12, 2012

          match OSATE2 names in addition to Cheddar ones.



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

bec48ef9

22 Jul, 2012 1 commit

* When a requirement for a theorem is not met, propagate the · 235ac7f3

jhugues authored Jul 22, 2012

          error to caller theorem



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

235ac7f3

20 Jul, 2012 2 commits

* Correctly handle EOF in REAL · f7365b8e

jhugues authored Jul 20, 2012



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

f7365b8e

* Warn when evaluting a theorem on an empty set · 99ed6f79

jhugues authored Jul 20, 2012



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

99ed6f79

12 Jul, 2012 4 commits

* Update reference output, new test for annex at package level · 02904802

jhugues authored Jul 12, 2012



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

02904802

* Adjustements for POK compatibility · 066d3b1a

jhugues authored Jul 12, 2012



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

066d3b1a

* Allow annex subclause at package level, per AADL syntax · 543888f2

jhugues authored Jul 12, 2012

	rules	



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

543888f2

* Replace occurences of Word_Cound to Byte_Cound per latest · 031190df

jhugues authored Jul 12, 2012

	AADLv2 standar property sets



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

031190df

10 Jul, 2012 2 commits

* Do not exit immediately if a requirement is not fulfilled · 7f41e2e0

jhugues authored Jul 10, 2012

          and -real_continue_eval has been selected



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

7f41e2e0

* Update reference output · 3917856c

jhugues authored Jul 10, 2012



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

3917856c

09 Jul, 2012 1 commit

* Added priority for ocmponent types · 09b9a05e

jhugues authored Jul 09, 2012



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

09b9a05e

07 Jul, 2012 1 commit

* Update reference output · 1173caec

jhugues authored Jul 07, 2012



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

1173caec

04 Jul, 2012 4 commits

* Extend Type_Source_Name for devices, for legacy, to be clarified · d2d76efc
jhugues authored Jul 04, 2012
```
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@4970 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
d2d76efc
* In case of incompatible scheduling protocol, simply raise a warning · 586442bc
jhugues authored Jul 04, 2012
```
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@4966 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
586442bc

* Get_List_Property: handle case for empty list property · aa9396b8

jhugues authored Jul 04, 2012

          values



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

aa9396b8

* Update property sets to AADLv2.1 · 83700a5f

jhugues authored Jul 04, 2012

        * Ocarina.Property_Sets: add Modeling_Properties as predefined
          set

        * Ocarina.Instances.Queries: work-around for Get_List_Property
          not returning list in case the list is an enumeration list

        * Update reference outputs



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

83700a5f

02 Jul, 2012 1 commit

* Correct types for variable I · 0e4081f8

jhugues authored Jul 02, 2012



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

0e4081f8

26 Jun, 2012 3 commits

* ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads · a4ff2703

jdelange authored Jun 26, 2012

   ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb
    - Fix the function nake of the Wait_Offset function.



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

a4ff2703

- backends/ocarina-backends-c_tree-nutils.ads · 542d1933

jdelange authored Jun 26, 2012

   * Declare the Offset variable to be included in 
     activity.c generated file.

 - backends/ocarina-backends-po_hi_c-activity.adb
   * Call __po_hi_task_wait_offset when the task
     use the Dispatch_Offset property

 - backends/ocarina-backends-po_hi_c-runtime.ads
   * Declare the __po_hi_task_wait_offset function
     of PolyORB-HI-C


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

542d1933

* ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb · 4c6296fb

jdelange authored Jun 26, 2012

   - Stop generating function that handle
     the distribution concerns, rely on __po_hi_transport_send
     generic function.



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

4c6296fb

20 Jun, 2012 2 commits

jhugues authored Jun 20, 2012

          integer ..



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

1ed38fe1

* Complete case for property type denoting a boolean · 5994281b

jhugues authored Jun 20, 2012



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

5994281b

19 Jun, 2012 1 commit

* REAL: add cos, sin, tan, cosh, sinh, tanh, ln, exp, sqrt · b69f3152

jhugues authored Jun 19, 2012

          functions



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

b69f3152

15 Jun, 2012 1 commit

* Correctly process port connections · 736a099b

jhugues authored Jun 15, 2012



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

736a099b

14 Jun, 2012 1 commit

* Correct connection direction tests · 7de992e4

jhugues authored Jun 14, 2012



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

7de992e4

09 Jun, 2012 1 commit

* Update reference output · f916247b

jhugues authored Jun 09, 2012



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

f916247b

08 Jun, 2012 1 commit

* ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb · 77c6c4d1

jdelange authored Jun 08, 2012

   - Fix error when ports are not connected, print fatal error.



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

77c6c4d1

05 Jun, 2012 2 commits

* When a subprogram defines implementation source files, · 987ce09e

jhugues authored Jun 05, 2012

source name but no source language, suppose the source
language is the same as the back end.

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

987ce09e

* For PolyORB-HI/Ada, consider Platform_WIN32 as a native · 127b4ae3

jhugues authored Jun 05, 2012

          platform



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

127b4ae3

03 Jun, 2012 2 commits

* ocarina/src/backends/ocarina-backends-properties.adb · a19faa5f

jdelange authored Jun 03, 2012

   ocarina/src/backends/ocarina-backends-properties.ads
   ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   - Handle the WIN32 architecture in Makefiles



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

a19faa5f

* ocarina/src/backends/ocarina-backends-properties.adb · 939b586a

jdelange authored Jun 03, 2012

  - Fix line size, raise issues during compilation within the VM

 * ocarina/resources/deployment.aadl
   ocarina/resources/AADLv2/components/processors/x86.aadl
  - Introduce values for Win32 support



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

939b586a