Commits · 4b9d38d6615e2d088db2875b92db12dfdddfbf92 · TASTE / Ocarina

01 Sep, 2013 1 commit

* Replace Implemented_As with Device_Driver · 4b9d38d6

jhugues authored Sep 01, 2013

          For TASTE ticket #356



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

4b9d38d6

31 Jul, 2013 1 commit

Added taste property used in the new taste-iv · 01139736

mperroti authored Jul 31, 2013


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

01139736

26 Jul, 2013 2 commits

fixed typo · 65e784f0

mperroti authored Jul 26, 2013


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

65e784f0

[ocarina] taste_properties - updated with new properties used by 1.3.5 version of ellidiss editors · cbab8799
mperroti authored Jul 26, 2013
```
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@6732 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
cbab8799

30 Jan, 2013 1 commit

* Define CC instead of GCC · cffeee4c

jhugues authored Jan 30, 2013



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

cffeee4c

29 Jan, 2013 2 commits

* Return ASCII code for non graphic characters · 0a4c1252

jhugues authored Jan 29, 2013

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

0a4c1252

* 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

27 Jan, 2013 4 commits

* More files to ignore · 4ec20278

jhugues authored Jan 27, 2013

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

4ec20278

* Refine tests for name collision in alias declaration · 789e4565

jhugues authored Jan 27, 2013

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

789e4565

* Update on previous fix · 3464c3df

jhugues authored Jan 27, 2013

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

3464c3df

* 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

26 Jan, 2013 2 commits

* Update repository for runtimes · f03cd543

jhugues authored Jan 26, 2013

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

f03cd543

* Ignore autotools files · 0b3cd72d

jhugues authored Jan 26, 2013

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

0b3cd72d

15 Jan, 2013 1 commit

* Propagate --enable-doc flag to runtimes · b5fb8b48

jhugues authored Jan 15, 2013

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

b5fb8b48

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 5 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

* Update reference output after update of aadl_project.aadl · 40b72cd2

jhugues authored Oct 15, 2012



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

40b72cd2

[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

[ocarina] added support for SDL_OpenGEODE language · 55136110

mperroti authored Oct 15, 2012


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

55136110

11 Oct, 2012 6 commits

* Update reference output · 0f8c1782

jhugues authored Oct 11, 2012



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

0f8c1782

* 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

* Add style checks in release mode · 42d02338

jhugues authored Oct 11, 2012



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

42d02338

* 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

08 Oct, 2012 1 commit

* Added real_requires_3 data · bcfd31d9

jhugues authored Oct 08, 2012



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

bcfd31d9

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 3 commits

* Update copyright · fa81181d

jhugues authored Sep 17, 2012



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

fa81181d

* Update copyright tool · f6372e45

jhugues authored Sep 17, 2012



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

f6372e45

* 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

14 Sep, 2012 2 commits

* Update copyright to match the last few years .. · ced517d9

jhugues authored Sep 14, 2012



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

ced517d9

* Update resolution algorithm to look up also in colocated · e1cf186d

jhugues authored Sep 14, 2012

          subcomponents



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

e1cf186d

05 Sep, 2012 2 commits

* 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

* ocarina/tests/real-annexes-parsing/test_real_parse_03.aadl.out · 9300d137

jdelange authored Sep 05, 2012

   ocarina/tests/real-annexes-parsing/test_real_parse_04.aadl.out
   ocarina/tests/real-annexes-parsing/test_real_parse_05.aadl.out
   ocarina/tests/real-annexes-parsing/test_real_parse_01.aadl.out
   ocarina/tests/real-annexes-parsing/test_real_parse_02.aadl.out
   ocarina/resources/AADLv2/components/devices/scoc3-spacewire.aadl.ignore
   - Adapt the tests in order to avoid any error for the testsuite
     during autobuilds



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

9300d137