2013-10-17 |
Hristian Kirtchev | aspects.adb, [...]: Remove all entries for Refined_Pre... |
blob | commitdiff | raw |
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 |
Hristian Kirtchev | aspects.adb: Add an entry in table Canonical_Aspect... |
blob | commitdiff | raw | diff to current |
2013-10-13 |
Robert Dewar | gnat_rm.texi: Add documentation for pragmas Pre[_Class... |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-09-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-07-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-07-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-07-05 |
Hristian Kirtchev | aspects.adb: Add an entry for SPARK_Mode in table Canon... |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Robert Dewar | gnat_rm.texi: Document Reason argument for pragma Warnings. |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-22 |
Yannick Moy | par-prag.adb, [...]: Remove all references to Pragma_Co... |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Hristian Kirtchev | aspects.adb: Alphabetize subprogram bodies in this... |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Eric Botcazou | snames.ads-tmpl (Name_Loop_Optimize, [...]): New pragma... |
blob | commitdiff | raw | diff to current |
2013-02-06 |
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-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-03 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Robert Dewar | checks.adb (Apply_Scalar_Range_Check): Implement Check_... |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Robert Dewar | gnat_rm.texi: Update overflow description. |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-29 |
Thomas Quinot | gnat_rm.texi, [...] (Sem_Prag.Analyze_Pragma): Handle... |
blob | commitdiff | raw | diff to current |
2012-10-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-06-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-03-15 |
Yannick Moy | aspects.adb, [...] (Aspect_Id): New GNAT aspect Aspect_... |
blob | commitdiff | raw | diff to current |
2012-03-07 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-02-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-02-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-01-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-12-15 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-11-21 |
Arnaud Charlet | sem_ch6.adb (Is_Public_Subprogram_For): New procedure |
blob | commitdiff | raw | diff to current |
2011-10-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-06 |
Robert Dewar | a-cbprqu.ads, [...]: Mark all entities as Implementatio... |
blob | commitdiff | raw | diff to current |
2011-08-31 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-04 |
Yannick Moy | gnat_rm.texi: Document new pragma and aspect. |
blob | commitdiff | raw | diff to current |
2011-08-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-01 |
Robert Dewar | sem_util.ads, [...] (Last_Source_Statement): Replaces... |
blob | commitdiff | raw | diff to current |
2011-08-01 |
Yannick Moy | err_vars.ads (Error_Msg_Lang, [...]): new variables... |
blob | commitdiff | raw | diff to current |
2010-12-20 |
Ralf Wildenhues | Fix typos in gcc/ada. |
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-19 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-11 |
Bob Duff | par-ch9.adb, [...]: Use Ada_2005 instead of Ada_05... |
blob | commitdiff | raw | diff to current |
2010-10-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-07 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-09-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-09-09 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-06-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-06-18 |
Arnaud Charlet | par-ch9.adb, [...]: Update comments. |
blob | commitdiff | raw | diff to current |
2010-06-18 |
Robert Dewar | checks.adb (Safe_To_Capture_In_Parameter_Value): Deal... |
blob | commitdiff | raw | diff to current |
2010-01-27 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2009-11-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2009-11-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2009-05-06 |
Robert Dewar | errout.adb: Minor reformatting |
blob | commitdiff | raw | diff to current |
2009-04-20 |
Arnaud Charlet | Update comments. |
blob | commitdiff | raw | diff to current |
2009-04-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2008-08-22 |
Arnaud Charlet | checks.adb (Determine_Range): Deal with values that... |
blob | commitdiff | raw | diff to current |
2008-08-01 |
Arnaud Charlet | rtsfind.ads: Add block IO versions of stream routines... |
blob | commitdiff | raw | diff to current |
2008-08-01 |
Robert Dewar | par-prag.adb (Prag, [...]): Deal with upper half encodings |
blob | commitdiff | raw | diff to current |
2008-07-31 |
Hristian Kirtchev | 2008-07-31 Hristian Kirtchev <kirtchev@adacore.com> |
blob | commitdiff | raw | diff to current |
2008-05-20 |
Robert Dewar | opt.ads (Treat_Restrictions_As_Warnings): New switch |
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-31 |
Ralf Wildenhues | g-table.adb, [...]: Fix comment typos. |
blob | commitdiff | raw | diff to current |
2008-03-26 |
Robert Dewar | ali.ads, ali.adb (Optimize_Alignment_Setting): New... |
blob | commitdiff | raw | diff to current |
2007-12-19 |
Robert Dewar | g-expect-vms.adb, [...]: Add pragma Warnings (Off)... |
blob | commitdiff | raw | diff to current |
2007-12-13 |
Robert Dewar | a-ngcoty.adb: New pragma Fast_Math |
blob | commitdiff | raw | diff to current |
2007-09-12 |
Robert Dewar | types.ads, [...]: Minor reformatting. |
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-08-14 |
Robert Dewar | opt.ads: Warning for non-local exception propagation... |
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 |
2007-04-06 |
Robert Dewar | par-prag.adb (Prag): Add dummy entry for pragma Compile... |
blob | commitdiff | raw | diff to current |
2006-10-31 |
Robert Dewar | a-dispat.ads, [...]: New files. |
blob | commitdiff | raw | diff to current |
2006-02-15 |
Robert Dewar | opt.ads opt.adb: Add Ada_Version_Explicit_Config along... |
blob | commitdiff | raw | diff to current |
2005-12-09 |
Robert Dewar | sem_prag.adb: Processing for new pragma Complete_Repres... |
blob | commitdiff | raw | diff to current |
2005-11-15 |
Ed Schonberg | sem_warn.ads, [...] (Publicly_Referenceable): Generic... |
blob | commitdiff | raw | diff to current |
2005-09-05 |
Robert Dewar | opt.ads, opt.adb: Add new switches Debug_Pragmas_Enable... |
blob | commitdiff | raw | diff to current |
next |