git.ipfire.org Git - thirdparty/gcc.git/history

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/contracts.adb

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / ada / contracts.adb

2020-06-02	Piotr Trojanek	[Ada] Reuse Is_Package_Or_Generic_Package where possible	blob \| commitdiff \| raw
2019-08-12	Yannick Moy	[Ada] New aspect/pragma No_Caching for analysis of...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Javier Miranda	[Ada] Removing support for SCIL "contract-only" subprog...	blob \| commitdiff \| raw \| diff to current
2019-01-08	Pierre-Marie de...	[Ada] Bump copyright years to 2019	blob \| commitdiff \| raw \| diff to current
2018-09-26	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-09-26	Ed Schonberg	[Ada] Disable special handling for preconditions specif...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Ed Schonberg	[Ada] Fix ICE related to type freezing	blob \| commitdiff \| raw \| diff to current
2018-08-21	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-08-21	Ed Schonberg	[Ada] Spurious crash on expression function as completi...	blob \| commitdiff \| raw \| diff to current
2018-07-31	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-07-16	Hristian Kirtchev	[Ada] Missing error on hidden state in instantiation	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-05-30	Bob Duff	[Ada] Spell preanalysis, preanalyze correctly	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-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-27	Arnaud Charlet	einfo.ads: Minor fixes in comments.	blob \| commitdiff \| raw \| diff to current
2017-04-27	Ed Schonberg	sem_util.adb, [...] (Build_Class_Wide_Clone_Body):...	blob \| commitdiff \| raw \| diff to current
2017-04-25	Hristian Kirtchev	contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contrac...	blob \| commitdiff \| raw \| diff to current
2017-04-25	Arnaud Charlet	Code cleanup.	blob \| commitdiff \| raw \| diff to current
2017-04-25	Arnaud Charlet	Code clean up.	blob \| commitdiff \| raw \| diff to current
2017-04-25	Arnaud Charlet	Code clean ups.	blob \| commitdiff \| raw \| diff to current
2017-01-19	Arnaud Charlet	Code cleanup.	blob \| commitdiff \| raw \| diff to current
2017-01-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-13	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-13	Arnaud Charlet	Code cleanups.	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-12	Arnaud Charlet	[multiple changes]	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-10-13	Arnaud Charlet	Code cleanup.	blob \| commitdiff \| raw \| diff to current
2016-10-12	Ed Schonberg	contracts.adb (Analyze_Contracts): For a type declarati...	blob \| commitdiff \| raw \| diff to current
2016-06-14	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-21	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-20	Hristian Kirtchev	sem_util.adb, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2016-04-20	Javier Miranda	contracts.adb (Build_Postconditions_Procedure): Code...	blob \| commitdiff \| raw \| diff to current
2016-04-20	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-18	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-18	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-18	Hristian Kirtchev	contracts.adb (Analyze_Object_Contract): Update referen...	blob \| commitdiff \| raw \| diff to current
2016-04-18	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-11-24	Gary Dismukes	sem_ch3.adb, [...]: Minor reformatting, rewording,...	blob \| commitdiff \| raw \| diff to current
2015-11-18	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-11-18	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-11-18	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-11-12	Hristian Kirtchev	contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contrac...	blob \| commitdiff \| raw \| diff to current
2015-10-26	Hristian Kirtchev	contracts.adb (Analyze_Object_Contract): Set and restor...	blob \| commitdiff \| raw \| diff to current
2015-10-26	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-26	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-26	Arnaud Charlet	Code clean ups.	blob \| commitdiff \| raw \| diff to current
2015-10-26	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-26	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-26	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-26	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom