projects / gcc.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[Ada] Refactor repeated code for Value attributes
2020-12-15 Piotr Trojanek[Ada] Refactor repeated code for Value attributes
 commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor repeated code for Callable and Terminated...
commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor repeated code for Width attributes
 commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor repeated code for Pred and Succ attributes
 commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor repeated code for size attributes
 commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor repeated code for fixed point attributes
 commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Remove redundant calls to UI_To_Int in relational...
commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor repeated code for component attributes
 commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor repeated code for real type attributes...
commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor repeated code for real type attributes...
commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor repeated code for real type attributes...
commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor repeated code for floating point attributes...
commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor repeated code for floating point attributes...
commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor duplicated code for Denorm and Signed_Zeros...
commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor duplicated code for Adjacent, Copy_Sign...
commit | commitdiff | tree
2020-12-15 Piotr Trojanek[Ada] Refactor duplicated code for Compose, Leading_Part...
commit | commitdiff | tree
2020-12-14 Piotr Trojanek[Ada] Analyze second parameter of attribute Scaling
 commit | commitdiff | tree
2020-12-14 Piotr Trojanek[Ada] Refactor duplicated code for First and Last attributes
 commit | commitdiff | tree
2020-12-14 Piotr Trojanek[Ada] Process Truncation just like other floating point...
commit | commitdiff | tree
2020-12-14 Piotr Trojanek[Ada] Refactor duplicated code for floating point attributes
 commit | commitdiff | tree
2020-12-14 Piotr Trojanek[Ada] Remove double initialization of the known value...
commit | commitdiff | tree
2020-12-14 Piotr Trojanek[Ada] Simplify prevention of cascaded errors for Refined_State
 commit | commitdiff | tree
2020-12-14 Piotr Trojanek[Ada] Avoid reanalysis of malformed dependency relations
 commit | commitdiff | tree
2020-12-14 Piotr Trojanek[Ada] Fix analysis of access objects in Depends contracts
 commit | commitdiff | tree
2020-12-14 Piotr Trojanek[Ada] Update comment for processing of pragma Assertion_Policy
 commit | commitdiff | tree
2020-11-30 Piotr Trojanek[Ada] Minor reuse Is_Assignable
 commit | commitdiff | tree
2020-11-30 Piotr Trojanek[Ada] Simplify analysis of assignment statements
 commit | commitdiff | tree
2020-11-30 Piotr Trojanek[Ada] Minor reuse Is_Protected_Component
 commit | commitdiff | tree
2020-11-30 Piotr Trojanek[Ada] Fix folding of comparison operators in GNATprove...
commit | commitdiff | tree
2020-11-27 Piotr Trojanek[Ada] Simplify Parent_Is_Boolean with subtype memberships
 commit | commitdiff | tree
2020-11-27 Piotr Trojanek[Ada] Reuse Append_New_Elmt where possible
 commit | commitdiff | tree
2020-11-27 Piotr Trojanek[Ada] Restore access type instead of mode out parameter
 commit | commitdiff | tree
2020-11-27 Piotr Trojanek[Ada] Default_Initial_Condition assertion policy is...
commit | commitdiff | tree
2020-11-27 Piotr Trojanek[Ada] Sync doc and code for pragma Assertion_Policy
 commit | commitdiff | tree
2020-11-27 Piotr Trojanek[Ada] Assertion_Policy is not a valid assertion policy
 commit | commitdiff | tree
2020-11-27 Piotr Trojanek[Ada] Restore general case for folding comparison of...
commit | commitdiff | tree
2020-11-27 Piotr Trojanek[Ada] Change parameter from access type to mode out
 commit | commitdiff | tree
2020-11-27 Piotr Trojanek[Ada] Simplify check for illegal non-returning procedures
 commit | commitdiff | tree
2020-11-26 Piotr Trojanek[Ada] Reuse Is_Generic_Subprogram where possible
 commit | commitdiff | tree
2020-11-26 Piotr Trojanek[Ada] Replace warning suppression with assertion
 commit | commitdiff | tree
2020-11-26 Piotr Trojanek[Ada] Sync wide Ada.String hashing units
 commit | commitdiff | tree
2020-11-26 Piotr Trojanek[Ada] Avoid potentially repeated calls to Prefix in...
commit | commitdiff | tree
2020-11-26 Piotr Trojanek[Ada] Warn on slices of the form A (subtype) for all...
commit | commitdiff | tree
2020-11-26 Piotr Trojanek[Ada] Remove duplicated calls to Set_Entity
 commit | commitdiff | tree
2020-11-26 Piotr Trojanek[Ada] Reuse Is_Concurrent_Type when detecting protected...
commit | commitdiff | tree
2020-11-26 Piotr Trojanek[Ada] Remove extra whitespace in bounded container...
commit | commitdiff | tree
2020-11-26 Piotr Trojanek[Ada] Reuse Is_Access_Object_Type where possible
 commit | commitdiff | tree
2020-11-26 Piotr Trojanek[Ada] Simplify checks for library unit pragmas
 commit | commitdiff | tree
2020-11-26 Piotr Trojanek[Ada] Fix casing of "circular instantiation" error
 commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Remove shadowing by a nested subprogram parameter
 commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Merge duplicated processing for gnatmake -u and...
commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Document attribute Has_Tagged_Values in GNAT RM
 commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Minor whitespace fix in expansion of attribute...
commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Use hardcoded names when converting aspects to...
commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Reuse Is_Named_Number where possible
 commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Simplify aspect processing with membership tests
 commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Fix copy-paste mistake in diagnostics for aspect...
commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Simplify Ekind tests with wrappers and membership...
commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Simplify Is_Standard_xxx_Type routines with membership...
commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Consistently use explicit Entity_Id type instead...
commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Remove dead and duplicated diagnostics for generic...
commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Remove repeated calls to Attribute_Name
 commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Reuse Is_Named_Number where possible
 commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Fix style and typos in code for expanding attribute...
commit | commitdiff | tree
2020-11-25 Piotr Trojanek[Ada] Minor refine type of a counter variable
 commit | commitdiff | tree
2020-11-24 Piotr Trojanek[Ada] Fix inconsistent parameter of SPARK_Msg_NE
 commit | commitdiff | tree
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
next