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
Pascal Obry
[Ada] Fix serial port baud rate setting on GNU/Linux
commit
|
commitdiff
|
tree
2020-12-15
Eric Botcazou
[Ada] Small adjustment to System.Val_Real
commit
|
commitdiff
|
tree
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
Eric Botcazou
[Ada] Small adjustment to parameterization of System...
commit
|
commitdiff
|
tree
2020-12-15
Justin Squirek
[Ada] Postcondition checks performed before finalization
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
Eric Botcazou
[Ada] Implement tiered support for floating-point input...
commit
|
commitdiff
|
tree
2020-12-15
Yannick Moy
[Ada] Mark generic body outside of SPARK
commit
|
commitdiff
|
tree
2020-12-15
Arnaud Charlet
[Ada] Transform_Function_Array issues
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Simplify discarding nodes when processing aspect...
commit
|
commitdiff
|
tree
2020-12-15
Arnaud Charlet
[Ada] Crash on unnesting unnamed blocks
commit
|
commitdiff
|
tree
2020-12-15
Piotr Trojanek
[Ada] Refactor repeated code for Value attributes
commit
|
commitdiff
|
tree
2020-12-15
Pascal Obry
[Ada] Fix possible infinite recursion in directory...
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
Eric Botcazou
[Ada] Small adjustments to fixed-point I/O units
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazou
[Ada] Small cleanup in the Ada.Text_IO hierarchy
commit
|
commitdiff
|
tree
2020-12-14
Justin Squirek
[Ada] Incorrect accessibility level on type in formal...
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazou
[Ada] Fix alignment warning in System.Fat_Gen unit
commit
|
commitdiff
|
tree
2020-12-14
Arnaud Charlet
[Ada] Add annotation after recent compiler changes
commit
|
commitdiff
|
tree
2020-12-14
Arnaud Charlet
[Ada] Fix compile time evaluation of shift intrinsics
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazou
[Ada] Adjust again previous change to System.Fat_Gen
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazou
[Ada] Fix internal error on bit-packed array in Volatile_Ful...
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazou
[Ada] Adjust previous change to System.Fat_Gen
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazou
[Ada] Implement part of System.Fat_Gen more efficiently
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojanek
[Ada] Remove double initialization of the known value...
commit
|
commitdiff
|
tree
2020-12-14
Gary Dismukes
[Ada] Fix documentation of -gnatw.K switch (activates...
commit
|
commitdiff
|
tree
2020-12-14
Doug Rupp
[Ada] armhf-linux: symbolic tracebacks
commit
|
commitdiff
|
tree
2020-12-14
Ghjuvan Lacambre
[Ada] Implement AI12-0398-1/03
commit
|
commitdiff
|
tree
2020-12-14
Gary Dismukes
[Ada] Additional fixes for Default_Initial_Condition
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazou
[Ada] Fix couple of bugs in the implementation of Round...
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojanek
[Ada] Simplify prevention of cascaded errors for Refined_State
commit
|
commitdiff
|
tree
2020-12-14
Bob Duff
[Ada] Compiler crash on call to function instance
commit
|
commitdiff
|
tree
2020-12-14
Yannick Moy
[Ada] Fix warning control character for message on...
commit
|
commitdiff
|
tree
2020-12-14
Yannick Moy
[Ada] Refine error messages on illegal Refined_State...
commit
|
commitdiff
|
tree
2020-12-14
Piotr Trojanek
[Ada] Avoid reanalysis of malformed dependency relations
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazou
[Ada] Tidy up implementation of System.Fat_Gen.Valid...
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-12-14
Yannick Moy
[Ada] Correctly mark subprogram as not always inlined...
commit
|
commitdiff
|
tree
2020-12-14
Eric Botcazou
[Ada] Adjust documentation of System.Img_Util.Set_Decimal_Digits
commit
|
commitdiff
|
tree
2020-11-30
Pierre-Marie de...
[Ada] s-trasym.ads: update the list of supported platforms
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[Ada] Remove all ^L characters
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[Ada] Enable checks on runtime by default
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[Ada] Wrong replacement of Component.Discriminant
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
Eric Botcazou
[Ada] Fix internal error on extended return and fixed...
commit
|
commitdiff
|
tree
2020-11-30
Gary Dismukes
[Ada] Implement inheritance for Default_Initial_Condition...
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[Ada] Improve error recovery
commit
|
commitdiff
|
tree
2020-11-30
Eric Botcazou
[Ada] Reimplement Ada.Numerics.Big_Numbers.Big_Reals...
commit
|
commitdiff
|
tree
2020-11-30
Bob Duff
[Ada] Compiler crash on limited conditional expressions
commit
|
commitdiff
|
tree
2020-11-30
Eric Botcazou
[Ada] Expand integer-only implementation of ordinary...
commit
|
commitdiff
|
tree
2020-11-30
Ghjuvan Lacambre
[Ada] Implement -gnateb switch
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[Ada] Potential read of uninitialized variable in exp_dist.adb
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[Ada] Address warning compiling terminals.c
commit
|
commitdiff
|
tree
2020-11-30
Eric Botcazou
[Ada] Add stream-oriented attributes support for 128...
commit
|
commitdiff
|
tree
2020-11-30
Ed Schonberg
[Ada] Spurious error on iterator over container with...
commit
|
commitdiff
|
tree
2020-11-30
Yannick Moy
[Ada] Add comment on special Heap variable used in...
commit
|
commitdiff
|
tree
2020-11-30
Pascal Obry
[Ada] Fix serial port control setting on GNU/Linux
commit
|
commitdiff
|
tree
2020-11-30
Pascal Obry
[Ada] Minor style fixes
commit
|
commitdiff
|
tree
2020-11-30
Piotr Trojanek
[Ada] Fix folding of comparison operators in GNATprove...
commit
|
commitdiff
|
tree
2020-11-30
Bob Duff
[Ada] Crash on ghost assignment check for illegal code
commit
|
commitdiff
|
tree
2020-11-30
Yannick Moy
[Ada] Add continuation message when others choice not...
commit
|
commitdiff
|
tree
2020-11-30
Eric Botcazou
[Ada] Small cleanup in System.Value_F
commit
|
commitdiff
|
tree
2020-11-30
Arnaud Charlet
[Ada] Confusion in Transform_Function_Array and internal...
commit
|
commitdiff
|
tree
2020-11-30
Ed Schonberg
[Ada] Spurious visibility error in subprogram body...
commit
|
commitdiff
|
tree
2020-11-27
Eric Botcazou
[Ada] Small tweaks to couple of Value routines
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
Arnaud Charlet
[Ada] Wrong compile time evaluation of Shift_Right
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charlet
[Ada] Reference before declaration on C392015
commit
|
commitdiff
|
tree
2020-11-27
Piotr Trojanek
[Ada] Restore access type instead of mode out parameter
commit
|
commitdiff
|
tree
2020-11-27
Eric Botcazou
[Ada] Small improvement to System.Value_R.Scan_Raw_Real
commit
|
commitdiff
|
tree
2020-11-27
Yannick Moy
[Ada] Do not apply range checks inside generics in...
commit
|
commitdiff
|
tree
2020-11-27
Eric Botcazou
[Ada] Do not use 128-bit division for 64-bit fixed...
commit
|
commitdiff
|
tree
2020-11-27
Arnaud Charlet
[Ada] To_GM_Time returning invalid value for Invalid_Time
commit
|
commitdiff
|
tree
2020-11-27
Steve Baird
[Ada] Implement AI12-0187 (Stable properties of abstract...
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
next