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
/
test
/
regression
/
Results
Commit message (
Expand
)
Author
Age
Files
Lines
*
More tests for alias analysis.
Xavier Leroy
2015-07-20
1
-0
/
+1
*
Test to check that alias analysis is prudently conservative on ill-defined po...
Xavier Leroy
2015-07-19
1
-0
/
+7
*
Merge branch 'master' of https://github.com/AbsInt/CompCert
Xavier Leroy
2015-07-08
2
-3
/
+3
|
\
|
*
Turn off copy optimization when returning a composite by reference.
Xavier Leroy
2015-07-08
1
-0
/
+0
|
*
Fix issue with bit fields of type _Bool
Xavier Leroy
2015-07-08
1
-3
/
+3
*
|
More portable test for fres and fsqrte.
Xavier Leroy
2015-07-08
1
-2
/
+2
|
/
*
Signedness issue in specification of subtraction between two pointers.
Xavier Leroy
2015-06-30
1
-0
/
+2
*
Extended inline asm: handle missing cases.
Xavier Leroy
2015-04-28
1
-0
/
+10
*
Support va_arg for vararg arguments of composite (struct/union) types.
Xavier Leroy
2015-03-20
1
-1
/
+3
*
Improvements in the StructReturn transformation (ABI conformance for passing ...
Xavier Leroy
2015-03-20
1
-62
/
+86
*
More interoperability tests.
Xavier Leroy
2015-01-28
1
-4
/
+8
*
ABI compatibility for struct/union function arguments passed by value.
Xavier Leroy
2015-01-27
1
-0
/
+62
*
Merge branch 'named-structs'
Xavier Leroy
2015-01-23
1
-2
/
+2
|
\
|
*
Add a type system for CompCert C and type-checking constructor functions.
Xavier Leroy
2014-12-31
1
-2
/
+2
*
|
Wrong handling of block-local function declarations (in Elab.ml).
Xavier Leroy
2014-11-26
1
-0
/
+1
|
/
*
Rename __builtin_cntlz to __builtin_clz.
xleroy
2014-08-27
1
-0
/
+2
*
Support C99 compound literals (by expansion in Unblock pass).
xleroy
2014-08-21
1
-0
/
+25
*
checklink/Check.ml: missing SDA addressing for store instructions.
xleroy
2014-08-19
1
-0
/
+75
*
Add some tests for "switch" over 32 and 64-bit integers.
xleroy
2014-08-17
1
-0
/
+47
*
configure: distinguish between ABI and processor model.
xleroy
2014-07-29
1
-1
/
+1
*
Another corner case for string literal initializers: char * x[] = { "lit" }
xleroy
2014-05-18
1
-0
/
+2
*
Fixed regression on initializers of the form T x[N] = "literal";
xleroy
2014-05-08
1
-0
/
+1
*
Integration of Jacques-Henri Jourdan's verified parser.
xleroy
2014-04-29
1
-0
/
+1
*
C: Support array initializers that are too short + default init for remainder.
xleroy
2014-03-28
3
-0
/
+24
*
Add option -Os to optimize for code size rather than for execution speed.
xleroy
2014-02-19
1
-0
/
+15
*
Interp.ml: in the emulation of printf(), check formats against types of argum...
xleroy
2014-01-12
1
-1
/
+1
*
Updated ARM backend wrt new static analyses and optimizations.
xleroy
2014-01-02
1
-3
/
+3
*
Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...
xleroy
2014-01-01
2
-0
/
+12
*
Hack StructReturn to better adhere to PowerPC and ARM calling conventions.
xleroy
2013-12-20
1
-0
/
+3
*
- Recognize __builtin_fabs as an operator, not just a builtin,
xleroy
2013-11-06
3
-0
/
+3
*
Revised treatment of _Alignas, for better compatibility with GCC and Clang, a...
xleroy
2013-11-06
1
-0
/
+9
*
Optimize integer divisions by positive constants, turning them into
xleroy
2013-07-29
1
-0
/
+1620
*
Treat casts int64 -> float32 as primitive operations instead of two
xleroy
2013-07-03
1
-0
/
+360
*
Follow-up to commit 2288: add test for special case of long division.
xleroy
2013-07-03
1
-24
/
+500
*
Recognize attribute((packed)) after a "struct {...}" and not just between "st...
xleroy
2013-06-21
1
-0
/
+4
*
Missing case: initialization of a global variable of type _Bool.
xleroy
2013-05-08
1
-0
/
+1
*
Revised semantics and compilation of 2-argument C operators to better match
xleroy
2013-05-06
1
-0
/
+98
*
Revert suppression of __builtin_{read,write}_reversed for x86 and ARM,
xleroy
2013-04-29
2
-0
/
+8
*
Results for ARM
xleroy
2013-04-22
1
-0
/
+4
*
Fixes in PowerPC port
xleroy
2013-04-21
2
-258
/
+279
*
Add __builtin_bswap16 and __builtin_bswap32 to all ports.
xleroy
2013-04-20
1
-0
/
+5
*
Tests "floats" and "floats-basics" moved from test/c to test/regression
xleroy
2013-04-20
2
-0
/
+2
*
Interp.ml: support printf of long long
xleroy
2013-04-20
2
-53
/
+4077
*
Big merge of the newregalloc-int64 branch. Lots of changes in two directions:
xleroy
2013-04-20
2
-0
/
+3784
*
Testing dense switches
xleroy
2013-03-01
1
-0
/
+22
*
Updated ARM and PowerPC ports with new handling of __builtin_annot.
xleroy
2013-02-24
1
-0
/
+14
*
Test bitfields of enum type
xleroy
2012-12-18
1
-0
/
+4
*
Globalenvs: allocate one-byte block with permissions Nonempty for each
xleroy
2012-11-12
2
-0
/
+4
*
Merge of branch seq-and-or. See Changelog for details.
xleroy
2012-10-06
1
-0
/
+4
*
Initializers: handle By_copy accesses (e.g. for &(glob.field))
xleroy
2012-02-07
1
-0
/
+1
[next]