Age | Commit message (Expand) | Author | Files | Lines |
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 |
2003-04-24 | 1aexcept.adb, [...]: Merge header, formatting and other trivial changes from ... | Geert Bosch | 1 | -1/+0 |
2002-10-23 | Nathanael Nerode <neroden@gcc.gnu.org> PR ada/6919 (forward port of patch for... | Nathanael Nerode | 1 | -1/+1 |