Commits · 2cbfc0bcc06deb79b893c48c99c6aba18b558955 · TASTE / PolyORB-HI-Ada

08 Jun, 2014 1 commit
- * Use 'Succ instead of + 1 to defend against value 1 not being · 2cbfc0bc
  yoogx authored Jun 08, 2014
```
          part of the corresponding type.
```
  2cbfc0bc
18 May, 2014 7 commits
- * Adaptation for GNATProve GPL2014 · 10116af5
  yoogx authored May 18, 2014
  
  10116af5
- * Partial proofs using GNATProve GPL2014 · bb60134c
  yoogx authored May 18, 2014
  
  bb60134c
- * Do not consider this unit for GNATProve GPL2014 · 3019194b
  yoogx authored May 18, 2014
  
  3019194b
- * Partial proofs using GNATProve GPL2014 · a8e3071f
  yoogx authored May 18, 2014
  
  a8e3071f
- * Partial proofs using GNATProve GPL2014 · 64c0b127
  yoogx authored May 18, 2014
  
  64c0b127
- * Complete proof using GNATProve GPL2014 · 8337f4ef
  yoogx authored May 18, 2014
  
  8337f4ef
- * Adaptations for GNATProve GPL 2014 · dd9f14c9
  yoogx authored May 18, 2014
  
  dd9f14c9
22 Jan, 2014 3 commits
- * Adjust flags for GNATProve · 635d2da3
  yoogx authored Jan 22, 2014
  
  635d2da3
- * Complete proof of the package · ba76f05e
  yoogx authored Jan 22, 2014
  
  ba76f05e
- * Implement a "+" operator for string for concatenation, as · eb5bfccc
  yoogx authored Jan 22, 2014
```
          the regular "&" operator for concatenation is not (yet)
          supported by GNATProve as of version GPL2013
```
  eb5bfccc
11 Dec, 2013 1 commit
- * Minor reformatting · a947db2f
  yoogx authored Dec 11, 2013
  
  a947db2f
05 Oct, 2013 2 commits
- * Minor reformatting · 3f2b3f32
  yoogx authored Oct 05, 2013
  
  3f2b3f32
- * Minor code reorganization · ef55320c
  yoogx authored Oct 05, 2013
  
  ef55320c
23 Sep, 2013 3 commits
- * Update code after latest Ocarina patches · 9464a86a
  yoogx authored Sep 23, 2013
  
  9464a86a
- * Ignore some more files · 9cbca7a2
  yoogx authored Sep 23, 2013
  
  9cbca7a2
- * Minor rewriting · 7d0984ee
  yoogx authored Sep 23, 2013
  
  7d0984ee
28 Jul, 2013 7 commits
- * Restore support for test execution for native examples · 3b993582
  yoogx authored Jul 28, 2013
  
  3b993582
- * Code reorganization: use subtype to remove risk of · db68dfda
  yoogx authored Jul 28, 2013
```
          constraint overflow
```
  db68dfda
- * polyorb_hi-messages.ad?: code reorganization and · bf56eac5
  yoogx authored Jul 28, 2013
```
          simplification to suppress potential runtime errors as
          spotted by GNATProve GPL 2013

        * Updates other packages accordingly
```
  bf56eac5
- * Code simplification · adf6c07a
  yoogx authored Jul 28, 2013
  
  adf6c07a
- * Be more defensive · b0a39291
  yoogx authored Jul 28, 2013
  
  b0a39291
- * Add section for gnatprove · 5425e573
  yoogx authored Jul 28, 2013
  
  5425e573
- * Take into account git and not svn · d15e3a27
  yoogx authored Jul 28, 2013
  
  d15e3a27
27 Jul, 2013 3 commits
- * Ignore more files · b84bc7e2
  yoogx authored Jul 27, 2013
  
  b84bc7e2
- * Rewriting to remove risk of program error · d25972ff
  yoogx authored Jul 27, 2013
  
  d25972ff
- * Code simplification · 12a982c6
  yoogx authored Jul 27, 2013
  
  12a982c6
11 Jun, 2013 2 commits
- * Minor reformatting · d70bfbc7
  yoogx authored Jun 11, 2013
  
  d70bfbc7
- * Update CSS · 5c386a07
  yoogx authored Jun 11, 2013
  
  5c386a07
11 Feb, 2013 2 commits
- * Remove representation clause · 5a36b200
  yoogx authored Feb 11, 2013
  
  5a36b200
- * Correct packging of this example · 77dac9a9
  yoogx authored Feb 11, 2013
  
  77dac9a9
08 Feb, 2013 1 commit
- * Remove mentions of the old · 73b19cf5
  yoogx authored Feb 08, 2013
```
        Fixes #1
```
  73b19cf5
31 Jan, 2013 1 commit
- * Deactivate scenario-checks for now · 1bfc7ad2
  yoogx authored Jan 31, 2013
  
  1bfc7ad2
29 Jan, 2013 5 commits
- Merge branch 'spark' · 8c2b325e
  yoogx authored Jan 29, 2013
  
  8c2b325e
- Merge branch 'master' of https://github.com/yoogx/polyorb-hi-ada into spark · 9621c74a
  yoogx authored Jan 29, 2013
  
  9621c74a
- * Make sure we do not try to run a non-compiled test · 55c43502
  yoogx authored Jan 29, 2013
  
  55c43502
- * Minor reformatting · 5b008082
  yoogx authored Jan 29, 2013
  
  5b008082
- * Suppress check done during distclean · 21dd3f09
  yoogx authored Jan 29, 2013
  
  21dd3f09
26 Jan, 2013 1 commit

jhugues authored Jan 26, 2013

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/po-hi-ada@6247 129961e7-ef38-4bb5-a8f7-c9a525a55882

c10f2a74

25 Jan, 2013 1 commit
- Merge branch 'master' of https://github.com/yoogx/polyorb-hi-ada · fa1c608e
  yoogx authored Jan 25, 2013
  
  fa1c608e