Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |
2016-06-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+14 |
2016-05-02 | get_spark_xrefs.adb (Get_Nat, Get_Name): Initialize variables when they are d... | Arnaud Charlet | 1 | -1/+1 |
2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2016-04-21 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
2016-04-21 | [multiple changes] | Arnaud Charlet | 1 | -15/+25 |
2016-04-20 | sem_util.ads, [...] (Is_Expanded_Priority_Attribute): New predicate to determ... | Ed Schonberg | 1 | -6/+1 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 1 | -12/+2 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 1 | -10/+12 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 1 | -6/+9 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |