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 ignored Ghost assignment | Hristian Kirtchev | 1 | -11/+7 |
2018-09-26 | [Ada] Add a No_Return annotation to ease static analysis | Hristian Kirtchev | 1 | -1/+2 |
2018-09-26 | [Ada] Spurious dependency on secondary stack | Hristian Kirtchev | 1 | -194/+341 |
2018-09-26 | [Ada] Minor reformattings | Hristian Kirtchev | 1 | -2/+1 |
2018-09-26 | [Ada] Front-end support for OpenACC pragmas | Olivier Hainque | 1 | -0/+31 |
2018-09-26 | [Ada] Crash on expression functions within quantified expressions | Justin Squirek | 1 | -4/+17 |
2018-07-17 | [Ada] Minor reformatting | Hristian Kirtchev | 1 | -14/+16 |
2018-07-17 | [Ada] Secondary stack leak in loop iterator | Javier Miranda | 1 | -65/+115 |
2018-05-30 | [Ada] Spell preanalysis, preanalyze correctly | Bob Duff | 1 | -3/+3 |
2018-05-30 | [Ada] Secondary stack leak in "for X of ..." loops | Bob Duff | 1 | -5/+7 |
2018-05-24 | [Ada] Fix crash on formal containers | Hristian Kirtchev | 1 | -3/+4 |
2018-05-23 | [Ada] Minor reformattings | Hristian Kirtchev | 1 | -10/+8 |
2018-05-23 | [Ada] Missing legality check on iterator over formal container | Ed Schonberg | 1 | -31/+38 |
2018-05-23 | [Ada] Crash on predicate involving qualified expression in instance | Ed Schonberg | 1 | -0/+11 |
2018-05-21 | [Ada] Premature secondary stack reclamation | Hristian Kirtchev | 1 | -21/+16 |
2018-01-11 | [Ada] Detection of illegal constituent assignments | Hristian Kirtchev | 1 | -5/+70 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2017-12-05 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+11 |
2017-11-16 | sem_ch6.adb (Create_Extra_Formals): The type of the BIP_Object_Access formal ... | Bob Duff | 1 | -0/+39 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+2 |
2017-10-20 | sinfo.ads, sinfo.adb (Alloc_For_BIP_Return): New flag to indicate that an all... | Bob Duff | 1 | -5/+7 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -75/+97 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -6/+14 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -9/+15 |
2017-10-09 | exp_ch6.adb (Expand_N_Extended_Return_Statement): Add self-checking code so i... | Pierre-Marie de Rodat | 1 | -11/+108 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+1 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -4/+6 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -9/+8 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+20 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -6/+3 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2017-04-28 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2017-04-25 | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou... | Hristian Kirtchev | 1 | -4/+5 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+19 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -10/+13 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -21/+21 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -9/+4 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -9/+9 |
2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2017-01-23 | scans.ads: New token At_Sign. | Ed Schonberg | 1 | -0/+45 |
2017-01-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
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 | -31/+23 |
2017-01-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+13 |
2016-10-13 | [multiple changes] | Arnaud Charlet | 1 | -6/+4 |