projects
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[multiple changes]
[gcc.git]
/
gcc
/
ada
/
gnat_rm.texi
2013-07-08
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
2013-07-05
Hristian Kirtchev
aspects.adb: Add an entry for SPARK_Mode in table Canon...
blob
|
commitdiff
|
raw
|
diff to current
2013-07-05
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-07-05
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-07-05
Robert Dewar
gnat_rm.texi: Document that -gnatR and -gnatD cannot...
blob
|
commitdiff
|
raw
|
diff to current
2013-07-05
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-07-05
Robert Dewar
freeze.adb (Freeze_Entity): Remove test of obsolete...
blob
|
commitdiff
|
raw
|
diff to current
2013-07-05
Robert Dewar
gnat_rm.texi, [...]: Minor comment/text fixes.
blob
|
commitdiff
|
raw
|
diff to current
2013-07-05
Robert Dewar
gnat_rm.texi: Add missing doc for various pragmas.
blob
|
commitdiff
|
raw
|
diff to current
2013-07-05
Robert Dewar
par_sco.adb, [...]: Minor reformatting.
blob
|
commitdiff
|
raw
|
diff to current
2013-07-05
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-25
Robert Dewar
sem_prag.adb: Minor code reorganization (correct misspe...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-25
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-25
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-24
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-24
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-24
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-24
Arnaud Charlet
2013-04-24 Sergey Rybin <rybin@adacore.com frybin>
blob
|
commitdiff
|
raw
|
diff to current
2013-04-24
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-24
Robert Dewar
gnat_rm.texi: Document pragma Assume.
blob
|
commitdiff
|
raw
|
diff to current
2013-04-24
Robert Dewar
gnat_rm.texi: Document pragma Assert_And_Cut.
blob
|
commitdiff
|
raw
|
diff to current
2013-04-24
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-23
Robert Dewar
exp_prag.adb (Expand_Pragma_Check): Check for Assert...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-22
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-22
Yannick Moy
aspects.ads, [...]: Removal of references to Contract_Case.
blob
|
commitdiff
|
raw
|
diff to current
2013-04-12
Robert Dewar
makeutl.adb, [...]: Minor reformatting.
blob
|
commitdiff
|
raw
|
diff to current
2013-04-12
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-12
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-12
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-12
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-11
Robert Dewar
sem_res.adb: Minor code reorganization and comment...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-11
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-11
Robert Dewar
exp_ch4.adb, [...]: Minor reformatting.
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
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-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-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
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-01-02
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
Robert Dewar
gnat_rm.texi: Update overflow description.
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-29
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-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-02
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-10-02
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-10-02
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-07-17
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-07-17
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-07-16
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-07-16
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-06-26
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-05-15
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-05-15
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-04-26
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-03-20
Yannick Moy
gnat_rm.texi, [...]: Update documentation.
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-15
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-03-14
Rainer Orth
Remove obsolete IRIX 6.5 support
blob
|
commitdiff
|
raw
|
diff to current
2012-03-07
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-03-07
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-02-17
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-02-17
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-02-17
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
2012-01-10
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-01-06
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2011-12-02
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2011-11-23
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2011-11-21
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2011-11-21
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2011-11-04
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2011-11-04
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2011-11-04
Robert Dewar
sem_prag.adb: Minor reformatting.
blob
|
commitdiff
|
raw
|
diff to current
2011-10-24
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2011-10-24
Arnaud Charlet
2011-10-24 Sergey Rybin <rybin@adacore.com frybin>
blob
|
commitdiff
|
raw
|
diff to current
2011-09-27
Pascal Obry
s-taprop.ads (Initialize_Lock): New spec for r/w lock.
blob
|
commitdiff
|
raw
|
diff to current
2011-09-27
Pascal Obry
rtsfind.ads: Add RE_Lock_Read_Only into rtsfind circuitry.
blob
|
commitdiff
|
raw
|
diff to current
2011-09-19
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2011-09-06
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2011-09-06
Hristian Kirtchev
exp_attr.adb (Expand_N_Attribute_Reference): Rewrite...
blob
|
commitdiff
|
raw
|
diff to current
2011-09-06
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2011-09-02
Arnaud Charlet
Fix typo.
blob
|
commitdiff
|
raw
|
diff to current
2011-09-02
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
next