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
/
stddef.h
Commit message (
Expand
)
Author
Age
Files
Lines
*
Use define for wchar_t type
Bernhard Schommer
2023-02-01
1
-6
/
+2
*
<stddef.h>: define NULL with type void *
Xavier Leroy
2019-02-04
1
-1
/
+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
*
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
*
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
*
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
*
Provide and use compiler-dependent standard headers.
Xavier Leroy
2015-04-25
1
-0
/
+81