Commits · 36397eb3654a7767b2d1697f90d77551ea2d6c26 · TASTE / Ocarina

16 Jun, 2015 1 commit
- * Update licence to GPLv3 + runtime exception · c8496fae
  yoogx authored Jun 16, 2015
```
            For issue #43
```
  c8496fae
30 Jun, 2014 1 commit
- * Minor reformatting for GNAT GPL 2014 & GCC 4.9.x · 54df6737
  yoogx authored Jun 30, 2014
  
  54df6737
05 May, 2014 1 commit
- * Renamed Namet to Ocarina.Namet, Output to Ocarina.Output to · 9405df9b
  yoogx authored May 05, 2014
```
          avoid collision with external packages
```
  9405df9b
30 Oct, 2012 1 commit

* 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

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

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

02 Jan, 2012 1 commit

* 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

06 Jun, 2011 1 commit

* New command line parameter -real_theorem to force the name · 34997f8d

jhugues authored Jun 06, 2011

           of one theorem to be analysed 

       * Minor reformatting and bugfixes when manipulating trees            



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

34997f8d

08 Mar, 2011 1 commit

* Various updates for REAL: add Abstract_Set as additional · 04192a21

hugues.jerome authored Mar 08, 2011

pre-defined set, add support for properties that refer to
classifier, add debug information reporting on the content
of sets being built.

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

04192a21

22 Jul, 2010 1 commit

* If a property cannot be evaluated, or if we want to evaluate · 1e0ac4a7

hugues.jerome authored Jul 22, 2010

the property on elements of the empty set, then return and
print a warning.

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

1e0ac4a7

25 Jun, 2010 1 commit

update Ocarina to compile with GNAT GPL 2010 · 8d0a85fd

julien.delange authored Jun 25, 2010



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

8d0a85fd

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