projects / gcc.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[Ada] Use index parameter for iterated_component_association
2020-10-21 Piotr Trojanek[Ada] Use index parameter for iterated_component_association
 commit | commitdiff | tree
2020-10-21 Piotr Trojanek[Ada] Fix crash with iterated_component_association...
commit | commitdiff | tree
2020-10-21 Piotr Trojanek[Ada] Make minimum accessibility level a constant object
 commit | commitdiff | tree
2020-10-21 Piotr Trojanek[Ada] Fix typos and style in comments related to Default_Ini...
commit | commitdiff | tree
2020-10-20 Piotr Trojanek[Ada] Refine type for type constraining routines
 commit | commitdiff | tree
2020-10-20 Piotr Trojanek[Ada] Prevent crashes when pretty-printing freeze nodes...
commit | commitdiff | tree
2020-10-20 Piotr Trojanek[Ada] Refine result type of Get_Accessibility
 commit | commitdiff | tree
2020-10-20 Piotr Trojanek[Ada] Replace low-level Ekind membership tests with...
commit | commitdiff | tree
2020-10-20 Piotr Trojanek[Ada] Propagate predicate function to a full view of...
commit | commitdiff | tree
2020-10-20 Piotr Trojanek[Ada] Support for new aspect Subprogram_Variant on...
commit | commitdiff | tree
2020-10-20 Piotr Trojanek[Ada] Minor reorder subprogram declarations alphabetically
 commit | commitdiff | tree
2020-10-19 Piotr Trojanek[Ada] Remove excessive guards in building predicate...
commit | commitdiff | tree
2020-10-19 Piotr Trojanek[Ada] Fix typo in error message about contract cases
 commit | commitdiff | tree
2020-10-19 Piotr Trojanek[Ada] Simplify detection of by-copy types
 commit | commitdiff | tree
2020-10-19 Piotr Trojanek[Ada] Remove useless initialization and refine type...
commit | commitdiff | tree
2020-10-19 Piotr Trojanek[Ada] Refine type of a local variable
 commit | commitdiff | tree
2020-10-19 Piotr Trojanek[Ada] Simplify membership test for operators
 commit | commitdiff | tree
2020-10-19 Piotr Trojanek[Ada] Simplify repeated calls with membership test
 commit | commitdiff | tree
2020-10-16 Piotr Trojanek[Ada] Assorted style cleanups
 commit | commitdiff | tree
2020-10-16 Piotr Trojanek[Ada] Detect qualified type names for AI12-0027
 commit | commitdiff | tree
2020-10-16 Piotr Trojanek[Ada] Unique itypes names for unconstrained array object...
commit | commitdiff | tree
2020-10-16 Piotr Trojanek[Ada] Cleanup related to itypes for unconstrained object...
commit | commitdiff | tree
2020-10-16 Piotr Trojanek[Ada] Fix documentation of No_Local_Timing_Events
 commit | commitdiff | tree
2020-10-15 Piotr Trojanek[Ada] Fix access to uninitialized global variable when...
commit | commitdiff | tree
2020-10-15 Piotr Trojanek[Ada] Cleanup defensive guards for Null_Exclusion_Present
 commit | commitdiff | tree
2020-10-15 Piotr Trojanek[Ada] Bring defensive guard for Null_Exclusion_Present...
commit | commitdiff | tree
2020-10-15 Piotr Trojanek[Ada] Explain predicate function not being inherited...
commit | commitdiff | tree
2020-10-15 Piotr Trojanek[Ada] Adjust style in support for CUDA_Execute pragma
 commit | commitdiff | tree
2020-10-15 Piotr Trojanek[Ada] Avoid unnecessary (re)assignments in Make_Info
 commit | commitdiff | tree
2020-10-15 Piotr Trojanek[Ada] Remove excessive defensive calls to Is_Type
 commit | commitdiff | tree
2020-10-15 Piotr Trojanek[Ada] Simplify membership tests with N_Entity subtype
 commit | commitdiff | tree
