Commits · c89cbc1b19525c3cf3dd1a969beafb4e2114a9bf · TASTE / PolyORB-HI-Ada

26 Dec, 2016 2 commits
- * Add build status badge · c89cbc1b
  yoogx authored Dec 26, 2016
  
  c89cbc1b
- * Add travis-ci · 41f64f3a
  yoogx authored Dec 26, 2016
  
  41f64f3a
24 Dec, 2016 1 commit
- * Move to calver versionning scheme · 0aaace68
  yoogx authored Dec 24, 2016
  
  0aaace68
18 Nov, 2016 4 commits
- * Remove INSTALL and README · ef73f97d
  yoogx authored Nov 18, 2016
  
  ef73f97d
- * Update README · 32e4982d
  yoogx authored Nov 18, 2016
  
  32e4982d
- * Remove outdated ChangeLog and NEWS · 3d5d7a5f
  yoogx authored Nov 18, 2016
  
  3d5d7a5f
- * Remove mentions of ChangeLog · 734038ab
  yoogx authored Nov 18, 2016
  
  734038ab
13 Aug, 2016 2 commits
- * Solve various mis-placement of SPARK_Mode pragma, for · ec1408b8
  yoogx authored Aug 13, 2016
```
      compatibility with older GNAT
```
  ec1408b8
- * (_ada_pthread_minimum_stack_size): new helper function, required · 11858d59
  yoogx authored Aug 13, 2016
```
      for RTEMS 4.11 and above
```
  11858d59
11 Aug, 2016 2 commits
- * Follow-up to previous patch, correctly reverted patch for · db5c41c7
  assert authored Aug 11, 2016
```
      Wait_For_Incoming_Events
```
  db5c41c7
- * Bring back protected object, it was supressed by mistake a · 71d7fc13
  yoogx authored Aug 11, 2016
```
          while back ..
```
  71d7fc13
30 Nov, 2015 1 commit
- * Do not generate files that depends on TeX by default. · 3c30e0a7
  yoogx authored Nov 30, 2015
  
  3c30e0a7
10 Oct, 2015 5 commits
- * Various quickfix for SPARK2014, as supported by SPARK GPL 2015 · 461778af
  yoogx authored Oct 10, 2015
```
        For issue #4
```
  461778af
- * Solve wrong pre-condition · f485d15f
  yoogx authored Oct 10, 2015
  
  f485d15f
- * Rely on generated protocols to avoid elaboration circularity · f05c2ccf
  yoogx authored Oct 10, 2015
```
        For issue #4
```
  f05c2ccf
- * Rework blocking/release of tasks at startup to abide to · 20a3bf44
  yoogx authored Oct 10, 2015
```
          SPARK2014 elaboration and tasking restrictions.

          For issue #4
```
  20a3bf44
- * Code clean up · be7f5f02
  yoogx authored Oct 10, 2015
  
  be7f5f02
16 Jun, 2015 9 commits
- * Solve merge issues · 4931a11b
  yoogx authored Jun 16, 2015
  
  4931a11b
- * Solve merge issues · 2011d6c4
  yoogx authored Jun 16, 2015
  
  2011d6c4
- * Move Unprotected_Queue to a dedicated package · 69e25ba8
  yoogx authored Jun 08, 2014
  
  69e25ba8
- * Adapt to git · e5699924
  yoogx authored Aug 28, 2013
  
  e5699924
- first commit · ce4d7aba
  Maxime Perrotin authored Feb 19, 2015
  
  ce4d7aba
- * Update licence to GPLv3 + runtime exception · 9a9c49cb
  yoogx authored Jun 16, 2015
```
        For issue #3
```
  9a9c49cb
- * Update licence to GPLv3 + runtime exception · 76525092
  yoogx authored Jun 16, 2015
```
        For issue #3
```
  76525092
- * Update licence to GPLv3 + runtime exception · d1f5edf9
  yoogx authored Jun 16, 2015
```
        For issue #3
```
  d1f5edf9
- * Update licence to GPLv3 + runtime exception · 4fe5c95a
  yoogx authored Jun 16, 2015
```
                For issue #3
```
  4fe5c95a
07 Apr, 2015 1 commit
- * Update files for packaging · fc0f9f01
  yoogx authored Apr 07, 2015
  
  fc0f9f01
26 Mar, 2015 1 commit
- * Disable the info target · e41d3748
  yoogx authored Mar 26, 2015
  
  e41d3748
06 Jan, 2015 5 commits
- * Suppress warning on unrecognized pragmas · c206eb74
  yoogx authored Jan 06, 2015
  
  c206eb74
- * Disable execution of examples · 4e626194
  yoogx authored Jan 06, 2015
  
  4e626194
- * Remove obsolete and unused properties · 490f7ddc
  yoogx authored Jan 06, 2015
  
  490f7ddc
- * Add SPARK_Mode Off · dd857e4a
  yoogx authored Jan 06, 2015
  
  dd857e4a
- * 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 1 commit
- * Do not exit on error if the documentation has not been built · 916d7051
  yoogx authored Aug 23, 2014
  
  916d7051