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
*
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
*
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
|
\
|
*
Fix minor issues in some proofs and tactics.
Maxime Dénès
2016-09-21
3
-9
/
+13
*
|
Fix typo in option name. Bug 18004
Bernhard Schommer
2016-09-21
1
-1
/
+1
*
|
Also warn for empty default declarations. Bug 18004
Bernhard Schommer
2016-09-21
1
-1
/
+1
*
|
Make unnamed default + correct empty struct warning. Bug 18004
Bernhard Schommer
2016-09-21
2
-2
/
+3
*
|
Allow empty alignment attribute. Bug 18004
Bernhard Schommer
2016-09-21
1
-0
/
+1
*
|
Remove the duplicated :. Bug 18004
Bernhard Schommer
2016-09-21
1
-3
/
+3
*
|
Ignore also ignores the argunment. Bug 18004
Bernhard Schommer
2016-09-20
2
-2
/
+7
*
|
Merge pull request #139 from AbsInt/advanced-diagnostics
Bernhard Schommer
2016-09-20
21
-395
/
+781
|
\
\
|
*
|
Fixed typos and reverted error message. Bug 18004
Bernhard Schommer
2016-09-05
1
-9
/
+9
|
*
|
Readded parameter number. Bug 18004
Bernhard Schommer
2016-09-01
1
-6
/
+6
|
*
|
Reworded warning. Bug 18004
Bernhard Schommer
2016-09-01
1
-6
/
+6
|
*
|
Simplified int to pointer tests.
Bernhard Schommer
2016-09-01
2
-16
/
+17
|
*
|
Fixed error message for & operator. Bug 18004
Bernhard Schommer
2016-08-31
1
-1
/
+1
|
*
|
Added conformance warning.
Bernhard Schommer
2016-08-31
3
-0
/
+4
|
*
|
Added back logical operator in error. Bug 18004
Bernhard Schommer
2016-08-31
1
-1
/
+1
[next]