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
/
cfrontend
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
cparser: support for attributes over struct and union.
xleroy
2011-05-12
2
-4
/
+5
*
cparser/StructAssign: always use __builtin_memcpy + alignment indication
xleroy
2011-05-11
1
-49
/
+91
*
Preliminary support for 'aligned' and 'section' attributes, gcc-style. New-s...
xleroy
2011-04-16
1
-22
/
+15
*
Merge of branch "unsigned-offsets":
xleroy
2011-04-09
8
-54
/
+56
*
Special case for while(1), for(..., 1, ...) and do ... while(0) loops.
xleroy
2011-03-15
2
-22
/
+69
*
Incompatibility 8.3 / 8.3pl1
xleroy
2011-03-14
1
-1
/
+1
*
Slightly nicer semantics for initialization
xleroy
2011-03-13
1
-28
/
+29
*
More global initialization work done and proved in Coq.
xleroy
2011-03-13
3
-79
/
+409
*
Initializers for global variables: compile-time evaluation of expressions don...
xleroy
2011-03-12
4
-55
/
+754
*
Revised signed/unsigned char handling.
xleroy
2011-03-10
1
-1
/
+2
*
Treat "char" as unsigned OR signed depending on the configuration.
xleroy
2011-03-09
1
-7
/
+9
*
Float.intoffloat and Float.intuoffloat are now partial functions.
xleroy
2010-10-28
3
-7
/
+19
*
Updates for IA32-Cygwin.
xleroy
2010-09-08
1
-20
/
+31
*
Better emulation of long long as a struct.
xleroy
2010-09-04
1
-15
/
+50
*
Adding __builtin_annotation
xleroy
2010-09-01
2
-1
/
+112
*
Nettoyages pour doc
xleroy
2010-08-18
3
-20
/
+14
*
Removed useless constraints on return type at Sreturn instructions
xleroy
2010-08-18
7
-36
/
+25
*
Copyright banner
xleroy
2010-08-18
1
-0
/
+12
*
Renamed C2Clight into C2C
xleroy
2010-08-18
1
-0
/
+0
*
Merge of branches/full-expr-4:
xleroy
2010-08-18
19
-5551
/
+10763
*
Support for inlined built-ins.
xleroy
2010-06-29
7
-103
/
+131
*
Updated Caml parts to match new representation for global variables.
xleroy
2010-05-26
2
-12
/
+27
*
More faithful semantics for volatile reads and writes.
xleroy
2010-05-23
6
-32
/
+40
*
- Extended traces so that pointers within globals are supported as event values.
xleroy
2010-05-10
4
-67
/
+73
*
Suppressed axioms Float.eq_zero_{true,false}, since the latter is
xleroy
2010-05-09
2
-11
/
+8
*
Cleaned up handling of linker sections.
xleroy
2010-05-08
1
-14
/
+13
*
Strengthen chunktype inference and use it to remove some useless casts.
xleroy
2010-05-05
2
-23
/
+141
*
Add "fabs" (floating-point absolute value) as a unary operator in
xleroy
2010-05-02
6
-3
/
+39
*
__builtin_memcpy, continued.
xleroy
2010-04-17
1
-3
/
+3
*
Support __builtin_memcpy; use it for struct assignment
xleroy
2010-04-17
1
-0
/
+13
*
PowerPC:
xleroy
2010-04-10
1
-0
/
+7
*
Bug fix: infinite loop in cparser/ on bit field of size 32 bits.
xleroy
2010-04-09
1
-4
/
+2
*
Wrong type for __builtin_volatile_*_int32
xleroy
2010-04-02
1
-1
/
+1
*
Typo
xleroy
2010-03-28
1
-1
/
+0
*
Bug in multidimensional read-only arrays
xleroy
2010-03-13
1
-7
/
+8
*
Handling of volatile accesses through builtin functions.
xleroy
2010-03-08
1
-18
/
+105
*
Handling of builtins, continued.
xleroy
2010-03-07
2
-29
/
+42
*
Merge of the newmem and newextcalls branches:
xleroy
2010-03-07
8
-1296
/
+1957
*
Suppressed Init_pointer, now useless. Improved printing of strings in genera...
xleroy
2010-03-03
1
-4
/
+0
*
Detect struct assignment. Silence some warnings
xleroy
2010-03-03
1
-3
/
+7
*
Getting rid of CIL
xleroy
2010-03-03
1
-1283
/
+0
*
Switching to the new C parser/elaborator/simplifier
xleroy
2010-03-03
4
-0
/
+768
*
Function types didn't always degrade to pointers like they should. Introduce...
xleroy
2010-03-02
4
-23
/
+26
*
Revised handling of #pragma section and small data areas
xleroy
2010-01-27
1
-17
/
+21
*
Revised lib/Integers.v to make it parametric w.r.t. word size.
xleroy
2009-11-19
2
-6
/
+6
*
Unsupported: return/return type mismatches
xleroy
2009-11-19
1
-2
/
+17
*
PowerPC/EABI port: preliminary support for #pragma section and
xleroy
2009-11-03
1
-50
/
+47
*
Simplified the treatment of the PowerPC small data area; now more specific to...
xleroy
2009-11-02
1
-10
/
+8
*
Preliminary support for small data area in PowerPC port.
xleroy
2009-11-01
1
-0
/
+15
*
Support Clight initializers of the form "int * x = &y;".
xleroy
2009-11-01
2
-7
/
+21
[prev]
[next]