Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-08-20 | [Ada] Revert change for gnatprove that is no longer needed | Piotr Trojanek | 1 | -13/+4 |
2019-08-13 | [Ada] Add GNAT.Branch_Prediction to Impunit | Eric Botcazou | 1 | -0/+1 |
2019-07-01 | [Ada] Implement GNAT.Graphs | Hristian Kirtchev | 1 | -0/+1 |
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-09-26 | [Ada] New unit GNAT.Sets | Hristian Kirtchev | 1 | -0/+1 |
2018-08-21 | [Ada] Define versions of dimension system for Float and Long_Float | Yannick Moy | 1 | -0/+8 |
2018-08-21 | [Ada] General purpose doubly linked list for compiler and tool use | Hristian Kirtchev | 1 | -0/+1 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2016-10-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2015-11-13 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -11/+11 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -53/+45 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2014-10-31 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2014-10-17 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-07-16 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2014-06-11 | gnat_rm.texi: Document System.Unsigned_Types. | Robert Dewar | 1 | -1/+2 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -4/+9 |
2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -5/+8 |
2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -4/+10 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2012-02-08 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2011-12-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2011-12-15 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2011-11-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2011-11-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2011-11-04 | [multiple changes] | Arnaud Charlet | 1 | -3/+12 |
2011-10-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-09-06 | sem_ch10.adb, [...] (Not_Impl_Defined_Unit): New name for Is_RM_Defined_Unit. | Robert Dewar | 1 | -18/+22 |
2011-09-06 | impunit.ads, [...] (Is_RM_Defined_Unit): New function. | Robert Dewar | 1 | -384/+521 |
2011-09-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2011-09-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+0 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+0 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |