Commits · 96498576a9ce89361df0cd439f78ae8a94929523 · TASTE / Ocarina

08 Mar, 2013 1 commit
- * Refine Get_Location in case a process is bound to a virtual · 3810d5bf
  yoogx authored Mar 08, 2013
```
          processor, subcomponent of a processor.

          For Issue #7
```
  3810d5bf
03 Mar, 2013 1 commit
- * Minor reformatting · d48caaf9
  yoogx authored Mar 03, 2013
  
  d48caaf9
24 Feb, 2013 1 commit
- * Remove calls to __po_hi_c_simulate_wcet · 62ba7d89
  yoogx authored Feb 24, 2013
  
  62ba7d89
01 Feb, 2013 1 commit
- * Remove PolyORB/Ada backend · 55e298c5
  yoogx authored Feb 01, 2013
  
  55e298c5
31 Jan, 2013 1 commit
- * Add preliminary support for C++ · 6b44ae66
  yoogx authored Jan 31, 2013
  
  6b44ae66
30 Jan, 2013 1 commit
- * Defines CC instead of GCC · e60e4cd8
  yoogx authored Jan 30, 2013
  
  e60e4cd8
29 Jan, 2013 2 commits
- * Review circuitry to compile Ada code as part of the building · 28174f18
  jhugues authored Jan 29, 2013
```
          of the C runtime

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@6258 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
  28174f18
- * Review circuitry to compile Ada code as part of the building · f2fd0b69
  yoogx authored Jan 29, 2013
```
          of the C runtime
```
  f2fd0b69
27 Jan, 2013 1 commit

* Adjust to AADLv2.1 syntax for record using square brackets '[' · 824b3ff3

jhugues authored Jan 27, 2013

        Fixes #1

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

824b3ff3

25 Jan, 2013 1 commit
- * Adjust to AADLv2.1 syntax for record using square brackets '[' · bdbfe2ca
  yoogx authored Jan 25, 2013
```
        Fixes #1
```
  bdbfe2ca
29 Dec, 2012 1 commit

* Rework code to avoid name collision for MAST and Cheddar · 71831dd4

jhugues authored Dec 29, 2012



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

71831dd4

21 Nov, 2012 1 commit

* Break on "," to avoid long lines · 1ba3ec56

jhugues authored Nov 21, 2012



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

1ba3ec56

30 Oct, 2012 2 commits

* Added support for the floor and ceil operator in REAL · 5a59d818

jhugues authored Oct 30, 2012



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

5a59d818

* Minor reformatting · d62799a8

jhugues authored Oct 30, 2012



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

d62799a8

15 Oct, 2012 3 commits

[ocarina] added more patch to support c++, still not working · b682b081

mperroti authored Oct 15, 2012


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

b682b081

[ocarina] completed support for C++ and OpenGEODE · cc58b775

mperroti authored Oct 15, 2012


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

cc58b775

[ocarina] added support for C++ and OpenGEODE languages · 69263c71

mperroti authored Oct 15, 2012


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

69263c71

11 Oct, 2012 4 commits

* Adjust test for non RTEMS platforms · 871761b4

jhugues authored Oct 11, 2012



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

871761b4

* Define endianess for Platform_LEON_ORK · 57e29db2

jhugues authored Oct 11, 2012



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

57e29db2

* Make Platform_LEON_RTEMS_POSIX an alias for · da23c38e

jhugues authored Oct 11, 2012

Platform_LEON_RTEMS, since the Ada runtime for RTEMS is
built on top of POSIX

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

da23c38e

* Extend support for property types with "list of" · 0158a248

jhugues authored Oct 11, 2012



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

0158a248

09 Oct, 2012 1 commit

* Minor reformatting · 39a85f98

jhugues authored Oct 09, 2012



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

39a85f98

04 Oct, 2012 1 commit

* ocarina/src/backends/ocarina-backends-pok_c-main.adb · fdbddadf

jdelange authored Oct 04, 2012

   - Integrate Jeremy Rosen patch for ARINC653 compliance



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

fdbddadf

25 Sep, 2012 1 commit
- * When requirements are not met, the theorem should be flagged as wrong · 9843d9d8
  jhugues authored Sep 25, 2012
```
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5674 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
  9843d9d8
17 Sep, 2012 1 commit

* Update copyright headers · 7e0573fc

jhugues authored Sep 17, 2012



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

7e0573fc

05 Sep, 2012 1 commit

* Visit_System: defends against system subcomponents · 96feec53

jhugues authored Sep 05, 2012



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

96feec53

04 Sep, 2012 1 commit

· ee6732d2

jdelange authored Sep 04, 2012

 * ocarina/resources/deployment.aadl
   ocarina/src/backends/ocarina-backends-properties.adb
   ocarina/src/backends/ocarina-backends-properties.ads
   ocarina/src/backends/ocarina-backends-po_hi_c.adb
   - Integrate SCOC3 platform
   - Solve autobuild issues



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

ee6732d2

15 Aug, 2012 2 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

* 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

12 Aug, 2012 1 commit

* 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 1 commit

* 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 1 commit

* 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 1 commit

* 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

04 Jul, 2012 2 commits

* 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

* 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

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

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