Commits · 5337bd80773a742712f96a06c6858f868c677a4e · TASTE / PolyORB-HI-Ada

06 Jan, 2015 1 commit
- * Restore SPARK_Mode · 5337bd80
  yoogx authored Jan 06, 2015
  
  5337bd80
05 Jan, 2015 1 commit
- * Disable SPARK_Mode · b4685e64
  yoogx authored Jan 05, 2015
  
  b4685e64
22 Dec, 2014 2 commits
- Merge branch 'spark2014' · 732f3930
  yoogx authored Dec 22, 2014
```
Conflicts:
	src/Makefile.am
	support/update_headers.sh
```
  732f3930
- * Minor reformatting · 678782f9
  yoogx authored Dec 22, 2014
  
  678782f9
12 Dec, 2014 1 commit
- * Corrected package implementation · 014306ed
  yoogx authored Dec 12, 2014
  
  014306ed
27 Aug, 2014 1 commit
- * Clean up · f814d6cc
  hugues authored Aug 27, 2014
  
  f814d6cc
25 Aug, 2014 1 commit
- * Adjustments for distcheck in case no doc is built · b6bde13b
  yoogx authored Aug 25, 2014
  
  b6bde13b
23 Aug, 2014 2 commits
- * Do not exit on error if the documentation has not been built · 916d7051
  yoogx authored Aug 23, 2014
  
  916d7051
- * Code reorganization for GNATProve GPL2014 · f0a3e164
  yoogx authored Aug 23, 2014
  
  f0a3e164
20 Jun, 2014 1 commit
- * Added prove section · 7cf6d35e
  yoogx authored Jun 20, 2014
  
  7cf6d35e
09 Jun, 2014 2 commits
- * Move Unprotected_Queue to a dedicated package · 22b47903
  yoogx authored Jun 08, 2014
  
  22b47903
- * Added Null_Task task category · 1f87dae2
  yoogx authored Jun 08, 2014
  
  1f87dae2
08 Jun, 2014 4 commits
- * Add SPARK_Mode pragma · 3fb68a5e
  yoogx authored Jun 08, 2014
  
  3fb68a5e
- * Minor reformatting · 84ae3644
  yoogx authored Jun 08, 2014
  
  84ae3644
- * Minor reformatting · f2136d44
  yoogx authored Jun 08, 2014
  
  f2136d44
- * 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 3 commits
- * Minor reformatting · 3f2b3f32
  yoogx authored Oct 05, 2013
  
  3f2b3f32
- * Minor code reorganization · ef55320c
  yoogx authored Oct 05, 2013
  
  ef55320c
- * Minor reformatting · d8cb6557
  yoogx authored Oct 04, 2013
  
  d8cb6557
04 Oct, 2013 1 commit
- * Adjust required version of GNAT · c13793bb
  yoogx authored Oct 04, 2013
  
  c13793bb
23 Sep, 2013 4 commits
- * Update code after latest Ocarina patches · a51aa00d
  yoogx authored Sep 23, 2013
  
  a51aa00d
- * 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
01 Sep, 2013 2 commits
- Merge remote-tracking branch 'git-svn' · ef8259f7
  yoogx authored Sep 01, 2013
  
  ef8259f7
- * Replace Implemented_As with Device_Driver · ceb52b85
  jhugues authored Sep 01, 2013
```
	  For TASTE ticket #356



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/po-hi-ada@6884 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
  ceb52b85
30 Aug, 2013 2 commits
- * Ignore support files · 53d50f85
  yoogx authored Aug 30, 2013
  
  53d50f85
- * Add ISR_Task task kind for handling interrupts · b1d8e9ed
  yoogx authored Aug 30, 2013
  
  b1d8e9ed
28 Aug, 2013 1 commit
- * Adapt to git · f77e54f9
  yoogx authored Aug 28, 2013
  
  f77e54f9