index
:
riscv-gnu-toolchain/gcc.git
devel/analyzer
devel/autopar_devel
devel/autopar_europar_2021
devel/bypass-asm
devel/c++-contracts
devel/c++-coroutines
devel/c++-modules
devel/c++-name-lookup
devel/coarray_native
devel/fortran_unsigned
devel/gccgo
devel/gfortran-caf
devel/gimple-linterchange
devel/gomp-5_0-branch
devel/icpp2021
devel/ira-select
devel/ix86/evex512
devel/jlaw/crc
devel/loop-unswitch-support-switches
devel/lto-offload
devel/m2link
devel/modula-2
devel/mold-lto-plugin
devel/mold-lto-plugin-v2
devel/omp/gcc-10
devel/omp/gcc-11
devel/omp/gcc-12
devel/omp/gcc-13
devel/omp/gcc-14
devel/omp/gcc-9
devel/omp/ompd
devel/power-ieee128
devel/range-gen3
devel/ranger
devel/rust/master
devel/sphinx
devel/ssa-range
devel/subreg-coalesce
devel/unified-autovect
master
releases/egcs-1.0
releases/egcs-1.1
releases/gcc-10
releases/gcc-11
releases/gcc-12
releases/gcc-13
releases/gcc-14
releases/gcc-2.95
releases/gcc-2.95.2.1-branch
releases/gcc-3.0
releases/gcc-3.1
releases/gcc-3.2
releases/gcc-3.3
releases/gcc-3.4
releases/gcc-4.0
releases/gcc-4.1
releases/gcc-4.2
releases/gcc-4.3
releases/gcc-4.4
releases/gcc-4.5
releases/gcc-4.6
releases/gcc-4.7
releases/gcc-4.8
releases/gcc-4.9
releases/gcc-5
releases/gcc-6
releases/gcc-7
releases/gcc-8
releases/gcc-9
releases/libgcj-2.95
trunk
Unnamed repository; edit this file 'description' to name the repository.
root
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gcc
/
ada
/
libgnat
Age
Commit message (
Expand
)
Author
Files
Lines
2023-01-09
ada: Update copyright notice
Arnaud Charlet
1461
-1461
/
+1461
2023-01-05
ada: INOX: prototype RFC on String Interpolation
Javier Miranda
6
-46
/
+145
2023-01-05
ada: Adjust handling of "%g" in GNAT.Formatted_String
Ronan Desplanques
2
-34
/
+313
2023-01-03
ada: Fix GNAT.Formatted_String's handling of real values
Ronan Desplanques
1
-1
/
+2
2023-01-03
ada: Fix parsing bug in GNAT.Formatted_String
Ronan Desplanques
1
-0
/
+1
2023-01-03
ada: Fix format string parsing in GNAT.Formatted_String
Ronan Desplanques
1
-31
/
+36
2022-12-06
ada: Add Codepeer Exemption + simplify TO_C code.
Liaiss Merzougue
1
-9
/
+6
2022-11-28
ada: Adjust runtime library and User's Guide to PIE default on Linux
Eric Botcazou
1
-14
/
+22
2022-11-28
ada: Annotate GNAT.Source_Info with an abstract state
Claire Dross
1
-1
/
+19
2022-11-21
ada: Internal compiler error for Sequential Partition_Elaboration_Policy
Steve Baird
1
-2
/
+3
2022-11-21
ada: Ada 2022 Image attribute bugs
Steve Baird
7
-4
/
+56
2022-11-14
ada: Fix non-capturing parentheses handling
Ronan Desplanques
1
-5
/
+3
2022-11-14
ada: Enable Support_Atomic_Primitives on QNX and RTEMS
Patrick Bernardi
2
-1
/
+2
2022-11-08
ada: Set Support_Atomic_Primitives for VxWorks 7 runtimes
Johannes Kliemann
12
-8
/
+12
2022-11-08
ada: Fix inconsistent whitespace in Ada.Numerics.Generic_Complex_Arrays
Piotr Trojanek
2
-4
/
+4
2022-11-08
ada: Raise Tag_Error when Ada.Tags operations are called with No_Tag
Piotr Trojanek
1
-7
/
+15
2022-11-04
ada: Fix typo in comment referring to pragma Restrictions
Piotr Trojanek
1
-3
/
+2
2022-10-12
Enable support for atomic primitives on SPARC/Linux
Eric Botcazou
1
-0
/
+1
2022-09-12
[Ada] Justify false alarm from CodePeer analysis of GNAT
Yannick Moy
1
-0
/
+2
2022-09-12
[Ada] Reject use in SPARK of Asm intrinsics for code insertions
Yannick Moy
1
-1
/
+3
2022-09-12
[Ada] Replace SPARK containers implementation by Compile_Time_Error
Joffrey Huguet
26
-25916
/
+60
2022-09-12
[Ada] Disable Support_Atomic_Primitives on x86_64 VxWorks
Patrick Bernardi
2
-2
/
+2
2022-09-12
[Ada] Disable Support_Atomic_Primitives on QNX and VxWorks targets
Patrick Bernardi
7
-7
/
+7
2022-09-06
[Ada] Restore missing Aggregate aspect for Ada.Containers.Ordered_Sets.Set
Steve Baird
1
-3
/
+3
2022-09-06
[Ada] Slice length computation bug in Generic_Bounded_Length generics
Steve Baird
3
-21
/
+16
2022-09-06
[Ada] Fix a bug in the contract of formal ordered sets
Julien Bortolussi
1
-3
/
+4
2022-09-06
[Ada] Correctly round Value attribute for floating point in more cases
Eric Botcazou
8
-54
/
+304
2022-09-06
[Ada] Correctly round Value attribute for floating point in more cases
Eric Botcazou
5
-218
/
+253
2022-09-05
[Ada] Single-element Append performance improvement
Steve Baird
2
-39
/
+49
2022-09-05
[Ada] Small cleanup in body of System.Value_R
Eric Botcazou
1
-9
/
+20
2022-09-02
[Ada] Add loop variants to Ada.Strings.Search and Ada.Strings.Maps
Claire Dross
2
-0
/
+7
2022-09-02
[Ada] Fix proof of runtime unit System.Exp_Mod
Claire Dross
1
-0
/
+10
2022-09-02
[Ada] Fix proof of runtime unit System.Wid_*
Claire Dross
1
-1
/
+15
2022-09-02
[Ada] Recover proof of Scaled_Divide in System.Arith_64
Yannick Moy
2
-122
/
+211
2022-09-02
[Ada] Fix proof of runtime unit System.Value* and System.Image*
Claire Dross
24
-1547
/
+1853
2022-07-13
[Ada] Fix proof of runtime unit System.Arith_64
Yannick Moy
1
-4
/
+92
2022-07-13
[Ada] Fix automatic proof on System.Arith_32
Yannick Moy
1
-1
/
+2
2022-07-13
[Ada] Fix CodePeer warnings in GNAT sources
Justin Squirek
2
-115
/
+15
2022-07-12
[Ada] Fix 0-sized secondary stack allocations
Marc Poulhiès
1
-1
/
+6
2022-07-12
[Ada] Suppress warning in g-socthi__vxworks.adb
Bob Duff
1
-1
/
+3
2022-07-12
[Ada] Vxworks7* - Makefile.rtl rtp vs rtp-smp cleanup - remove unused files
Doug Rupp
2
-327
/
+0
2022-07-12
[Ada] Remove out-of-range warning in unreachable code
Bob Duff
1
-1
/
+3
2022-07-12
[Ada] Add one more leading underscore to couple of exported symbols
Eric Botcazou
1
-2
/
+2
2022-07-12
[Ada] Annotate libraries with returning annotation
Joffrey Huguet
37
-258
/
+442
2022-07-12
[Ada] Fix buffer overrun for small string concatenation at -O0
Eric Botcazou
16
-228
/
+19
2022-07-12
[Ada] Avoid namespace pollution for Next and Previous
Bob Duff
21
-84
/
+72
2022-07-12
[Ada] Add new unbounded and indefinite formal doubly linked list
Julien Bortolussi
2
-0
/
+3724
2022-07-06
[Ada] Indexing error when calling GNAT.Regpat.Match
Justin Squirek
2
-20
/
+42
2022-07-06
[Ada] Support ghost generic formal parameters
Yannick Moy
3
-23
/
+46
2022-07-06
[Ada] Handle secondary stack memory allocations alignment
Marc Poulhiès
2
-31
/
+68
[next]