git.libre-soc.org Git - gcc.git/search

2020-11-24	Piotr Trojanek	[Ada] Reuse Is_Packed_Array where possible	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Fix minor typos in comments	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Reuse In_Same_List where possible	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Simplify Is_Loop_Pragma	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Replace chained if-then-elsif with case stmt...	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Cleanup expansion of attribute Constrained	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Recognize delta and extension aggregates as objects	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Accept local objects in the prefix of attribute...	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Fix resolution of subtype_indication in delta...	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Use high-level Present instead of low-level equality...	commit \| commitdiff \| tree
2020-11-24	Piotr Trojanek	[Ada] Remove SPARK-specific expansion of array aggregates	commit \| commitdiff \| tree
2020-10-27	Piotr Trojanek	[Ada] Fix GNATprove support for iterated_component_associations	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Fix freezing of previous contracts	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Fix harmless assertion failure in GNATprove mode	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Fix typos in error message for array delta aggregates	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Fix interference between iterated element-and...	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Fix SPARK expansion of iterated_component_assoc...	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Cleanup SPARK expansion of aggregates with iterated_co...	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Fix typos in comments about parsing iterated_component...	commit \| commitdiff \| tree
2020-10-26	Piotr Trojanek	[Ada] Handle subtype_indication in 'Update for arrays	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Reject illegal syntax in pragma Contract_Cases	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Fix crash in SPARK on array delta_aggregate with...	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Decorate iterated_component_association in SPARK...	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Fix scope of index parameter inside a delta aggregate	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Sync code for external properties with SPARK RM	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Fix whitespace in code for external property...	commit \| commitdiff \| tree
2020-10-23	Piotr Trojanek	[Ada] Fix default value for re-analysis of external...	commit \| commitdiff \| tree
2020-10-22	Piotr Trojanek	[Ada] Refactor appending to possibly empty lists	commit \| commitdiff \| tree
2020-10-22	Piotr Trojanek	[Ada] Reduce scope of local variables for detecting...	commit \| commitdiff \| tree
2020-10-22	Piotr Trojanek	[Ada] Cleanup repeated code in checks for unused WITH...	commit \| commitdiff \| tree
2020-10-21	Piotr Trojanek	[Ada] Fix analysis of iterated component expression...	commit \| commitdiff \| tree
2020-10-21	Piotr Trojanek	[Ada] Refactor repeated calls to Etype in aggregate...	commit \| commitdiff \| tree
2020-10-21	Piotr Trojanek	[Ada] Fix crash on illegal OTHERS in iterated_component_asso...	commit \| commitdiff \| tree
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
next

RSS Atom