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
/
include
Commit message (
Expand
)
Author
Age
Files
Lines
*
fix broken test Makefile
David Monniaux
2020-03-27
1
-0
/
+7
*
Fixing issue with <math.h> and fabs
Cyril SIX
2020-01-09
1
-1
/
+2
*
(#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
*
more builtins
David Monniaux
2019-05-29
1
-0
/
+2
*
fixes for COS
David Monniaux
2019-05-28
1
-0
/
+2
*
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
1
-0
/
+3
*
__builtin_k1_acswapw
David Monniaux
2019-04-11
1
-1
/
+5
*
builtin acswapd
David Monniaux
2019-04-11
1
-1
/
+6
*
cleaner: put all the special types, defines etc. in one header file
David Monniaux
2019-04-11
1
-0
/
+11
*
<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
*
Define the C11 type max_align_t (#115)
Bernhard Schommer
2018-05-24
1
-0
/
+9
*
Change the syntax to gcc/clangs syntax.
Bernhard Schommer
2017-02-01
1
-1
/
+1
*
New version to support designators.
Bernhard Schommer
2017-01-24
1
-1
/
+1
*
Implement offsetof via builtin.
Bernhard Schommer
2017-01-20
1
-1
/
+1
*
Added iso646 header for alternate spellings.
Bernhard Schommer
2016-04-06
1
-0
/
+49
*
Added the _Noreturn keyword.
Bernhard Schommer
2016-03-23
2
-0
/
+80
*
Include fix for wint_t gcc problem.
Bernhard Schommer
2016-01-21
1
-12
/
+16
*
More gcc/newlib compatibility code.
Bernhard Schommer
2015-12-11
1
-2
/
+13
*
Also test if the __VA_LIST macro is defined to avoid problems with the typede...
Bernhard Schommer
2015-07-09
1
-2
/
+8
*
Removed brackets around ty in macro of offestof.
Bernhard Schommer
2015-07-07
1
-1
/
+1
*
Diab defines w_char to be unsigned short.
Bernhard Schommer
2015-07-07
1
-1
/
+1
*
Better define the __GNUC__ macro which avoids the inclusion of va_list header...
Bernhard Schommer
2015-07-07
1
-0
/
+4
*
Make also the wchar definition diab compatible.
Bernhard Schommer
2015-06-26
1
-0
/
+15
*
Added diab specific macros for stddef to avoid redefinition of size_t.
Bernhard Schommer
2015-06-26
1
-0
/
+9
*
Typo in #ifndef guard.
Xavier Leroy
2015-05-09
1
-1
/
+1
*
Improve compatibility with MacOS X.
Xavier Leroy
2015-04-26
1
-0
/
+3
*
Provide and use compiler-dependent standard headers.
Xavier Leroy
2015-04-25
5
-0
/
+298