projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Don't build equivalent record aggregate if type has predicates
2020-06-10
Piotr Trojanek
[Ada] Fix minor typo in comment of membership choice...
2020-06-10
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Piotr Trojanek
[Ada] Revert workaround for expansion of Enum_Rep in...
2020-06-10
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Piotr Trojanek
[Ada] Fold Enum_Rep attribute in evaluation and not...
2020-06-10
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Piotr Trojanek
[Ada] Simplify detection of static membership choices
2020-06-10
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Piotr Trojanek
[Ada] Minor fix style and typos in comments
2020-06-10
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Piotr Trojanek
[Ada] Remove unreferenced GNATprove utility routine...
2020-06-10
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Piotr Trojanek
[Ada] Annotate Ada.Synchronous_Barriers with SPARK_Mode...
2020-06-09
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Piotr Trojanek
[Ada] Port a modified expansion of Enum_Rep from GNAT...
2020-06-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Piotr Trojanek
[Ada] Style cleanups in new code for Pure_Barriers
2020-06-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Piotr Trojanek
[Ada] Restore Snames.Name_SPARK as it used in the GNATprove...
2020-06-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Piotr Trojanek
[Ada] Reuse standard expansion of 'First and 'Last...
2020-06-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Piotr Trojanek
[Ada] Reuse Get_Index_Subtype in the special expander...
2020-06-08
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Piotr Trojanek
[Ada] Fix punctuation in description of Enum_Rep attribute
2020-06-05
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Piotr Trojanek
[Ada] Do not create an empty list of nodes that confuses...
2020-06-05
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Piotr Trojanek
[Ada] Use Is_Incomplete_Type instead of a low-level...
2020-06-05
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Piotr Trojanek
[Ada] Simplify iteration over components
2020-06-05
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Piotr Trojanek
[Ada] Move routine for detecting special Text_IO packages...
2020-06-05
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Piotr Trojanek
[Ada] Add missing Global contract to Ada.Containers...
2020-06-05
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-03
Piotr Trojanek
[Ada] Iterate with procedural versions of Next_......
2020-06-03
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Piotr Trojanek
[Ada] Remove dead code for detecting hidden package...
2020-06-02
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Piotr Trojanek
[Ada] Accept objects from nested packages in Initializes...
2020-06-02
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Piotr Trojanek
[Ada] Use new API when creating a special SPARK heap...
2020-06-02
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Piotr Trojanek
[Ada] Reuse Is_Package_Or_Generic_Package where possible
2020-06-02
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-12-18
Piotr Trojanek
[Ada] Fix three-letter typos like "sss" in comments...
2019-12-18
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-12-18
Piotr Trojanek
[Ada] Einfo: fix typo in comment
2019-12-18
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Piotr Trojanek
[Ada] Minor fix typo in comment
2019-12-13
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-12-12
Piotr Trojanek
[Ada] Fix Global contract for the predefined Yield...
2019-12-12
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-12-12
Piotr Trojanek
[Ada] Fix repeated words and typos in doc and comments
2019-12-12
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
2019-10-10
Piotr Trojanek
[Ada] Use declared type for deciding on SPARK pointer...
2019-10-10
Piotr Trojanek
<trojanek@adacore.com>
commit
|
commitdiff
|
tree
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
next