git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/lib-xref-spark

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/lib-xref-spark_specific.adb

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / ada / lib-xref-spark_specific.adb

2020-06-02	Arnaud Charlet	[Ada] Bump copyright year	blob \| commitdiff \| raw
2020-06-02	Piotr Trojanek	[Ada] Use new API when creating a special SPARK heap...	blob \| commitdiff \| raw \| diff to current
2019-07-08	Piotr Trojanek	[Ada] Set dummy Etype for the fake __HEAP entity in...	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-08-21	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-08-21	Piotr Trojanek	[Ada] Handle pragmas that come from aspects for GNATprove	blob \| commitdiff \| raw \| diff to current
2018-07-17	Piotr Trojanek	[Ada] Attach the special GNATprove HEAP entity to the...	blob \| commitdiff \| raw \| diff to current
2018-05-21	Piotr Trojanek	[Ada] Fix inconstent subprogram body headers	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...	gnat1drv.adb (Adjust_Global_Switches): Suppress warning...	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-08	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-08	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-08	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-08	Pierre-Marie de...	lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove...	blob \| commitdiff \| raw \| diff to current
2017-11-08	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-08	Piotr Trojanek	spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id...	blob \| commitdiff \| raw \| diff to current
2017-11-08	Piotr Trojanek	spark_xrefs.ads (SPARK_File_Record): Remove string...	blob \| commitdiff \| raw \| diff to current
2017-11-08	Piotr Trojanek	lib-xref.ads, [...] (Traverse_Declarations): Remove...	blob \| commitdiff \| raw \| diff to current
2017-11-08	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-08	Piotr Trojanek	spark_xrefs.ads (SPARK_Xref_Record): Remove inessential...	blob \| commitdiff \| raw \| diff to current
2017-11-08	Piotr Trojanek	lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove...	blob \| commitdiff \| raw \| diff to current
2017-11-08	Pierre-Marie de...	sem_disp.adb (Is_Inherited_Public_Operation): Extend...	blob \| commitdiff \| raw \| diff to current
2017-09-29	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-13	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-11	Yannick Moy	lib-xref-spark_specific.adb: Minor rewrite.	blob \| commitdiff \| raw \| diff to current
2017-09-11	Yannick Moy	sem_util.adb (Check_Result_And_Post_State): Do not...	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-07	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-19	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
2016-11-30	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-06-22	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-06-22	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-06-22	Arnaud Charlet	spark_xrefs.ads (Scope_Num): type refined to positive...	blob \| commitdiff \| raw \| diff to current
2016-06-22	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-06-22	Arnaud Charlet	lib-xref-spark_specific.adb (Generate_Dereference)...	blob \| commitdiff \| raw \| diff to current
2016-06-22	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-06-22	Ed Schonberg	exp_ch4.adb (In_Range_Chec)): New predicate, subsidiary...	blob \| commitdiff \| raw \| diff to current
2016-06-22	Arnaud Charlet	lib.ads: Code cleanup.	blob \| commitdiff \| raw \| diff to current
2016-06-14	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-05-02	Arnaud Charlet	Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2016-05-02	Arnaud Charlet	2016-05-02 Arnaud Charlet <charlet@adacore.com>	blob \| commitdiff \| raw \| diff to current
2016-05-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-05-02	Arnaud Charlet	lib-xref-spark_specific.adb (Add_SPARK_Scope): add...	blob \| commitdiff \| raw \| diff to current
2016-05-02	Arnaud Charlet	make.adb: Minor...	blob \| commitdiff \| raw \| diff to current
2016-04-19	Arnaud Charlet	sem_res.adb (Within_Subprogram_Call): Detect also nodes...	blob \| commitdiff \| raw \| diff to current
2016-04-18	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-18	Bob Duff	sem_ch6.adb (Is_Inline_Pragma): The pragma argument...	blob \| commitdiff \| raw \| diff to current
2015-11-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-11-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-11-12	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-10-27	Hristian Kirtchev	lib-xref-spark_specific.adb, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2015-10-27	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
2015-10-20	Yannick Moy	fmap.adb, [...]: Fix coding style for marking start...	blob \| commitdiff \| raw \| diff to current
2015-01-07	Johannes Kanig	lib-xref-spark_specific.adb (Collect_SPARK_Xrefs):...	blob \| commitdiff \| raw \| diff to current
2014-07-30	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-05-21	Robert Dewar	sem_ch13.adb: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2014-05-21	Yannick Moy	2014-05-21 Yannick Moy <moy@adacore.com>	blob \| commitdiff \| raw \| diff to current
2014-01-27	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2014-01-24	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-04-24	Yannick Moy	adabkend.adb, [...]: Everything with name 'Alfa' rename...	blob \| commitdiff \| raw \| diff to current

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

RSS Atom