- 16 Jun, 2015 40 commits
-
-
yoogx authored
For issue #3
-
yoogx authored
For issue #3
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
hugues authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
part of the corresponding type.
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
the regular "&" operator for concatenation is not (yet) supported by GNATProve as of version GPL2013
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
yoogx authored
-
jhugues authored
For TASTE ticket #356 git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/po-hi-ada@6884 129961e7-ef38-4bb5-a8f7-c9a525a55882
-