projects
/
platform
/
upstream
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fix typo
2019-09-19
Piotr Trojanek
[Ada] Remove duplicated routines for getting homonym...
2019-09-19
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-09-18
Piotr Trojanek
[Ada] Refine type of Get_Homonym_Number result
2019-09-18
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
Piotr Trojanek
[Ada] A new utility routine for detecting attribute...
2019-09-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
Piotr Trojanek
[Ada] Ignore missing ALI files in GNATprove mode
2019-09-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[Ada] Minor refactorings/reformattings
2019-08-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[Ada] Bindo.Graphs: Minor typo fixes
2019-08-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[Ada] Do not rewrite argument of pragma Entry_Queue_Length...
2019-08-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[Ada] Replace low-level membership tests with high...
2019-08-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-08-20
Piotr Trojanek
[Ada] Inconsistent scope chain due to quantified expression
2019-08-20
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-08-20
Piotr Trojanek
[Ada] Revert change for gnatprove that is no longer...
2019-08-20
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-08-19
Piotr Trojanek
[Ada] Minor refactorings
2019-08-19
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-08-14
Piotr Trojanek
[Ada] Minor refactoring in Einfo
2019-08-14
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-11
Piotr Trojanek
[Ada] Use high-level wrappers for Lib.Units.Table
2019-07-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-11
Piotr Trojanek
[Ada] Minor refactoring
2019-07-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-09
Piotr Trojanek
[Ada] Reformat comments
2019-07-09
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-09
Piotr Trojanek
[Ada] Exp_Util: minor refactoring
2019-07-09
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-09
Piotr Trojanek
[Ada] Reword "wild card" to "wildcard"
2019-07-09
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-09
Piotr Trojanek
[Ada] Einfo: fix a typo
2019-07-09
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Piotr Trojanek
[Ada] Remove dead code from Enclosing_Package_Or_Subprogram...
2019-07-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Piotr Trojanek
[Ada] Set dummy Etype for the fake __HEAP entity in...
2019-07-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-05
Piotr Trojanek
[Ada] Typo fixes
2019-07-05
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-04
Piotr Trojanek
[Ada] Minor typo fixes
2019-07-04
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-04
Piotr Trojanek
[Ada] Keep assertions in internal units enabled for...
2019-07-04
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-01
Piotr Trojanek
[Ada] Remove a SPARK rule about implicit Global
2019-07-01
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-01
Piotr Trojanek
[Ada] Cleanup references to LynuxWorks in docs and...
2019-07-01
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-01
Piotr Trojanek
[Ada] Revert "Global => null" on calendar routines...
2019-07-01
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-07-01
Piotr Trojanek
[Ada] Fix "componant" typos in comments
2019-07-01
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Piotr Trojanek
[Ada] Add "Global => null" contracts to Ada.Calendar...
2018-12-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Piotr Trojanek
[Ada] Stubs that complete generic subprogram do have...
2018-12-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Piotr Trojanek
[Ada] Record components do not appear in the Global...
2018-11-14
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Piotr Trojanek
[Ada] Fix handling of generic actuals with default...
2018-11-14
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Piotr Trojanek
[Ada] Use Cancel_Special_Output instead of Set_Special_Outpu...
2018-11-14
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Piotr Trojanek
[Ada] Fix parentheses in comments and "library-level...
2018-11-14
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-08-21
Piotr Trojanek
[Ada] Handle pragmas that come from aspects for GNATprove
2018-08-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-31
Piotr Trojanek
[Ada] Replace low-level calls to Ekind with high-level...
2018-07-31
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-31
Piotr Trojanek
[Ada] Deconstruct 'F' as a prefix for an ALI data
2018-07-31
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Reuse Is_Rewrite_Substitution in Relocate_Node
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Fix RM rule references
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Remove extra parentheses in Expand_Inlined_Call
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Consistent spelling of "i.e." in docs and comments
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Fix Next_Actual when used on calls "inlined for...
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Attach the special GNATprove HEAP entity to the...
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Minor refactoring: remove extra parentheses
2018-07-17
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada] Deconstruct unused Withed_Body filed of N_With_Clause...
2018-07-16
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada] Avoid crash when traversing units with -gnatd...
2018-07-16
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada] Trivial simplifications in in Walk_Library_Items
2018-07-16
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada] Deconstruct always-false calls to Withed_Body...
2018-07-16
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada] Adjust reference to renumbered SPARK RM rule
2018-07-16
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
Piotr Trojanek
[Ada] Don't split AND THEN expressions in GNATprove_Mode
2018-06-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
Piotr Trojanek
[Ada] Fix handling of Pre/Post contracts with AND THEN...
2018-06-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Piotr Trojanek
[Ada] Detect returning procedures annotated with No_Return
2018-05-31
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Piotr Trojanek
[Ada] Simplify call to Unique_Defining_Entity on protected...
2018-05-31
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Piotr Trojanek
[Ada] Set Etype on rewriteen Max_Queue_Length expressions
2018-05-31
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
Piotr Trojanek
[Ada] Update documentation of Sinfo.Package_Instantiation...
2018-05-30
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
Piotr Trojanek
[Ada] Reuse Is_Rewrite_Substitution where possible
2018-05-30
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
Piotr Trojanek
[Ada] Simplify conditions by removing always true conjuncts
2018-05-30
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-29
Piotr Trojanek
[Ada] Minor reformatting
2018-05-29
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-25
Piotr Trojanek
[Ada] Fix convention for iteration with multiple loop...
2018-05-25
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-25
Piotr Trojanek
[Ada] Rewrite Iterate_Call_Parameters in more assertive...
2018-05-25
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
Piotr Trojanek
[Ada] Simplify routines with a local Result variable
2018-05-24
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
Piotr Trojanek
[Ada] Minor fix grammar in comment of N_Defining_Identifier
2018-05-24
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
Piotr Trojanek
[Ada] Fix inconsistent documentation for the Contract_Cases...
2018-05-24
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
Piotr Trojanek
[Ada] Fix references to Backend_Layout configuration...
2018-05-24
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-23
Piotr Trojanek
[Ada] Minor reformatting
2018-05-23
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Piotr Trojanek
[Ada] Clarify code for accessing full view of a type
2018-05-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Piotr Trojanek
[Ada] Remove External aspect from predefined abstract...
2018-05-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Piotr Trojanek
[Ada] Only allow Has_Discriminants on type entities
2018-05-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Piotr Trojanek
[Ada] Typo in lib.ads comment
2018-05-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Piotr Trojanek
[Ada] Fix inconstent subprogram body headers
2018-05-21
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
Piotr Trojanek
[Ada] Allow uses of range utility routines on private...
2018-01-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
Piotr Trojanek
[Ada] Annotate standard File_Type with Default_Initial_Condi...
2018-01-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
Piotr Trojanek
[Ada] Fix minor comment issues
2018-01-11
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2017-11-08
Piotr Trojanek
spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id...
2017-11-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2017-11-08
Piotr Trojanek
spark_xrefs.ads (SPARK_File_Record): Remove string...
2017-11-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2017-11-08
Piotr Trojanek
lib-xref.ads, [...] (Traverse_Declarations): Remove...
2017-11-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2017-11-08
Piotr Trojanek
spark_xrefs.ads (SPARK_Xref_Record): Remove inessential...
2017-11-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2017-11-08
Piotr Trojanek
lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove...
2017-11-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2015-12-06
Piotr Trojanek
re PR ada/60164 (Missing parenthesis in the documentation)
commit
|
commitdiff
|
tree