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
*
AArch64 port
Xavier Leroy
2019-08-08
3
-0
/
+156
*
Prepend $(DESTDIR) to the installation target (#169)
Bernhard Schommer
2019-05-17
1
-4
/
+4
*
<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
*
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
*
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
*
powerpc/runtime: add comments
Xavier Leroy
2016-10-28
1
-1
/
+2
*
runtime/powerpc: remove useless files, add comments
Xavier Leroy
2016-10-28
2
-140
/
+0
*
Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...
Xavier Leroy
2016-10-27
19
-1
/
+3
*
i64_smulh: revert to conditional branches instead of predicated insns
Xavier Leroy
2016-10-25
1
-8
/
+8
*
Update PowerPC port (not tested yet)
Xavier Leroy
2016-10-25
2
-0
/
+144
*
Update ARM port. Not tested yet.
Xavier Leroy
2016-10-25
3
-0
/
+139
*
x86-64 MacOS X support
Xavier Leroy
2016-10-11
1
-1
/
+1
*
Turn 64-bit integer division and modulus by constants into multiply-high
Xavier Leroy
2016-10-04
8
-0
/
+433
*
Support for 64-bit architectures: x86 in 64-bit mode
Xavier Leroy
2016-10-01
6
-0
/
+404
*
Implement support for big endian arm targets.
Bernhard Schommer
2016-08-05
16
-214
/
+254
*
Added iso646 header for alternate spellings.
Bernhard Schommer
2016-04-06
1
-0
/
+49
*
Added the _Noreturn keyword.
Bernhard Schommer
2016-03-23
3
-1
/
+82
*
Include fix for wint_t gcc problem.
Bernhard Schommer
2016-01-21
1
-12
/
+16
*
Libcompcert should be compiled in thumb mode for armv7m.
Bernhard Schommer
2015-12-18
1
-2
/
+2
*
More gcc/newlib compatibility code.
Bernhard Schommer
2015-12-11
1
-2
/
+13
*
VPATH setting for PowerPC
Xavier Leroy
2015-09-13
1
-1
/
+9
*
Wrong syntax in fcmp.
Xavier Leroy
2015-09-13
1
-2
/
+2
*
PowerPC 64 bits: alternate, more efficient implementations of int64 operations.
Xavier Leroy
2015-09-12
13
-2
/
+681
*
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
6
-5
/
+312
*
Support va_arg for vararg arguments of composite (struct/union) types.
Xavier Leroy
2015-03-20
2
-0
/
+19
*
Support va_arg for vararg arguments of composite (struct/union) types.
Xavier Leroy
2015-03-20
1
-0
/
+12
*
C reference implementation of the int64 helper functions.
Xavier Leroy
2015-02-14
18
-8
/
+928
*
configure: distinguish between ABI and processor model.
xleroy
2014-07-29
10
-12
/
+25
*
ARM port: add support for Thumb2. To be tested.
xleroy
2014-07-27
17
-295
/
+350
*
Adapt to the two different calling conventions for floats.
xleroy
2014-05-02
6
-0
/
+14
*
stdarg.h: assorted fixes for PowerPC
xleroy
2014-01-01
1
-5
/
+5
*
Fine hair splitting depending on whether va_list is a scalar type (IA32, ARM)...
xleroy
2014-01-01
1
-3
/
+3
*
Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...
xleroy
2014-01-01
4
-1
/
+310
*
powerpc: faster implementation of long division modeled on that for IA32
xleroy
2013-07-03
5
-70
/
+220
[next]