]> git.ipfire.org Git - thirdparty/gcc.git/search
projects / thirdparty / gcc.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[Ada] Initial infrastructure for adding a tree checker
2020-06-03  Arnaud Charlet[Ada] Initial infrastructure for adding a tree checker
2020-06-03 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2020-06-03  Arnaud Charlet[Ada] Add Address_Int declaration in s-auxdec.ads
2020-06-03 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2020-06-03  Arnaud Charlet[Ada] Remove ASIS tree generation
2020-06-03 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2020-06-03  Arnaud Charlet[Ada] Remove -gnatt switch processing
2020-06-03 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2020-06-02  Arnaud Charlet[Ada] Remove ASIS_Mode
2020-06-02 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2020-06-02  Arnaud Charlet[Ada] Bump copyright year
2020-06-02 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2020-06-02  Arnaud Charlet[Ada] Address potentially uninitialized variables and...
2020-06-02 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2020-06-02  Arnaud Charlet[Ada] Treat attribute Img equivalent to attribute Image
2020-06-02 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2020-05-30  Arnaud CharletAbility to build the GNAT runtime with project files
 commit | commitdiff | tree
2019-12-18  Arnaud Charlet[Ada] Fix uninitialized out parameter in s-regpat.adb
2019-12-18 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-12-18  Arnaud Charlet[Ada] Atomic aspect on formal generic params now supported...
2019-12-18 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-12-18  Arnaud Charlet[Ada] Simplify Big_Integer and Big_Real interface
2019-12-18 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-12-16  Arnaud Charlet[Ada] Fix warning on _REENTRANT
2019-12-16 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-12-16  Arnaud Charlet[Ada] Mark Deallocator as Favor_Top_Level
2019-12-16 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-12-16  Arnaud Charlet[Ada] AI12-0234/321 atomic operations
2019-12-16 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-12-16  Arnaud Charlet[Ada] AI12-0208 Support for Ada.Numerics.Big_Numbers...
2019-12-16 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-12-13  Arnaud Charlet[Ada] Unnesting and annex E
2019-12-13 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-12-13  Arnaud Charlet[Ada] Fix support for > 24 hours image in Ada.Calendar...
2019-12-13 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-12-13  Arnaud Charlet[Ada] Add Ada.Containers.Vectors.Generic_Parallel_Sorting...
2019-12-13 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-12-12  Arnaud Charlet[Ada] Define __gnat_personality_v0 for SEH
2019-12-12 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-12-12  Arnaud Charlet[Ada] Remove references to VMS
2019-12-12 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-11-05  Arnaud Charlet* doc/install.texi: Further fix syntax for html generation
 commit | commitdiff | tree
2019-10-15  Arnaud CharletMakefile.rtl (a-except.o): Put -O1 earlier so that...
commit | commitdiff | tree
2019-10-10  Arnaud Charlet[Ada] Ensure constructor is a C++ constructor
2019-10-10 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-10-10  Arnaud Charlet[Ada] Fix handling of -gnatceg on incomplete unit
2019-10-10 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-09-26  Arnaud Charlet* osint.adb (OS_Time_To_GNAT_Time): Remove dependency...
commit | commitdiff | tree
2019-09-19  Arnaud Charlet[Ada] Exp_Attr: remove obsolete comment
2019-09-19 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-09-18  Arnaud Charlet[Ada] Improve doc on Warning_As_Error
2019-09-18 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-09-18  Arnaud Charlet[Ada] Remove remaining references to VMS support
2019-09-18 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-09-18  Arnaud Charlet[Ada] System.Stack_Usage: fix a typo
2019-09-18 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-09-18  Arnaud Charlet[Ada] Refine previous change for -gnatn and LLVM
2019-09-18 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-09-17  Arnaud Charlet[Ada] PR ada/91268 Do not redefine macros
2019-09-17 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-09-17  Arnaud Charlet[Ada] Refine change for bit-packed slices
2019-09-17 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-09-10  Arnaud Charlet* doc/install.texi: Fix syntax for html generation.
 commit | commitdiff | tree
