Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2016-04-19 | [multiple changes] | Arnaud Charlet | 1 | -14/+25 |
2015-11-23 | opt.ads (Exception_Mechanism): Now three values: Front_End_SJLJ, Back_End_SJL... | Olivier Hainque | 1 | -1/+5 |
2015-10-16 | exp_ch5.adb, [...]: Code clean up: remove special handling for .NET and JVM. | Arnaud Charlet | 1 | -10/+1 |
2015-02-05 | 015-02-05 Robert Dewar <dewar@adacore.com> | Arnaud Charlet | 1 | -2/+2 |
2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2015-01-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-08-01 | snames.ads-tmpl, [...]: Remove VMS-specific code. | Robert Dewar | 1 | -14/+0 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2014-07-30 | lib-load.ads: Minor reformatting. | Thomas Quinot | 1 | -3/+25 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2014-07-29 | sem_aggr.adb (Resolve_Array_Aggregate): Change Is_Static_Range to Is_OK_Stati... | Robert Dewar | 1 | -2/+3 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -24/+18 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -4/+7 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -6/+0 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -4/+2 |
2014-06-13 | exp_attr.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2014-06-13 | lib.ads, [...] (Is_Compiler_Unit): Removed. | Robert Dewar | 1 | -3/+3 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -4/+5 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+20 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+32 |
2013-07-05 | aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect. | Hristian Kirtchev | 1 | -44/+46 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -7/+7 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -89/+1 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+88 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2012-07-12 | [multiple changes] | Arnaud Charlet | 1 | -37/+114 |
2012-04-25 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2012-04-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+20 |
2011-12-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+11 |
2011-09-19 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2011-09-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2011-08-03 | a-except.adb, [...] (Raise_From_Controlled_Operation): Rewritten to create th... | Hristian Kirtchev | 1 | -0/+7 |
2011-08-03 | sem_aggr.adb, [...]: Minor reformatting | Robert Dewar | 1 | -2/+1 |
2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -5/+9 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+8 |
2010-10-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2010-10-08 | ali.adb: Set Allocator_In_Body if AB parameter present on M line | Robert Dewar | 1 | -0/+6 |
2010-10-05 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2010-06-14 | ali.adb (Scan_ALI): Implement reading and storing of N lines | Robert Dewar | 1 | -23/+71 |