| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2017-12-15 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+3 |
| 2017-04-25 | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou... | Hristian Kirtchev | 1 | -4/+5 |
| 2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
| 2017-01-13 | sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s... | Hristian Kirtchev | 1 | -7/+9 |
| 2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
| 2017-01-13 | atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke... | Hristian Kirtchev | 1 | -3/+14 |
| 2016-10-13 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
| 2015-10-26 | contracts.adb (Analyze_Object_Contract): Set and restore the SPARK_Mode for b... | Hristian Kirtchev | 1 | -1/+4 |
| 2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+13 |
| 2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -243/+236 |
| 2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -5/+2 |
| 2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
| 2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
| 2014-02-18 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
| 2014-02-18 | exp_attr.adb: Minor reformatting. | Robert Dewar | 1 | -0/+3 |
| 2014-01-29 | [multiple changes] | Arnaud Charlet | 1 | -4/+7 |
| 2014-01-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
| 2014-01-20 | sem_aggr.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -5/+3 |
| 2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -12/+14 |
| 2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -28/+28 |
| 2013-04-11 | exp_ch11.ads, [...] (Expand_N_Raise_Expression): New procedure. | Robert Dewar | 1 | -1/+4 |
| 2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
| 2012-10-02 | par_sco.adb, [...]: Change name Conditional_Expression to If_Expression. | Robert Dewar | 1 | -4/+4 |
| 2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
| 2011-08-31 | s-taprop-vxworks.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -239/+243 |
| 2011-08-30 | [multiple changes] | Arnaud Charlet | 1 | -2/+10 |
| 2011-08-30 | exp_ch9.adb, [...]: Minor reformatting. | Arnaud Charlet | 1 | -219/+212 |
| 2011-08-30 | [multiple changes] | Arnaud Charlet | 1 | -212/+219 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
| 2011-08-03 | a-except.adb, [...] (Raise_From_Controlled_Operation): Rewritten to create th... | Hristian Kirtchev | 1 | -1/+4 |
| 2011-08-01 | aspects.ads, [...]: Add Static_Predicate and Dynamic_Predicate. | Robert Dewar | 1 | -1/+0 |
| 2010-10-19 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
| 2010-06-18 | checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case expression (c... | Robert Dewar | 1 | -2/+4 |
| 2008-04-08 | impunit.adb: Add Interfaces.Java.JNI... | Robert Dewar | 1 | -5/+6 |
| 2007-12-13 | expander.adb: Take into account N_Subprogram_Renaming_Declaration | Ed Schonberg | 1 | -0/+3 |
| 2007-09-10 | exp_atag.ads, [...]: Replace headers with GPL v3 headers. | Robert Dewar | 1 | -4/+3 |
| 2007-08-14 | s-intman-irix.adb, [...]: Minor reformatting | Robert Dewar | 1 | -3/+3 |
| 2007-04-06 | a-coprnu.ads, a-cohata.ads, a-chtgop.ads, a-chtgop.adb, a-cgcaso.ads, a-cgars... | Javier Miranda | 1 | -25/+23 |
| 2006-10-31 | exp_ch5.ads (Expand_N_Extended_Return_Statement): New procedure. | Bob Duff | 1 | -0/+3 |
| 2006-02-17 | expander.adb: Fix typo in comment | Ramon Fernandez | 1 | -2/+2 |
| 2005-11-15 | a-secain.adb, [...]: Minor reformatting | Robert Dewar | 1 | -1/+1 |
| 2005-07-01 | Update FSF address | R. Kelley Cook | 1 | -2/+2 |
| 2003-10-21 | 3psoccon.ads, [...]: Files added. | Arnaud Charlet | 1 | -201/+231 |
| 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 |
| 2002-03-14 | Delete all lines containing "$Revision:". | Geoffrey Keating | 1 | -1/+0 |
| 2002-03-08 | 41intnam.ads, [...]: Merge in ACT changes. | Geert Bosch | 1 | -5/+4 |
| 2001-10-02 | New Language: Ada | Richard Kenner | 1 | -0/+492 |
