projects
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
aspects.adb, [...]: Remove all entries for Refined_Pre from the various tables.
[gcc.git]
/
gcc
/
ada
/
sem_ch13.adb
2013-10-17
Hristian Kirtchev
aspects.adb, [...]: Remove all entries for Refined_Pre...
blob
|
commitdiff
|
raw
2013-10-17
Thomas Quinot
exp_util.adb (Get_Current_Value_Condition, [...]):...
blob
|
commitdiff
|
raw
|
diff to current
2013-10-17
Hristian Kirtchev
sem_ch13.adb (Analyze_Aspect_Specifications): Flag...
blob
|
commitdiff
|
raw
|
diff to current
2013-10-17
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-10-14
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-10-14
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-10-14
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-10-14
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-10-14
Robert Dewar
einfo.ads, einfo.adb (Default_Aspect_Component_Value...
blob
|
commitdiff
|
raw
|
diff to current
2013-10-14
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-10-14
Hristian Kirtchev
aspects.adb: Add an entry in table Canonical_Aspect...
blob
|
commitdiff
|
raw
|
diff to current
2013-10-13
Hristian Kirtchev
einfo.adb: Add node/list usage for Refined_State and...
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-10-10
Robert Dewar
freeze.adb: Minor reformatting.
blob
|
commitdiff
|
raw
|
diff to current
2013-10-10
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-10-10
Robert Dewar
sem_aggr.adb (Resolve_Array_Aggregate): Identify duplic...
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-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-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-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-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-10-10
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-09-10
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-09-10
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-09-10
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-09-10
Thomas Quinot
aspects.ads, [...]: Minor reformatting.
blob
|
commitdiff
|
raw
|
diff to current
2013-09-10
Robert Dewar
exp_prag.adb (Expand_Pragma_Check): Ignore pragma if...
blob
|
commitdiff
|
raw
|
diff to current
2013-09-10
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-09-10
Ed Schonberg
sem_ch12.adb (Analyze_Package_Instantiation): If the...
blob
|
commitdiff
|
raw
|
diff to current
2013-07-08
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-07-08
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-07-08
Ed Schonberg
sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode...
blob
|
commitdiff
|
raw
|
diff to current
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
Ed Schonberg
sem_ch13.adb (Analyze_Aspect_Specifications): For pre...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-25
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-25
Hristian Kirtchev
einfo.ads, einfo.adb: Remove with and use clauses for...
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
Hristian Kirtchev
exp_ch6.adb: Remove with and use clause for Sem_Prag.
blob
|
commitdiff
|
raw
|
diff to current
2013-04-24
Ed Schonberg
exp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-24
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-23
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-23
Robert Dewar
sem_ch13.adb: Minor code reorganization (remove some...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-23
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-23
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-23
Arnaud Charlet
[multiple changes]
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
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
Hristian Kirtchev
aspects.adb (Find_Aspect): New routine.
blob
|
commitdiff
|
raw
|
diff to current
2013-04-12
Ed Schonberg
s-rident.ads: Add various missing Ada 2012 restrictions...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-12
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-12
Hristian Kirtchev
sem_ch13.adb (Analyze_Aspect_Specifications): Aspect...
blob
|
commitdiff
|
raw
|
diff to current
2013-04-11
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-11
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-11
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-11
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-11
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-11
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-11
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-04-11
Arnaud Charlet
[multiple changes]
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-01-04
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-01-04
Robert Dewar
exp_prag.adb, [...]: Minor reformatting.
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-03
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
Robert Dewar
errout.adb (Set_Msg_Insertion_Warning): Correct typo...
blob
|
commitdiff
|
raw
|
diff to current
2013-01-02
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2013-01-02
Thomas Quinot
sem_ch13.adb (Analyze_Aspect_Specifications): For a...
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
Thomas Quinot
scos.ads (In_Decision): Add missing entry for 'a'.
blob
|
commitdiff
|
raw
|
diff to current
2012-12-05
Ed Schonberg
aspects.ads, [...]: Add aspect Relative_Deadline.
blob
|
commitdiff
|
raw
|
diff to current
2012-12-05
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-12-05
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-12-05
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-12-05
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-11-06
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-29
Bob Duff
sem_ch13.adb (Replace_Type_Reference): Use correct...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-05
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
Robert Dewar
exp_ch7.adb, [...]: Minor reformatting.
blob
|
commitdiff
|
raw
|
diff to current
2012-10-02
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2012-10-01
Arnaud Charlet
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
next