2019-09-05  Arnaud Charletinstall.texi: Update and clarify requirements to build...
commit | commitdiff | tree
2019-08-20  Arnaud Charlet[Ada] Unnesting: take inlining (-gnatn) into account
2019-08-20 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-08-20  Arnaud Charlet[Ada] Document requirements for Pragma Lock_Free
2019-08-20 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-08-14  Arnaud Charlet[Ada] Remove documentation of gnatelim
2019-08-14 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-08-13  Arnaud Charlet[Ada] Protect analysis of Indexing aspect against cascaded...
2019-08-13 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-08-13  Arnaud Charlet[Ada] Systematically pass LN_S to relevant gnatlib...
2019-08-13 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-18  Arnaud CharletMakefile.rtl, [...]: Introduce a "STANDALONE" mode...
commit | commitdiff | tree
2019-07-11  Arnaud Charlet[Ada] errno.c: remove obsolete support for MaRTE OS
2019-07-11 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-11  Arnaud Charlet[Ada] GNAT.Threads: Add a Get_Thread overload taking...
2019-07-11 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-10  Arnaud Charlet[Ada] Improve gnatmem's doc for the depth switch
2019-07-10 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-10  Arnaud Charlet[Ada] Add an annotation for static analysis
2019-07-10 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-09  Arnaud Charlet[Ada] Disable calls to Abort defer/undefer when ZCX_By_Default
2019-07-09 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-09  Arnaud Charlet[Ada] Set Dynamic_Elaboration_Checks to True in CodePeer...
2019-07-09 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-09  Arnaud Charlet[Ada] Update -fdump-ada-spec documentation
2019-07-09 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-08  Arnaud Charlet[Ada] GNAT RM: Update documentation on No_Exceptions...
2019-07-08 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-05  Arnaud Charlet[Ada] GNAT UGN: refresh doc on installing from the...
2019-07-05 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-05  Arnaud Charlet[Ada] System.OS_Interface: fix link order on Linux
2019-07-05 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-05  Arnaud Charlet[Ada] System.Linux: fix typos in comments
2019-07-05 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-04  Arnaud Charlet[Ada] CCG: reduce generated temporaries
2019-07-04 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-04  Arnaud Charlet[Ada] CCG: restrict folding for boolean tests
2019-07-04 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-04  Arnaud Charlet[Ada] Reduce emitted code size in CCG for aggregate...
2019-07-04 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-03  Arnaud Charlet[Ada] Add a gnatbind option to generate C code
2019-07-03 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-03  Arnaud Charlet[Ada] Do not consider inlined subprograms when generating...
2019-07-03 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-07-03  Arnaud Charlet[Ada] Clarify wording on documentation for No_Multiple_Elabo...
2019-07-03 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2019-06-18  Arnaud Charletre PR ada/80590 (non-bootstrap build failure of Ada...
commit | commitdiff | tree
2019-06-17  Arnaud Charletre PR ada/80590 (non-bootstrap build failure of Ada...
commit | commitdiff | tree
2019-05-08  Arnaud Charlet* standard.ads.h: New file.
 commit | commitdiff | tree
2019-02-06  Arnaud Charlets-linux__x32.ads: Resync list of signals with s-linux.ads
 commit | commitdiff | tree
2018-12-11  Arnaud Charlet[Ada] Unnesting: ensure Current_Subprogram is always...
2018-12-11 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-11-14  Arnaud Charlet[Ada] Handle -gx switches explicitly
2018-11-14 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-10-09  Arnaud Charlet[Ada] Bounded_Holders: fix a typo
2018-10-09 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-10-09  Arnaud Charlet[Ada] Remove CodePeer annotation
2018-10-09 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-09-26  Arnaud Charlet[Ada] Store -G xxx switches
2018-09-26 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-09-26  Arnaud Charlet[Ada] Introduce -gnatd_A to set Opt.Disable_ALI_File
2018-09-26 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-09-26  Arnaud Charlet[Ada] Vxlink: minor reformatting
2018-09-26 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-08-21  Arnaud Charlet[Ada] Set_Targ: add a CodePeer annotation
2018-08-21 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-07-31  Arnaud Charlet[Ada] Various code clean-ups from CodePeer messages
2018-07-31 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-07-31  Arnaud Charlet[Ada] Fix potential Constraint_Error if Library_Version...
2018-07-31 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-07-31  Arnaud Charlet[Ada] Sem_Elab: remove duplicate condition
2018-07-31 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-07-31  Arnaud Charlet[Ada] Print the Is_Activation_Record flag
2018-07-31 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-07-17  Arnaud Charlet[Ada] Preserve original CE reason in more cases
2018-07-17 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-07-17  Arnaud Charlet[Ada] Add provision for floating-point in Apply_Division_Check
2018-07-17 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-07-17  Arnaud Charlet[Ada] Remove references to gcov from the User Manual
2018-07-17 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-07-16  Arnaud Charlet[Ada] Only unnest subprograms if no previous errors...
2018-07-16 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-07-16  Arnaud Charlet[Ada] System.Object_Reader: minor code clean-up
2018-07-16 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-07-16  Arnaud Charlet[Ada] adaint.c: minor code cleanup
2018-07-16 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-06-11  Arnaud Charlet[Ada] Simplify expansion of "and then" in CodePeer...
2018-06-11 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-06-11  Arnaud Charlet[Ada] Minor reformatting
2018-06-11 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-06-11  Arnaud Charlet[Ada] Memtrack: have only one definition of fwrite
2018-06-11 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-06-11  Arnaud Charlet[Ada] Refactor compilation of Ada units in Makefile.rtl
2018-06-11 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-06-11  Arnaud Charlet[Ada] Bindgen: protect reference to System.Parameters...
2018-06-11 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-30  Arnaud Charlet[Ada] Ignore out of range values for System.Priority...
2018-05-30 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-30  Arnaud Charlet[Ada] Move special flags for Ada runtime files from...
2018-05-30 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-30  Arnaud Charlet[Ada] Move target pair settings in Makefiles
2018-05-30 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-29  Arnaud Charlet[Ada] Fix typos in Makefile.in
2018-05-29 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-29  Arnaud Charlet[Ada] Turn Ada.Calendar.Epoch_Offset into a function
2018-05-29 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-29  Arnaud Charlet[Ada] Lib.Write: avoid use of System.Case_Util
2018-05-29 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-28  Arnaud Charlet[Ada] Disregard alignment issues in CodePeer mode
2018-05-28 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-28  Arnaud Charlet[Ada] Minor typo fix in exp_unst.adb
2018-05-28 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-25  Arnaud Charlet[Ada] Remove "constant" attribute on Osint.Unknown_Attributes
2018-05-25 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-25  Arnaud Charlet[Ada] Strip too long expressions in debug routines
2018-05-25 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-25  Arnaud Charlet[Ada] Do not print non ASCII characters in debug routines
2018-05-25 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-23  Arnaud Charlet[Ada] Fix various defects found by static analysis
2018-05-23 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-22  Arnaud Charlet[Ada] Do not emit error in Relaxed_RM_Semantics mode
2018-05-22 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-22  Arnaud Charlet[Ada] Take into account N_Generic_Package_Renaming_Declaration
2018-05-22 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
2018-05-21  Arnaud Charlet[Ada] Unnest all subprograms relevant for code generation
2018-05-21 Arnaud Charlet <charlet@adacore.com>
 commit | commitdiff | tree
next
Mirror of https://gcc.gnu.org/git/gcc.git