Commits · 39cbc046e4a5630eb9a40947d6bea36fdaacf982 · TASTE / Ocarina

27 Jan, 2013 1 commit
- * Report when an alias declaration refer to the current package · eb45d39d
  yoogx authored Jan 27, 2013
```
        Exit when the first error is detected to avoid infinite recursion
```
  eb45d39d
25 Jan, 2013 1 commit
- * Adjust to AADLv2.1 syntax for record using square brackets '[' · bdbfe2ca
  yoogx authored Jan 25, 2013
```
        Fixes #1
```
  bdbfe2ca
15 Oct, 2012 1 commit

* 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

11 Oct, 2012 2 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

* 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

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

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
05 Sep, 2012 1 commit

* 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

15 Aug, 2012 1 commit

* 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

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

* 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

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

12 Jul, 2012 1 commit

* 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

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

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

* 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

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

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

30 May, 2012 1 commit

* AADL pretty-printer now correct prints component access in · 5a6d93a7

jhugues authored May 30, 2012

          applies to clauses



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

5a6d93a7

29 May, 2012 2 commits

* ocarina/tests/test042/test.aadl.out · d3b4c877

jdelange authored May 29, 2012

   ocarina/tests/test042/test.aadl
   ocarina/resources/AADLv2/arinc653_properties.aadl
   ocarina/examples/real/safety/model.aadl
    - Update the testsuite to take into account the new
      ARINC653 properties.



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

d3b4c877

* Implement Classifier_Match variant of Classifier_Matching_Rule · c317d15a

jhugues authored May 29, 2012



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

c317d15a

28 May, 2012 1 commit

* Update testsuite after previous commit · bb6dc792

jhugues authored May 28, 2012



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

bb6dc792

27 May, 2012 1 commit

* Update testsuite after previous comit · 83473f64

jhugues authored May 27, 2012



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

83473f64

03 May, 2012 1 commit

* Update reference output · 51613754

jhugues authored May 03, 2012



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

51613754

24 Jan, 2012 1 commit

* Update reference output · 2e432c8f

jhugues authored Jan 24, 2012



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

2e432c8f

02 Jan, 2012 2 commits

* Enhance the output of the REAL backend · 89c4cd44

jhugues authored Jan 02, 2012

	* Add new flag -real_continue_eval to continue evaluation of
	 theorems in case of failures



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

89c4cd44

* Correct parsing and processing of feature groups, and their · e9e2838d

jhugues authored Jan 02, 2012

	 inverse



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

e9e2838d

13 Dec, 2011 5 commits

* Update tests to reflect changes in unit processing · 37d64eb3

jhugues authored Dec 13, 2011



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

37d64eb3

* New test, from ticket 61 · f1dbd9d5

jhugues authored Dec 13, 2011



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

f1dbd9d5

* Add proper output for this test · cede5a2a

jhugues authored Dec 13, 2011



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

cede5a2a

* Correct test file to match actual legality rule of AADL 1.0 · 0593abcb

jhugues authored Dec 13, 2011



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

0593abcb

* Correct finder to support correctly rule 11.1.2 (N2) · a412545c

jhugues authored Dec 13, 2011

	Update reference output and property sets accordingly



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

a412545c

26 Sep, 2011 1 commit

* Initial import of the AADL to XML backend · 8178b1ff

jhugues authored Sep 26, 2011



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

8178b1ff

15 Aug, 2011 1 commit

* Add values to support gumstix and nds processors · b6113010

jdelange authored Aug 15, 2011



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

b6113010

04 Aug, 2011 1 commit

Update component and deployment properties to separate · 7bce01dc

jdelange authored Aug 04, 2011

the use of RTEMS and RTEMS/POSIX (start to handle bug 132)



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

7bce01dc

27 Jul, 2011 1 commit

* Update reference output · 1461ce84

jhugues authored Jul 27, 2011



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

1461ce84

08 Jun, 2011 1 commit

* Update reference outputs · 35561083

jhugues authored Jun 08, 2011



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

35561083

06 Jun, 2011 1 commit

* Make the ARINC653 XML configuration back-end visible · 07b334ef

jhugues authored Jun 06, 2011



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

07b334ef