| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
| 2015-11-25 | [multiple changes] | Arnaud Charlet | 1 | -4/+8 |
| 2015-11-23 | opt.ads (Exception_Mechanism): Now three values: Front_End_SJLJ, Back_End_SJL... | Olivier Hainque | 1 | -0/+38 |
| 2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -5/+10 |
| 2014-10-30 | Recommit wrongly reverted change. | Arnaud Charlet | 1 | -1/+1 |
| 2014-10-10 | exp_intr.adb (Write_Entity_Name): Moved to outer level | Robert Dewar | 1 | -0/+7 |
| 2014-08-01 | a-numaux-vxworks.ads, [...]: Fix bad package header comments. | Robert Dewar | 1 | -4/+0 |
| 2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2014-07-29 | gnat_rm.texi: Document pragma Unevaluated_Use_Of_Old. | Robert Dewar | 1 | -0/+5 |
| 2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+11 |
| 2014-02-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
| 2014-01-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
| 2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
| 2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -2/+7 |
| 2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2014-01-20 | exp_spark.adb (Expand_SPARK_Call): Remove procedure. | Yannick Moy | 1 | -9/+0 |
| 2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -1/+1 |
| 2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -1/+1 |
| 2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -17/+1 |
| 2013-01-02 | checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow. | Robert Dewar | 1 | -0/+6 |
| 2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -3/+1 |
| 2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-08-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
| 2011-08-05 | a-cbmutr.adb: Minor reformatting | Robert Dewar | 1 | -0/+8 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -8/+15 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
| 2011-08-01 | sem_util.ads, [...] (Last_Source_Statement): Replaces Last_Source_Node_In_Seq... | Robert Dewar | 1 | -67/+0 |
| 2011-08-01 | err_vars.ads (Error_Msg_Lang, [...]): new variables for insertion character ~~ | Yannick Moy | 1 | -1/+5 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+63 |
| 2010-10-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
| 2010-09-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
| 2010-06-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2009-11-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
| 2009-04-09 | Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime Exception. | Jakub Jelinek | 1 | -13/+11 |
| 2008-08-22 | checks.adb (Determine_Range): Deal with values that might be invalid | Arnaud Charlet | 1 | -16/+23 |
| 2008-04-08 | fe.h: Remove global Optimize_Alignment flag, no longer used | Robert Dewar | 1 | -13/+31 |
| 2008-03-26 | ali.ads, ali.adb (Optimize_Alignment_Setting): New field in ALI record | Robert Dewar | 1 | -0/+6 |
| 2007-12-13 | a-ngcoty.adb: New pragma Fast_Math | Robert Dewar | 1 | -0/+5 |
| 2007-06-06 | g-comlin.ads, [...]: Add new warning for renaming of function return objects | Robert Dewar | 1 | -14/+16 |
| 2006-02-15 | opt.ads opt.adb: Add Ada_Version_Explicit_Config along with save/restore rout... | Robert Dewar | 1 | -26/+20 |
| 2005-09-05 | opt.ads, opt.adb: Add new switches Debug_Pragmas_Enabled[_Config] | Robert Dewar | 1 | -3/+25 |
| 2005-07-01 | Update FSF address | R. Kelley Cook | 1 | -2/+2 |
| 2005-06-16 | opt.ads, opt.adb: New flags for persistent_bss mode Add Ada_Version_Explicit... | Robert Dewar | 1 | -4/+29 |
| 2004-09-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2004-06-07 | [multiple changes] | Arnaud Charlet | 1 | -11/+11 |
| 2003-11-24 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
| 2003-10-21 | 3psoccon.ads, [...]: Files added. | Arnaud Charlet | 1 | -44/+45 |
