summaryrefslogtreecommitdiff
path: root/gcc/ada/checks.adb
AgeCommit message (Expand)Author
2019-01-08[Ada] Bump copyright years to 2019pmderodat
2018-12-11[Ada] Volatility, validity checks, and System.Aux_DECpmderodat
2018-12-03[Ada] Minor reformattingspmderodat
2018-11-14[Ada] Enhance constraints propagation to ease the work of optimizerspmderodat
2018-11-14[Ada] Minor reformattingpmderodat
2018-11-14[Ada] Limited function violates No_Exception_Propagationpmderodat
2018-10-09[Ada] Preserve Do_Range_Check flags in SPARK modepmderodat
2018-09-26[Ada] Missing front-end code for constraint checks on fixed point exprspmderodat
2018-09-26[Ada] ICE on mix of tagged and limited interfacespmderodat
2018-08-21[Ada] Minor reformattingspmderodat
2018-08-21[Ada] Enumeration types with non-standard representationpmderodat
2018-07-31[Ada] Minor reformattingspmderodat
2018-07-17[Ada] Add provision for floating-point in Apply_Division_Checkpmderodat
2018-05-31[Ada] Illegal copy of limited objectpmderodat
2018-05-30[Ada] Minor reformattingpmderodat
2018-05-30[Ada] Ignore out of range values for System.Priority in CodePeer modepmderodat
2018-05-23[Ada] Fix various defects found by static analysispmderodat
2018-05-21[Ada] Fix inconstent subprogram body headerspmderodat
2018-01-11[Ada] Bump copyright notices to 2018pmderodat
2017-12-15gcc/ada/pmderodat
2017-12-052017-12-05 Olivier Hainque <hainque@adacore.com>pmderodat
2017-11-162017-11-16 Hristian Kirtchev <kirtchev@adacore.com>pmderodat
2017-11-092017-11-09 Yannick Moy <moy@adacore.com>pmderodat
2017-10-142017-10-14 Ed Schonberg <schonberg@adacore.com>pmderodat
2017-10-092017-10-09 Bob Duff <duff@adacore.com>pmderodat
2017-09-082017-09-08 Hristian Kirtchev <kirtchev@adacore.com>charlet
2017-09-082017-09-08 Bob Duff <duff@adacore.com>charlet
2017-09-062017-09-06 Ed Schonberg <schonberg@adacore.com>charlet
2017-09-062017-09-06 Ed Schonberg <schonberg@adacore.com>charlet
2017-07-25 * gimple.c (gimple_assign_set_rhs_with_ops): Do not ask gsi_replaceebotcazou
2017-05-02Minor reformatting.charlet
2017-05-022017-05-02 Eric Botcazou <ebotcazou@adacore.com>charlet
2017-05-022017-05-02 Eric Botcazou <ebotcazou@adacore.com>charlet
2017-05-022017-05-02 Hristian Kirtchev <kirtchev@adacore.com>charlet
2017-05-022017-05-02 Ed Schonberg <schonberg@adacore.com>charlet
2017-04-282017-04-28 Bob Duff <duff@adacore.com>charlet
2017-04-272017-04-27 Hristian Kirtchev <kirtchev@adacore.com>charlet
2017-04-272017-04-27 Yannick Moy <moy@adacore.com>charlet
2017-04-272017-04-27 Hristian Kirtchev <kirtchev@adacore.com>charlet
2017-04-272017-04-27 Hristian Kirtchev <kirtchev@adacore.com>charlet
2017-04-272017-04-27 Gary Dismukes <dismukes@adacore.com>charlet
2017-04-252017-04-25 Arnaud Charlet <charlet@adacore.com>charlet
2017-04-252017-04-25 Gary Dismukes <dismukes@adacore.com>charlet
2017-04-252017-04-25 Hristian Kirtchev <kirtchev@adacore.com>charlet
2017-04-252017-04-25 Hristian Kirtchev <kirtchev@adacore.com>charlet
2017-04-252017-04-25 Hristian Kirtchev <kirtchev@adacore.com>charlet
2017-04-252017-04-25 Yannick Moy <moy@adacore.com>charlet
2017-04-252017-04-25 Yannick Moy <moy@adacore.com>charlet
2017-04-252017-04-25 Hristian Kirtchev <kirtchev@adacore.com>charlet
2017-04-252017-04-25 Tristan Gingold <gingold@adacore.com>charlet
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-09 20:32:02 +0000