| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
| 2021-09-22 | [Ada] Removal of technical debt | Justin Squirek | 1 | -4/+0 |
| 2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2020-11-26 | [Ada] Add support for .c output file | Arnaud Charlet | 1 | -5/+4 |
| 2020-11-24 | [Ada] Cannot process -S -o with GNAT LLVM | Arnaud Charlet | 1 | -0/+1 |
| 2020-07-10 | [Ada] Preserve casing of output files | Arnaud Charlet | 1 | -8/+9 |
| 2020-06-03 | [Ada] Remove ASIS tree generation | Arnaud Charlet | 1 | -65/+1 |
| 2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
| 2019-07-10 | [Ada] Allow multiple units per file in GNATprove | Yannick Moy | 1 | -15/+15 |
| 2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2018-05-29 | [Ada] Implement machine parsable format for -gnatR output | Eric Botcazou | 1 | -2/+5 |
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-01-13 | Minor reformatting. | Arnaud Charlet | 1 | -0/+1 |
| 2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+8 |
| 2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+22 |
| 2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
| 2015-05-22 | debug.adb: Update documentation. | Robert Dewar | 1 | -12/+0 |
| 2015-05-22 | [multiple changes] | Arnaud Charlet | 1 | -7/+0 |
| 2015-05-22 | sem_ch3.adb, [...]: Remove incorrect hyphen in non-binary. | Robert Dewar | 1 | -19/+92 |
| 2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
| 2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -9/+3 |
| 2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -3/+1 |
| 2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -2/+2 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -7/+1 |
| 2009-09-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
| 2009-04-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+11 |
| 2009-04-07 | [multiple changes] | Arnaud Charlet | 1 | -10/+10 |
| 2008-03-31 | g-table.adb, [...]: Fix comment typos. | Ralf Wildenhues | 1 | -2/+2 |
| 2008-03-26 | osint-c.adb (Set_Library_Info_Name): Use canonical case file names to check i... | Vincent Celier | 1 | -3/+10 |
| 2007-09-10 | exp_atag.ads, [...]: Replace headers with GPL v3 headers. | Robert Dewar | 1 | -4/+3 |
| 2007-06-06 | osinte-c.ads, [...] (Set_Library_Info_Name): Fail if base name of specified o... | Vincent Celier | 1 | -12/+25 |
| 2006-10-31 | errout.ads, errout.adb (Finalize): Implement switch -gnatd.m Avoid abbreviati... | Robert Dewar | 1 | -18/+63 |
| 2005-12-09 | mlib-tgt-vms-ia64.adb, [...] (Is_Interface): Change Ada bind file prefix on V... | Doug Rupp | 1 | -1/+1 |
| 2005-11-15 | a-secain.adb, [...]: Minor reformatting | Robert Dewar | 1 | -6/+5 |
| 2005-07-01 | Update FSF address | R. Kelley Cook | 1 | -2/+2 |
| 2004-04-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2004-03-29 | [multiple changes] | Arnaud Charlet | 1 | -9/+32 |
| 2003-10-21 | 3psoccon.ads, [...]: Files added. | Arnaud Charlet | 1 | -6/+36 |
| 2003-04-24 | 1aexcept.adb, [...]: Merge header, formatting and other trivial changes from ... | Geert Bosch | 1 | -1/+0 |
| 2002-10-23 | Nathanael Nerode <neroden@gcc.gnu.org> PR ada/5904 | Nathanael Nerode | 1 | -1/+1 |
| 2002-03-14 | Delete all lines containing "$Revision:". | Geoffrey Keating | 1 | -1/+0 |
| 2002-03-08 | 41intnam.ads, [...]: Merge in ACT changes. | Geert Bosch | 1 | -0/+380 |
