| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2023-11-07 | ada: Implement Aspects as fields under nodes | Viljar Indus | 1 | -3/+0 |
| 2023-06-13 | ada: Mark attribute Initialized as ghost code | Yannick Moy | 1 | -1/+14 |
| 2023-06-13 | ada: Support new GNAT-specific aspect Ghost_Predicate | Yannick Moy | 1 | -12/+21 |
| 2023-01-09 | ada: Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2023-01-03 | ada: Cannot reference ghost entity in class-wide precondition | Javier Miranda | 1 | -0/+10 |
| 2022-09-12 | [Ada] Tech debt: Expansion of contracts | Justin Squirek | 1 | -6/+4 |
| 2022-07-06 | [Ada] Support ghost generic formal parameters | Yannick Moy | 1 | -13/+129 |
| 2022-07-05 | [Ada] Fix spurious error on object renaming with ghost type | Yannick Moy | 1 | -1/+10 |
| 2022-06-02 | [Ada] Issue errors on wrong context for ghost entities | Yannick Moy | 1 | -8/+58 |
| 2022-05-10 | [Ada] Reuse Is_Rewrite_Substitution where possible | Piotr Trojanek | 1 | -1/+1 |
| 2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
| 2022-01-07 | [Ada] Cleanup and modification of unreferenced warnings | Justin Squirek | 1 | -1/+1 |
| 2021-10-01 | [Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditions | Javier Miranda | 1 | -0/+9 |
| 2021-06-16 | [Ada] Fix missing array bounds checking | Bob Duff | 1 | -4/+14 |
| 2021-05-07 | [Ada] Minor reformattings | Bob Duff | 1 | -20/+20 |
| 2021-05-07 | [Ada] Variable-sized node types | Bob Duff | 1 | -2/+6 |
| 2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2021-04-28 | [Ada] Improve error message for ghost in predicate | Yannick Moy | 1 | -0/+50 |
| 2020-10-19 | [Ada] Expanded names in ghost assignments | Bob Duff | 1 | -50/+85 |
| 2020-07-27 | [Ada] Use membership tests in front-end | Arnaud Charlet | 1 | -42/+41 |
| 2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
| 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 | -18/+51 |
| 2018-11-14 | [Ada] Lingering loop for ignored Ghost assignment | Hristian Kirtchev | 1 | -2/+2 |
| 2018-07-17 | [Ada] New ignored Ghost code removal mechanism | Hristian Kirtchev | 1 | -215/+133 |
| 2018-05-24 | [Ada] Fix crash on formal containers | Hristian Kirtchev | 1 | -32/+91 |
| 2018-01-11 | [Ada] Prohibit concurrent types in Ghost regions | Hristian Kirtchev | 1 | -0/+36 |
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -3/+3 |
| 2017-09-07 | [multiple changes] | Arnaud Charlet | 1 | -0/+44 |
| 2017-09-07 | [multiple changes] | Arnaud Charlet | 1 | -6/+22 |
| 2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-04-25 | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou... | Hristian Kirtchev | 1 | -51/+8 |
| 2017-01-23 | ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine. | Hristian Kirtchev | 1 | -2/+17 |
| 2017-01-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+37 |
| 2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
| 2017-01-13 | atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke... | Hristian Kirtchev | 1 | -243/+592 |
| 2017-01-12 | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 1 | -1/+1 |
| 2017-01-06 | snames.ads-tmpl (Renamed): New name for the pragma argument. | Bob Duff | 1 | -1/+1 |
| 2017-01-06 | [multiple changes] | Arnaud Charlet | 1 | -14/+17 |
| 2016-10-12 | exp_ch5.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -2/+2 |
| 2016-10-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
| 2016-07-07 | sem_ch6.adb (Process_Formals): Set ghost flag on formal entities of ghost sub... | Yannick Moy | 1 | -0/+8 |
| 2016-07-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
| 2016-07-04 | ghost.adb (Prune_Node): A freeze node for an ignored ghost entity must be pru... | Ed Schonberg | 1 | -0/+9 |
| 2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -9/+40 |
| 2016-04-20 | sem_util.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -3/+3 |
| 2016-04-20 | contracts.adb (Build_Postconditions_Procedure): Code cleanup. | Javier Miranda | 1 | -7/+18 |
| 2016-04-18 | contracts.adb (Analyze_Object_Contract): Update references to SPARK RM. | Hristian Kirtchev | 1 | -74/+216 |
| 2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
