projects
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Complete the more extended AST traversal used in GNATprove
[gcc.git]
/
gcc
/
ada
/
sinfo.ads
2019-08-13
Yannick Moy
[Ada] Complete the more extended AST traversal used...
blob
|
commitdiff
|
raw
2019-07-22
Eric Botcazou
[Ada] Sinfo: update doc about Do_Division/Overlflow...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-09
Piotr Trojanek
[Ada] Reformat comments
blob
|
commitdiff
|
raw
|
diff to current
2019-07-09
Yannick Moy
[Ada] Sinfo: refine comment for Do_Range_Check
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Gary Dismukes
[Ada] Minor editorial corrections and reformatting
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Hristian Kirtchev
[Ada] ABE checks v3.0, foundations of Elaboration order...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Bob Duff
[Ada] Spell "laid" correctly
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-11-14
Bob Duff
[Ada] System'To_Address not always static
blob
|
commitdiff
|
raw
|
diff to current
2018-11-14
Piotr Trojanek
[Ada] Fix handling of generic actuals with default...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-26
Hristian Kirtchev
[Ada] Minor reformattings
blob
|
commitdiff
|
raw
|
diff to current
2018-09-26
Olivier Hainque
[Ada] Front-end support for OpenACC pragmas
blob
|
commitdiff
|
raw
|
diff to current
2018-08-21
Hristian Kirtchev
[Ada] Minor reformattings
blob
|
commitdiff
|
raw
|
diff to current
2018-07-16
Piotr Trojanek
[Ada] Deconstruct unused Withed_Body filed of N_With_Cl...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Javier Miranda
[Ada] Wrong code in array aggregates of Ada coextensions
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Bob Duff
[Ada] Spell preanalysis, preanalyze correctly
blob
|
commitdiff
|
raw
|
diff to current
2018-05-24
Piotr Trojanek
[Ada] Minor fix grammar in comment of N_Defining_Identifier
blob
|
commitdiff
|
raw
|
diff to current
2018-05-24
Hristian Kirtchev
[Ada] Fix crash on formal containers
blob
|
commitdiff
|
raw
|
diff to current
2018-05-23
Hristian Kirtchev
[Ada] Suppression of elaboration-related warnings
blob
|
commitdiff
|
raw
|
diff to current
2018-05-23
Bob Duff
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-05-22
Ed Schonberg
[Ada] Ada2020: Reduction expressions
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Arnaud Charlet
[Ada] Bump copyright notices to 2018
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Encoding of with clauses in ALI files
blob
|
commitdiff
|
raw
|
diff to current
2017-12-15
Pierre-Marie de...
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-12-05
Pierre-Marie de...
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-11-16
Hristian Kirtchev
opt.ads: Elaboration warnings are now on by default.
blob
|
commitdiff
|
raw
|
diff to current
2017-11-16
Pierre-Marie de...
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-11-09
Pierre-Marie de...
exp_ch3.adb, [...]: Minor reformatting.
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-08
Hristian Kirtchev
exp_ch3.adb (Expand_N_Object_Declaration): Save and...
blob
|
commitdiff
|
raw
|
diff to current
2017-10-20
Pierre-Marie de...
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-10-20
Bob Duff
sinfo.ads, sinfo.adb (Alloc_For_BIP_Return): New flag...
blob
|
commitdiff
|
raw
|
diff to current
2017-10-14
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-10-09
Pierre-Marie de...
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-09-29
Bob Duff
exp_ch6.adb (Expand_Call_Helper): Handle case of build...
blob
|
commitdiff
|
raw
|
diff to current
2017-09-25
Pierre-Marie de...
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-09-18
Pierre-Marie de...
sem_ch4.adb (Complete_Object_Operation): Do not insert...
blob
|
commitdiff
|
raw
|
diff to current
2017-09-08
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-23
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-01-23
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-01-23
Ed Schonberg
scans.ads: New token At_Sign.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-20
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-01-20
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
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-01-13
Ed Schonberg
exp_util.adb (Insert_Actions): Handle Iterated_Componen...
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
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-09
Hristian Kirtchev
einfo.ads, einfo.adb: Remove uses of flags Has_Default_...
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
2017-01-06
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-01-06
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2016-11-30
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2016-10-13
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2016-07-06
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2016-07-04
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2016-06-20
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2016-06-14
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2016-04-27
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
Arnaud Charlet
exp_attr.adb (Expand_N_Attribute_Reference [Attribute_V...
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
2015-11-13
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-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-26
Arnaud Charlet
2015-10-26 Joel Brobecker <brobecker@adacore.com...
blob
|
commitdiff
|
raw
|
diff to current
2015-10-23
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
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2015-10-16
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2015-10-16
Arnaud Charlet
checks.adb: Fix typo.
blob
|
commitdiff
|
raw
|
diff to current
2015-10-16
Arnaud Charlet
exp_ch5.adb, [...]: Code clean up: remove special handl...
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-22
Ed Schonberg
sem_ch10.adb (Analyze_With_Clause): In ASIS_Mode...
blob
|
commitdiff
|
raw
|
diff to current
2015-05-12
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2015-03-24
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2015-03-13
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2015-02-20
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2015-01-07
Hristian Kirtchev
2015-01-07 Hristian Kirtchev <kirtchev@adacore.com>
blob
|
commitdiff
|
raw
|
diff to current
2014-11-20
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2014-11-20
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2014-10-30
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2014-10-23
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2014-10-17
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2014-10-10
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2014-08-04
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2014-08-01
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2014-08-01
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
next