Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -10/+9 |
2014-02-24 | g-sercom-mingw.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -5/+4 |
2014-02-24 | [multiple changes] | Arnaud Charlet | 1 | -37/+28 |
2014-02-24 | [multiple changes] | Arnaud Charlet | 1 | -3/+52 |
2014-02-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+12 |
2014-02-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+3 |
2014-01-29 | 2014-01-29 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -0/+17 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+49 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+12 |
2014-01-21 | switch-c.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+1 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -31/+12 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+82 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2013-10-14 | aspects.adb: Add an entry in table Canonical_Aspect for Initializes. | Hristian Kirtchev | 1 | -0/+34 |
2013-07-05 | aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect. | Hristian Kirtchev | 1 | -0/+12 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+13 |
2013-01-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+13 |
2013-01-04 | [multiple changes] | Arnaud Charlet | 1 | -2/+988 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+14 |
2012-03-19 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2011-11-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2011-08-29 | atree.ads, atree.adb (Copy_Separate_List): New function that applies Copy_Sep... | Ed Schonberg | 1 | -2/+20 |
2011-08-03 | a-except.adb, [...] (Raise_From_Controlled_Operation): Rewritten to create th... | Hristian Kirtchev | 1 | -1/+18 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -26/+22 |
2011-08-02 | atree.h, [...]: New subprograms to manipulate Elist5. | Ed Schonberg | 1 | -0/+16 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2010-10-22 | a-except-2005.adb (Rmsg_18): New message text. | Robert Dewar | 1 | -0/+12 |
2010-10-19 | [multiple changes] | Arnaud Charlet | 1 | -0/+17 |
2010-10-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -29/+52 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -8/+20 |
2010-10-11 | sem_ch3.adb, [...]: Minor reformatting | Robert Dewar | 1 | -246/+319 |
2010-09-10 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2010-06-23 | [multiple changes] | Arnaud Charlet | 1 | -11/+22 |
2010-06-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+21 |
2010-06-22 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2010-06-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2010-06-21 | sem_res.adb: Minor reformatting. | Thomas Quinot | 1 | -16/+78 |
2010-06-17 | [multiple changes] | Arnaud Charlet | 1 | -0/+31 |
2010-06-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+98 |
2009-07-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+15 |
2009-04-17 | [multiple changes] | Arnaud Charlet | 1 | -972/+0 |
2009-04-17 | [multiple changes] | Arnaud Charlet | 1 | -94/+8 |
2009-04-09 | Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime Exception. | Jakub Jelinek | 1 | -13/+11 |
2009-04-09 | exp_disp.adb (Export_DT): Addition of a new argument (Index)... | Javier Miranda | 1 | -0/+17 |
2008-04-08 | impunit.adb: Add Interfaces.Java.JNI... | Robert Dewar | 1 | -27/+27 |