2020-10-15 Piotr Trojanek[Ada] Refine type from Nat to Pos in Make_Index
 commit | commitdiff | tree
2020-10-15 Piotr Trojanek[Ada] Fix range check on constrained array with expanded...
commit | commitdiff | tree
2020-10-15 Piotr Trojanek[Ada] Do not remove side effects from any object declaration...
commit | commitdiff | tree
2020-07-27 Piotr Trojanek[Ada] Add range check for GNATprove on 'Pos to Long_Integer...
commit | commitdiff | tree
2020-07-16 Piotr Trojanek[Ada] Simplify detection of others choice with just...
commit | commitdiff | tree
2020-07-15 Piotr Trojanek[Ada] Cleanup code related to object overlays
 commit | commitdiff | tree
2020-07-15 Piotr Trojanek[Ada] Target name is an object reference
 commit | commitdiff | tree
2020-07-15 Piotr Trojanek[Ada] Fix for possibly null ranges in 'Update and delta_aggr...
commit | commitdiff | tree
2020-07-15 Piotr Trojanek[Ada] Fix slices and qualified expressions being effectively...
commit | commitdiff | tree
2020-07-15 Piotr Trojanek[Ada] Cleanup condition for an effectively volatile...
commit | commitdiff | tree
2020-07-15 Piotr Trojanek[Ada] Fix typo in "accommodate" in docs and comments
 commit | commitdiff | tree
2020-07-10 Piotr Trojanek[Ada] Revert mistaken negation related to references...
commit | commitdiff | tree
2020-07-10 Piotr Trojanek[Ada] Fix detection of actual parameters for procedure...
commit | commitdiff | tree
2020-07-10 Piotr Trojanek[Ada] Cleanup excessive conditions in Check_Completion
 commit | commitdiff | tree
2020-07-10 Piotr Trojanek[Ada] Remove references to non-existing E_Protected_Object
 commit | commitdiff | tree
2020-07-10 Piotr Trojanek[Ada] Revert too late setting of Ekind on discriminants
 commit | commitdiff | tree
2020-07-10 Piotr Trojanek[Ada] Fix failing assertions related to volatile objects
 commit | commitdiff | tree
2020-07-10 Piotr Trojanek[Ada] Reuse SPARK expansion of attribute Update for...
commit | commitdiff | tree
2020-07-10 Piotr Trojanek[Ada] Fix expansion of 'Update with multiple choices...
commit | commitdiff | tree
2020-07-08 Piotr Trojanek[Ada] Fix typo and layout in comments about matching
 commit | commitdiff | tree
2020-07-08 Piotr Trojanek[Ada] Accept aspect Relaxed_Initialization on generic...
commit | commitdiff | tree
2020-07-08 Piotr Trojanek[Ada] Analyze aspects once generic subprograms are...
commit | commitdiff | tree
2020-07-08 Piotr Trojanek[Ada] Remove excessive validity checks on in-parameters
 commit | commitdiff | tree
2020-07-08 Piotr Trojanek[Ada] Allow boolean expressions in aspect Relaxed_Initialization
 commit | commitdiff | tree
2020-07-08 Piotr Trojanek[Ada] Style cleanups related to Current_Condition
 commit | commitdiff | tree
2020-07-08 Piotr Trojanek[Ada] Extend optimization to True/False prefixed with...
commit | commitdiff | tree
2020-07-07 Piotr Trojanek[Ada] Use Is_Generic_Subprogram where possible
 commit | commitdiff | tree
2020-07-07 Piotr Trojanek[Ada] Fix typo in code to get a better error message
 commit | commitdiff | tree
2020-07-07 Piotr Trojanek[Ada] Freeze aspect expression relocated to pragma...
commit | commitdiff | tree
2020-07-07 Piotr Trojanek[Ada] Fix documentation of -gnatVa switch
 commit | commitdiff | tree
2020-07-07 Piotr Trojanek[Ada] Change local object from variable to constant
 commit | commitdiff | tree
