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
Commit message (
Expand
)
Author
Age
Files
Lines
*
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
*
Merge of the "princeton" branch:
xleroy
2013-06-16
1
-0
/
+8
*
Fix compilation of runtime system.
xleroy
2013-05-29
1
-2
/
+2
*
Syntax errors
xleroy
2013-05-06
2
-31
/
+31
*
Wrong pseudo-instr
xleroy
2013-05-06
1
-1
/
+1
*
Support for in64 -> float conversions w/ correct rounding.
xleroy
2013-05-06
10
-7
/
+414
*
ia32/i64_dtou: wrong play on rounding mode
xleroy
2013-05-05
8
-52
/
+145
*
Typos in comments
xleroy
2013-04-30
2
-3
/
+3
*
Expand 64-bit integer comparisons into 32-bit integer comparisons.
xleroy
2013-04-29
8
-392
/
+2
*
Missing GLOB
xleroy
2013-04-23
1
-1
/
+1
*
Make ia32/ code more portable across systems.
xleroy
2013-04-23
29
-879
/
+912
*
Fixes in PowerPC port
xleroy
2013-04-21
6
-61
/
+108
[next]