index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
runtime
/
include
Commit message (
Expand
)
Author
Age
Files
Lines
*
<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