2020-07-07 Piotr Trojanek[Ada] Fix expansion of delta aggregates with slices
 commit | commitdiff | tree
2020-07-07 Piotr Trojanek[Ada] Remove extra checks for non-static context from...
commit | commitdiff | tree
2020-07-07 Piotr Trojanek[Ada] Minor cleanup with Is_Assignable
 commit | commitdiff | tree
2020-07-07 Piotr Trojanek[Ada] Set range checks for for 'Update on arrays in...
commit | commitdiff | tree
2020-07-07 Piotr Trojanek[Ada] Style fixes in the description of Analysis-Resolution...
commit | commitdiff | tree
2020-07-07 Piotr Trojanek[Ada] Allow aspect Relaxed_Initialization on protected...
commit | commitdiff | tree
2020-07-06 Piotr Trojanek[Ada] Avoid forced loading of System.Priority in CodePeer...
commit | commitdiff | tree
2020-07-06 Piotr Trojanek[Ada] Fix typo in comment of Get_Index_Subtype
 commit | commitdiff | tree
2020-07-06 Piotr Trojanek[Ada] Fix evaluation of Enum_Rep applied to imported...
commit | commitdiff | tree
2020-07-06 Piotr Trojanek[Ada] Set range checks flag on 'Update for GNATprove...
commit | commitdiff | tree
2020-07-06 Piotr Trojanek[Ada] Simplify implicit loading of Tasking_State in...
commit | commitdiff | tree
2020-07-06 Piotr Trojanek[Ada] Crash when an exception handler is executed with...
commit | commitdiff | tree
2020-07-06 Piotr Trojanek[Ada] Remove special case for processing null range...
commit | commitdiff | tree
2020-06-19 Piotr Trojanek[Ada] Minor remove extra whitespace in check suppression...
2020-06-19 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-19 Piotr Trojanek[Ada] Reject junk expressions in attribute Update
2020-06-19 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-19 Piotr Trojanek[Ada] Decorate record delta aggregate for GNATprove
2020-06-19 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-19 Piotr Trojanek[Ada] Fix validity checks on attribute 'Old prefix
2020-06-19 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-19 Piotr Trojanek[Ada] Add comments about attribute 'Valid_Scalars on...
2020-06-19 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-19 Piotr Trojanek[Ada] Simplify processing of 'Valid_Scalars on array...
2020-06-19 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-19 Piotr Trojanek[Ada] Fix validity checking for class-wide objects
2020-06-19 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-19 Piotr Trojanek[Ada] Remove repeated testing of Check_Validity_Of_Parameters
2020-06-19 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-18 Piotr Trojanek[Ada] Fix failed assertion on a slice indexed by a...
2020-06-18 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-18 Piotr Trojanek[Ada] Cleanups in code related to static expressions
2020-06-18 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-18 Piotr Trojanek[Ada] Avoid forced loading of System.Priority in CodePeer...
2020-06-18 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-18 Piotr Trojanek[Ada] List aspect Relaxed_Initialization in GNAT RM
2020-06-18 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-17 Piotr Trojanek[Ada] Support aspect Relaxed_Initialization on private...
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-17 Piotr Trojanek[Ada] Fix comment of Get_Iterable_Type_Primitive
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-17 Piotr Trojanek[Ada] Add assertions to Preserve_Comes_From_Source...
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-17 Piotr Trojanek[Ada] Fix casing from GNATProve to GNATprove
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-17 Piotr Trojanek[Ada] Remove unnecessary special-casing of GNATprove...
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-17 Piotr Trojanek[Ada] Fix expansion of "for X of Y loop" in GNATprove
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Minor casing of " The " after a comma in docs...
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Reuse Is_Object where possible
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Fix typo in comment about overlapping actuals
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Force evaluation of qualified aggregates
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Fix assertion failure on qualified type names...
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Force evaluation of operator calls in renamings
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Accept renamings of folded string aggregates
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
next