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
...
|
*
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
*
|
|
Document -target and -conf. Bug 20210
Bernhard Schommer
2016-10-18
1
-0
/
+2
*
|
|
Query menhir for location of menhir lib in config.
Bernhard Schommer
2016-10-18
2
-38
/
+3
*
|
|
Refactored debugging options.
Bernhard Schommer
2016-10-14
3
-31
/
+42
*
|
|
Remove undocumented option. Bug 20193
Bernhard Schommer
2016-10-14
6
-33
/
+10
|
/
/
*
|
Fix minor typo
Michael Schmidt
2016-10-12
1
-1
/
+1
*
|
Added configure switch for merlin.
Bernhard Schommer
2016-10-06
1
-0
/
+35
*
|
Fixed regression in printing of floats.
Bernhard Schommer
2016-10-04
1
-1
/
+1
|
/
*
Keep anonymous members of anonymous structs.
Bernhard Schommer
2016-09-27
2
-3
/
+5
*
undefine _Nullable to add some compatibility with macOS 10.12 SDK
Michael Schmidt
2016-09-23
1
-1
/
+1
*
Improved error messages for wrong vararg calls.
Bernhard Schommer
2016-09-23
2
-4
/
+10
*
Catch case of zero in builtin debug.
Bernhard Schommer
2016-09-22
1
-2
/
+2
*
Merge branch 'master' of /common/repositories/git/tools/compcert
Bernhard Schommer
2016-09-22
1
-0
/
+1
|
\
|
*
mention -Wall in help text
Michael Schmidt
2016-09-22
1
-0
/
+1
*
|
Added sizetyp for subarray bounds. Fix 19894
Bernhard Schommer
2016-09-22
3
-21
/
+43
|
/
*
Added compcert-conformance to wall. Bug 19872
Bernhard Schommer
2016-09-22
1
-0
/
+2
*
Renamed pedantic to implicit-int.
Bernhard Schommer
2016-09-22
3
-8
/
+9
*
Allow %lf type specifier in printf.
Bernhard Schommer
2016-09-22
1
-1
/
+1
*
Reverted noisy change.
Bernhard Schommer
2016-09-22
1
-1
/
+1
*
Merge pull request #142 from maximedenes/minor-fixes
Xavier Leroy
2016-09-21
3
-9
/
+13
|
\
[prev]
[next]