Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-12-15 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+6 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -11/+26 |
2017-11-08 | exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re... | Hristian Kirtchev | 1 | -3/+5 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+15 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+12 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -4/+3 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+9 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -52/+0 |
2017-04-25 | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou... | Hristian Kirtchev | 1 | -8/+5 |
2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2017-01-23 | scans.ads: New token At_Sign. | Ed Schonberg | 1 | -0/+3 |
2017-01-19 | Minor reformatting. | Arnaud Charlet | 1 | -3/+4 |
2017-01-13 | sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s... | Hristian Kirtchev | 1 | -75/+77 |
2017-01-13 | exp_util.adb (Insert_Actions): Handle Iterated_Component_Association. | Ed Schonberg | 1 | -0/+1 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2017-01-13 | atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke... | Hristian Kirtchev | 1 | -5/+9 |
2016-10-13 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2016-10-13 | sem_prag.ads (Process_Compile_Time_Warning_Or_Error): New overloaded subprogr... | Javier Miranda | 1 | -0/+9 |
2016-10-12 | Minor reformatting. | Arnaud Charlet | 1 | -5/+8 |
2016-10-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
2016-06-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2016-06-22 | sem_ch8.adb (Push_Scope): Add a check for when the scope table is empty to as... | Justin Squirek | 1 | -1/+2 |
2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -33/+49 |
2016-04-21 | lib-writ.adb, [...]: Minor reformatting and code cleanup. | Hristian Kirtchev | 1 | -2/+2 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2015-10-23 | gnat1drv.adb (Adjust_Global_Switches): Adjust settings. | Arnaud Charlet | 1 | -4/+0 |
2015-10-16 | exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore... | Hristian Kirtchev | 1 | -11/+13 |
2015-05-22 | debug.adb: Update documentation. | Robert Dewar | 1 | -2/+6 |
2015-01-07 | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -101/+116 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
2014-08-04 | sem.adb, sem.ads (In_Default_Expr): Global flag that is set to True during an... | Yannick Moy | 1 | -0/+3 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+23 |
2014-08-01 | a-numaux-vxworks.ads, [...]: Fix bad package header comments. | Robert Dewar | 1 | -7/+1 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2014-07-16 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2014-01-24 | [multiple changes] | Arnaud Charlet | 1 | -6/+7 |
2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -4/+0 |
2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -5/+4 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+11 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -4/+23 |