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
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Use 64 bit address in debug information.
Bernhard Schommer
2016-11-10
7
-19
/
+36
*
Removed folders from .merlin.
Bernhard Schommer
2016-11-09
1
-4
/
+0
*
Added ${arch}_${bitsize} for x86 to .merlin
Bernhard Schommer
2016-11-09
1
-1
/
+4
*
Merge branch 'master' of github.com:AbsInt/CompCert
Bernhard Schommer
2016-11-08
1
-1
/
+1
|
\
|
*
x86: mark register rax as destroyed by calls
Xavier Leroy
2016-11-08
1
-1
/
+1
*
|
fix va_arg for pointer types on 64bit target
Michael Schmidt
2016-11-08
1
-1
/
+7
*
|
extend constant check for builtin_memcpy_aligned (bug 20320)
Michael Schmidt
2016-11-07
1
-2
/
+2
|
/
*
extend constant check for builtin_memcpy_aligned (bug 20320)
Michael Schmidt
2016-11-07
1
-0
/
+2
*
allow Cow version 8.5pl3
Michael Schmidt
2016-11-04
1
-1
/
+1
*
update info about x86 in manpage
Michael Schmidt
2016-11-03
1
-2
/
+2
*
remove unused file, update tests for arch-field of configuration files
Michael Schmidt
2016-11-03
3
-20
/
+7
*
Merge branch 'master' of github.com:AbsInt/CompCert
Bernhard Schommer
2016-10-28
3
-141
/
+2
|
\
|
*
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
*
|
Update http to https
Michael Schmidt
2016-10-28
1
-1
/
+1
|
/
*
Merge pull request #145 from AbsInt/64
Xavier Leroy
2016-10-27
191
-7066
/
+16450
|
\
|
*
Documentation updates to mention 64-bit mode and x86_64 port
Xavier Leroy
2016-10-27
2
-7
/
+32
|
*
Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...
Xavier Leroy
2016-10-27
57
-624
/
+332
|
*
i64_smulh: revert to conditional branches instead of predicated insns
Xavier Leroy
2016-10-25
1
-8
/
+8
|
*
x86-32: make sure is_longconst and mullimm work correctly in 32 bits
Xavier Leroy
2016-10-25
2
-9
/
+11
|
*
SplitLong: propagate constants through "longofint"
Xavier Leroy
2016-10-25
2
-4
/
+8
|
*
Update PowerPC port (not tested yet)
Xavier Leroy
2016-10-25
3
-2
/
+144
|
*
Update ARM port. Not tested yet.
Xavier Leroy
2016-10-25
21
-278
/
+535
|
*
ia32: add support for __builtin_bswap64 + a bit of DWARF for x86-64
Xavier Leroy
2016-10-24
2
-4
/
+53
|
*
cparser/PackedStructs: fix assertion that was wrong for 64-bit targets
Xavier Leroy
2016-10-24
1
-1
/
+1
|
*
Update the tests in test/regression, continued
Xavier Leroy
2016-10-24
2
-13
/
+5
|
*
driver/Interp: update
Xavier Leroy
2016-10-24
1
-8
/
+8
|
*
Update the tests and test infrastructure in test/regression
Xavier Leroy
2016-10-24
12
-7
/
+132
|
*
configure for ia32-macosx: update for MacOS 10.12
Xavier Leroy
2016-10-13
1
-1
/
+1
|
*
x86-64 MacOS X support
Xavier Leroy
2016-10-11
6
-31
/
+68
|
*
Regression: handling of integer + pointer in CompCert C
Xavier Leroy
2016-10-06
4
-115
/
+112
|
*
Regression: compile-time evaluation of ((struct s *)0)->field
Xavier Leroy
2016-10-06
2
-4
/
+7
|
*
Fix some 32-bit regressions
Xavier Leroy
2016-10-04
2
-15
/
+56
|
*
Turn 64-bit integer division and modulus by constants into multiply-high
Xavier Leroy
2016-10-04
29
-25
/
+3031
|
*
Remove usage of do.
Bernhard Schommer
2016-10-04
3
-122
/
+121
|
*
Finish the proofs of SelectLong for IA32
Xavier Leroy
2016-10-02
4
-31
/
+361
|
*
Improve code generation for 64-bit signed integer division
Xavier Leroy
2016-10-02
22
-203
/
+547
|
*
Support for 64-bit architectures: x86 in 64-bit mode
Xavier Leroy
2016-10-01
31
-1625
/
+4945
|
*
Support for 64-bit architectures: update the PowerPC port
Xavier Leroy
2016-10-01
16
-752
/
+478
|
*
Support for 64-bit architectures: generic support
Xavier Leroy
2016-10-01
76
-2557
/
+4834
*
|
macosx needs all strings in degub_str.
Bernhard Schommer
2016-10-25
1
-1
/
+2
*
|
Pass range info to the children.
Bernhard Schommer
2016-10-25
1
-1
/
+2
*
|
Merge pull request #147 from m-schmidt/master
Xavier Leroy
2016-10-24
3
-0
/
+536
|
\
\
|
*
|
Minor improvements
Michael Schmidt
2016-10-17
1
-4
/
+4
|
*
|
Update description for debugging options
Michael Schmidt
2016-10-14
1
-4
/
+3
|
*
|
Add a man-page
Michael Schmidt
2016-10-14
3
-0
/
+537
*
|
|
implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)
Michael Schmidt
2016-10-19
1
-4
/
+4
*
|
|
implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)
Michael Schmidt
2016-10-19
1
-3
/
+6
*
|
|
Remove unnecessary usage of isatty.
Bernhard Schommer
2016-10-18
1
-1
/
+1
*
|
|
Catch errors from Unix for isatty.
Bernhard Schommer
2016-10-18
1
-1
/
+4
[prev]
[next]