projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Fix serial port baud rate setting on GNU/Linux
2020-12-15
Piotr Trojanek
[Ada] Simplify check for extra parens
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Refactor repeated complains about missing -gnat2005...
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Complain about missing -gnat2020 switch on iterator_filter
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Reuse Append_New in parsing aggregates
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Simplify discarding nodes when processing aspect...
commit
|
commitdiff
|
tree
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
next