Commits · bdbfe2ca7d7bc66c56d1c8aa83e01dbfff975e28 · TASTE / Ocarina

25 Jan, 2013 1 commit
- * Adjust to AADLv2.1 syntax for record using square brackets '[' · bdbfe2ca
  yoogx authored Jan 25, 2013
```
        Fixes #1
```
  bdbfe2ca
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
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 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

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

29 May, 2012 1 commit

* 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

13 Dec, 2011 1 commit

* 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

24 Jul, 2010 1 commit

* Update all outputs · 57c7af69

hugues.jerome authored Jul 24, 2010



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

57c7af69

14 Apr, 2010 1 commit

import polyorb-hi-ada, polyorb-hi-c and ocarina · ba319702

julien.delange authored Apr 14, 2010



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

ba319702