Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-11-14 | [Ada] Crash on use of generic formal package | Justin Squirek | 1 | -0/+5 |
2018-11-14 | [Ada] Crash on ignored Ghost assignment | Hristian Kirtchev | 1 | -100/+115 |
2018-09-26 | [Ada] Spurious ineffective use_clause warning | Justin Squirek | 1 | -1/+9 |
2018-07-17 | [Ada] New ignored Ghost code removal mechanism | Hristian Kirtchev | 1 | -18/+3 |
2018-06-11 | [Ada] Performance degradation with references | Hristian Kirtchev | 1 | -15/+27 |
2018-05-30 | [Ada] Spell preanalysis, preanalyze correctly | Bob Duff | 1 | -1/+1 |
2018-05-28 | [Ada] Misleading warning on unresolvable package name | Justin Squirek | 1 | -1/+5 |
2018-05-25 | [Ada] Minor reformatting | Justin Squirek | 1 | -1/+3 |
2018-05-24 | [Ada] Infinite loop in the compiler when warning on redundant constructs | Ed Schonberg | 1 | -1/+5 |
2018-05-22 | [Ada] Do not emit error in Relaxed_RM_Semantics mode | Arnaud Charlet | 1 | -1/+4 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2018-01-11 | [Ada] Encoding of with clauses in ALI files | Hristian Kirtchev | 1 | -5/+6 |
2018-01-11 | [Ada] Minor reformatting | Justin Squirek | 1 | -1/+2 |
2017-12-05 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+10 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -7/+2 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -9/+62 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -5/+5 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+4 |
2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -3/+16 |
2017-11-08 | exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re... | Hristian Kirtchev | 1 | -6/+32 |
2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+2 |
2017-10-20 | s-osinte__linux.ads (Relative_Timed_Wait): Add variable needed for using mono... | Pierre-Marie de Rodat | 1 | -4/+4 |
2017-10-20 | sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to compare a... | Pierre-Marie de Rodat | 1 | -2/+2 |
2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -10/+7 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -90/+106 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -22/+3 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -9/+32 |
2017-10-09 | exp_ch6.adb (Expand_N_Extended_Return_Statement): Add self-checking code so i... | Pierre-Marie de Rodat | 1 | -2/+2 |
2017-09-29 | [multiple changes] | Pierre-Marie de Rodat | 1 | -3/+4 |
2017-09-29 | [multiple changes] | Pierre-Marie de Rodat | 1 | -9/+1 |
2017-09-29 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -587/+1073 |
2017-09-13 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+1 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+20 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-09-06 | exp_attr.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -1/+1 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -8/+4 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -21/+38 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+13 |
2017-04-25 | Minor reformatting. | Arnaud Charlet | 1 | -13/+13 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+12 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -3/+7 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |