2019-01-08 |
Pierre-Marie de... | [Ada] Bump copyright years to 2019 |
blob | commitdiff | raw |
2018-12-11 |
Hristian Kirtchev | [Ada] Suppress call to Initial_Condition when the annot... |
blob | commitdiff | raw | diff to current |
2018-11-14 |
Hristian Kirtchev | [Ada] Lingering loop for ignored Ghost assignment |
blob | commitdiff | raw | diff to current |
2018-06-11 |
Hristian Kirtchev | [Ada] Suppress the expansion of ignored assertion pragmas |
blob | commitdiff | raw | diff to current |
2018-01-11 |
Arnaud Charlet | [Ada] Bump copyright notices to 2018 |
blob | commitdiff | raw | diff to current |
2017-11-09 |
Pierre-Marie de... | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-10-09 |
Pierre-Marie de... | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-09-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-09-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-09-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-28 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-27 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-27 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-01-13 |
Hristian Kirtchev | sem_aggr.adb, [...]: Update all eligible case statement... |
blob | commitdiff | raw | diff to current |
2017-01-13 |
Hristian Kirtchev | atree.adb (Allocate_Initialize_Node): A newly created... |
blob | commitdiff | raw | diff to current |
2017-01-12 |
Bob Duff | contracts.adb, [...] (Pragma_Name): Change name to... |
blob | commitdiff | raw | diff to current |
2017-01-06 |
Bob Duff | snames.ads-tmpl (Renamed): New name for the pragma... |
blob | commitdiff | raw | diff to current |
2016-05-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2016-05-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2016-04-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-10-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-10-16 |
Hristian Kirtchev | exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not... |
blob | commitdiff | raw | diff to current |
2015-05-27 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-05-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-05-26 |
Hristian Kirtchev | exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture... |
blob | commitdiff | raw | diff to current |
2015-05-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-05-26 |
Hristian Kirtchev | exp_ch6.adb (Process_Contract_Cases_For): Update the... |
blob | commitdiff | raw | diff to current |
2015-05-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-03-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-02-20 |
Eric Botcazou | exp_ch3.adb (Default_Initialize_Object): Call Add_Inlin... |
blob | commitdiff | raw | diff to current |
2014-10-17 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-10-17 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-04 |
Robert Dewar | exp_prag.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-08-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-31 |
Robert Dewar | cstand.adb, [...]: Remove obsolete VMS-specific code. |
blob | commitdiff | raw | diff to current |
2014-07-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-16 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-24 |
Arnaud Charlet | 2014-02-24 Sergey Rybin <rybin@adacore.com frybin> |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Robert Dewar | einfo.ads: Minor comment addition: Etype of package... |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Robert Dewar | sem_aggr.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Arnaud Charlet | sem_prag.adb (Process_Import_Or_Interface): In Relaxed_... |
blob | commitdiff | raw | diff to current |
2013-10-17 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Tristan Gingold | cstand.adb (Create_Standard): Change Import_Code compon... |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-09-10 |
Robert Dewar | exp_prag.adb (Expand_Pragma_Check): Ignore pragma if... |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Robert Dewar | exp_prag.adb (Expand_Pragma_Check): Check for Assert... |
blob | commitdiff | raw | diff to current |
2013-04-22 |
Yannick Moy | exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite... |
blob | commitdiff | raw | diff to current |
2013-04-22 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-04 |
Robert Dewar | exp_prag.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-01-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | Minor reformatting. |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Hristian Kirtchev | sem_prag.adb (Analyze_Pragma): Do not output the charac... |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-06-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-05-15 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-11-21 |
Robert Dewar | exp_prag.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2011-11-21 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-30 |
Arnaud Charlet | exp_ch9.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2011-08-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-21 |
Robert Dewar | einfo.ads, einfo.adb: Add handling of predicates. |
blob | commitdiff | raw | diff to current |
2010-10-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-09-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-06-17 |
Robert Dewar | exp_fixd.adb, [...]: Use Make_Temporary |
blob | commitdiff | raw | diff to current |
2010-06-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2009-07-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2009-06-21 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2008-04-08 |
Robert Dewar | alloc.ads: Add entries for Obsolescent_Warnings table |
blob | commitdiff | raw | diff to current |
2008-03-30 |
Ralf Wildenhues | a-textio.ads, [...]: Fix comment typos. |
blob | commitdiff | raw | diff to current |
2008-03-26 |
Robert Dewar | tbuild.ads, [...] (N_Pragma): Chars field removed,... |
blob | commitdiff | raw | diff to current |
2007-12-13 |
Robert Dewar | exp_prag.adb (Expand_Pragma_Assert): Recognize new... |
blob | commitdiff | raw | diff to current |
2007-09-10 |
Robert Dewar | exp_atag.ads, [...]: Replace headers with GPL v3 headers. |
blob | commitdiff | raw | diff to current |
2007-06-06 |
Ed Schonberg | exp_prag.adb (Expand_Pragma_Import_Or_Interface): Remov... |
blob | commitdiff | raw | diff to current |
2006-10-31 |
Robert Dewar | exp_prag.adb (Expand_Pragma_Common_Object): Use a singl... |
blob | commitdiff | raw | diff to current |
next |