index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
runtime
Commit message (
Expand
)
Author
Age
Files
Lines
*
bringing back the ppc64 runtime
David Monniaux
2020-02-09
5
-0
/
+440
*
why did we remove the ppc runtime ?!
David Monniaux
2020-02-08
17
-0
/
+1430
*
Fixed using ccomp assembly preprocessor
Cyril SIX
2020-02-06
1
-3
/
+3
*
Fixing issue with <math.h> and fabs
Cyril SIX
2020-01-09
1
-1
/
+2
*
Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...
David Monniaux
2019-09-20
3
-0
/
+156
|
\
|
*
AArch64 port
Xavier Leroy
2019-08-08
3
-0
/
+156
*
|
(#157) Fixing warning for desactivated afaddd builtin. No implementation yet
Cyril SIX
2019-09-05
1
-0
/
+6
*
|
macros for fma() fmaf()
David Monniaux
2019-08-30
1
-0
/
+2
*
|
fmin/fmax/fminf/fmaxf non bien testés
David Monniaux
2019-08-29
1
-0
/
+9
*
|
merge upstream including fma fixes
David Monniaux
2019-08-28
22
-1870
/
+0
*
|
Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...
David Monniaux
2019-06-03
1
-4
/
+4
|
\
|
|
*
Prepend $(DESTDIR) to the installation target (#169)
Bernhard Schommer
2019-05-17
1
-4
/
+4
*
|
use all same exact include files
v3.5_k1c_1.2
David Monniaux
2019-06-03
1
-15
/
+7
*
|
added some include files
David Monniaux
2019-05-29
2
-0
/
+2
*
|
more builtins
David Monniaux
2019-05-29
1
-0
/
+2
*
|
fixes for COS
David Monniaux
2019-05-28
2
-0
/
+12
*
|
directly call float and double division from gcc lib instead of a stub
David Monniaux
2019-05-15
1
-42
/
+0
*
|
32-bit modulo now uses sign extend then call to the 64-bit function
David Monniaux
2019-05-13
1
-23
/
+0
*
|
we directly call 64-bit unsigned division
David Monniaux
2019-05-13
1
-22
/
+0
*
|
feclearexcept / fetestexcept
David Monniaux
2019-04-13
1
-0
/
+15
*
|
better #include handling
David Monniaux
2019-04-12
1
-1
/
+5
*
|
workaround for non-standard C isfinite macro in math.h
David Monniaux
2019-04-12
2
-1
/
+4
*
|
simplification of the varargs procedure: they are leaf procedures, there is n...
David Monniaux
2019-04-12
1
-40
/
+1
*
|
__builtin_k1_acswapw
David Monniaux
2019-04-11
2
-1
/
+12
*
|
builtin acswapd
David Monniaux
2019-04-11
2
-2
/
+16
*
|
cleaner: put all the special types, defines etc. in one header file
David Monniaux
2019-04-11
2
-0
/
+14
*
|
passage de structures en varargs (fonctionne avec une convention "passage par...
David Monniaux
2019-03-22
1
-0
/
+3
*
|
la division flottante fonctionne
David Monniaux
2019-03-20
2
-1
/
+12
*
|
les divisions entieres passent
David Monniaux
2019-03-20
3
-0
/
+43
*
|
sdiv works
David Monniaux
2019-03-20
2
-1
/
+15
*
|
Added i64_shl and i64_shr to the runtime Makefile, needed by i64_dtos
Cyril SIX
2019-03-19
1
-1
/
+2
*
|
Merge branch 'master' into mppa_postpass
Cyril SIX
2019-03-13
2
-1
/
+2
|
\
|
|
*
<stddef.h>: define NULL with type void *
Xavier Leroy
2019-02-04
1
-1
/
+1
|
*
<stdbool.h>: add missing macro __bool_true_false_are_defined
Xavier Leroy
2019-02-04
1
-0
/
+1
*
|
varargs
David Monniaux
2019-03-10
1
-0
/
+2
*
|
Float conversion fixes + some more conversions
Cyril SIX
2019-02-27
1
-2
/
+4
*
|
C99 7.16 mandates __bool_true_false_are_defined
David Monniaux
2019-01-30
1
-1
/
+1
*
|
Fixed div64 and mod64
Cyril SIX
2018-12-11
2
-31
/
+1
*
|
Finished implementation of va_arg + testing done
Cyril SIX
2018-11-30
2
-1
/
+73
*
|
Merge tag 'v3.4' into mppa_k1c
Cyril SIX
2018-11-21
1
-0
/
+9
|
\
|
|
*
Define the C11 type max_align_t (#115)
Bernhard Schommer
2018-05-24
1
-0
/
+9
*
|
Fixed MPPA runtimes not compiling
Cyril SIX
2018-11-20
2
-5
/
+8
*
|
MPPA - Changed division to include the builtin
Cyril SIX
2018-06-05
1
-23
/
+2
*
|
MPPA - div and mod, replaced gcc implementation by C files + ccomp
Cyril SIX
2018-05-21
13
-460
/
+29
*
|
MPPA - Added modulo and division 64 bits. Non certified
Cyril SIX
2018-05-21
14
-0
/
+595
|
/
*
Take advantage of ARMv6T2/ARMv7 instructions even if not in Thumb2 mode (#203)
Gergö Barany
2017-09-18
1
-0
/
+2
*
Prefixed runtime functions.
Bernhard Schommer
2017-08-25
57
-208
/
+208
*
Hybrid 64bit/32bit PowerPC port
Bernhard Schommer
2017-05-03
15
-435
/
+200
*
RISC-V vararg.S: a "sw" instruction should be "sptr"
Xavier Leroy
2017-04-29
1
-1
/
+1
*
RISC-V port and assorted changes
Xavier Leroy
2017-04-28
20
-41
/
+205
[next]