Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+4 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -20/+12 |
2017-04-25 | exp_util.adb, [...]: Minor reformatting. | Gary Dismukes | 1 | -1/+1 |
2017-04-25 | err_vars.ads, [...]: Eliminate the vestigial Internal_Source_File and the Int... | Bob Duff | 1 | -7/+17 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2016-06-22 | spark_xrefs.ads (Scope_Num): type refined to positive integers. | Arnaud Charlet | 1 | -2/+2 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-10-16 | checks.adb: Fix typo. | Arnaud Charlet | 1 | -4/+1 |
2015-10-16 | exp_ch5.adb, [...]: Code clean up: remove special handling for .NET and JVM. | Arnaud Charlet | 1 | -3/+2 |
2015-01-30 | a-assert.adb: Minor reformatting. | Robert Dewar | 1 | -2/+2 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-07-29 | types.ads (Mechanism_Type): Change range back to -18 .. | Robert Dewar | 1 | -2/+8 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -44/+45 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -19/+51 |
2014-07-29 | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+8 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -5/+13 |
2014-07-17 | back_end.adb: Minor reformatting and comment additions. | Robert Dewar | 1 | -10/+11 |
2014-07-16 | [multiple changes] | Arnaud Charlet | 1 | -15/+16 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -8/+0 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2013-07-05 | aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect. | Hristian Kirtchev | 1 | -0/+8 |
2013-07-05 | [multiple changes] | Arnaud Charlet | 1 | -19/+20 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -6/+7 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2013-01-04 | types.ads, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+3 |
2012-12-05 | gnat_rm.texi: Update overflow description. | Robert Dewar | 1 | -6/+6 |
2012-11-06 | checks.ads, [...]: Minor changes throughout for new overflow checking. | Robert Dewar | 1 | -34/+25 |
2012-10-04 | checks.adb (Minimize_Eliminate_Overflow_Checks): Dont reanalyze if/case expre... | Robert Dewar | 1 | -1/+3 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -27/+32 |
2012-08-06 | [multiple changes] | Arnaud Charlet | 1 | -3/+53 |
2012-05-15 | fe.h (Get_RT_Exception_Name): Define. | Tristan Gingold | 1 | -2/+4 |
2011-11-21 | sem_ch3.adb: Minor reformatting. | Robert Dewar | 1 | -6/+2 |
2011-10-24 | [multiple changes] | Arnaud Charlet | 1 | -16/+19 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2010-10-22 | a-except-2005.adb (Rmsg_18): New message text. | Robert Dewar | 1 | -1/+1 |
2010-10-22 | [multiple changes] | Arnaud Charlet | 1 | -17/+18 |
2010-10-07 | [multiple changes] | Arnaud Charlet | 1 | -4/+6 |
2010-09-09 | [multiple changes] | Arnaud Charlet | 1 | -7/+7 |
2010-06-22 | s-rannum.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -4/+4 |
2010-06-22 | [multiple changes] | Arnaud Charlet | 1 | -4/+1 |
2010-06-18 | [multiple changes] | Arnaud Charlet | 1 | -31/+32 |