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
*
Change the way arguments to __builtin_annot are converted. Use the same conv...
xleroy
2013-09-14
1
-2
/
+6
*
Oops, wrong commit of generated files.
xleroy
2013-08-24
2
-758
/
+0
*
Forgot to add these two files.
xleroy
2013-08-24
2
-0
/
+758
*
Simplify LPMap by smashing bottoms.
xleroy
2013-08-12
2
-145
/
+48
*
Change interface of Kildall solvers to avoid precomputing the map pc -> list ...
xleroy
2013-08-12
20
-237
/
+288
*
Add test for NaNs
xleroy
2013-08-02
2
-4
/
+95
*
Merge of Flocq version 2.2.0.
xleroy
2013-08-02
38
-364
/
+2378
*
Alternate characterization of alignment constraints in memory injection, whic...
xleroy
2013-07-31
1
-107
/
+108
*
Update cchecklink w/ new Asm instructions Pmulh*
xleroy
2013-07-29
2
-0
/
+24
*
Optimize integer divisions by positive constants, turning them into
xleroy
2013-07-29
36
-182
/
+2663
*
Add another expansion of shrx in terms of shifts and adds (from Hacker's Deli...
xleroy
2013-07-28
1
-42
/
+72
*
More properties about subtraction and borrow.
xleroy
2013-07-15
1
-18
/
+59
*
More accurate model of condition register flags for ARM and IA32.
xleroy
2013-07-13
9
-327
/
+655
*
Revised handling of int->float conversions:
xleroy
2013-07-08
5
-17
/
+106
*
Add option -no-runtime-lib.
xleroy
2013-07-08
1
-1
/
+4
*
Compile in debug mode and activate stack backtraces.
xleroy
2013-07-07
2
-0
/
+3
*
Bad printing of alignment on 'comm' symbols.
xleroy
2013-07-07
3
-5
/
+9
*
Treat casts int64 -> float32 as primitive operations instead of two
xleroy
2013-07-03
17
-20
/
+475
*
Follow-up to commit 2288: add test for special case of long division.
xleroy
2013-07-03
2
-25
/
+502
*
powerpc: faster implementation of long division modeled on that for IA32
xleroy
2013-07-03
5
-70
/
+220
*
Version 2.00 -> version 2.0
v2.0
xleroy
2013-06-21
3
-4
/
+4
*
Recognize attribute((packed)) after a "struct {...}" and not just between "st...
xleroy
2013-06-21
5
-18
/
+58
*
Missing case for EF_inline_asm.
xleroy
2013-06-20
1
-0
/
+2
*
Updates in preparation for release 2.00
xleroy
2013-06-19
2
-52
/
+20
*
One more copyright header update.
xleroy
2013-06-17
1
-1
/
+0
*
Updating LICENSE and license headers, continued.
xleroy
2013-06-17
2
-0
/
+5
*
Update LICENSE file and headers for dual-licensed files.
xleroy
2013-06-17
7
-402
/
+55
*
Typo in comment
xleroy
2013-06-17
1
-1
/
+1
*
Update version number
xleroy
2013-06-16
1
-1
/
+2
*
Updated for release 2.00
xleroy
2013-06-16
1
-3
/
+60
*
Merge of the "princeton" branch:
xleroy
2013-06-16
35
-1040
/
+1237
*
More precise and faster recovery of function name from function or fundef value.
xleroy
2013-06-08
1
-2
/
+8
*
Fix compilation of runtime system.
xleroy
2013-05-29
2
-2
/
+6
*
Hunting stack overflows again:
xleroy
2013-05-27
2
-4
/
+6
*
powerpc: tentative support for Diab debug info
xleroy
2013-05-20
3
-24
/
+49
*
Merge of the float32 branch:
xleroy
2013-05-19
50
-963
/
+2237
*
Prettier output
xleroy
2013-05-19
1
-4
/
+7
*
Issue with simplification of nested ?: expressions of different types.
xleroy
2013-05-19
4
-85
/
+135
*
Add option -fno-tailcalls to turn off tailcall elimination (causes problem wi...
xleroy
2013-05-17
8
-13
/
+22
*
Update PowerPC port
xleroy
2013-05-17
2
-8
/
+14
*
Update ARM port.
xleroy
2013-05-17
2
-16
/
+14
*
Preliminary support for debugging info (-g).
xleroy
2013-05-17
9
-49
/
+285
*
"->" can be applied to an array, not just a pointer.
xleroy
2013-05-16
1
-1
/
+1
*
MacOS: try to add link option -Wl,-no-pie when needed e.g. 10.8 and up.
xleroy
2013-05-13
1
-1
/
+6
*
Support __attribute__(ident) where ident is not bound. Useful for GCC compat...
xleroy
2013-05-13
1
-3
/
+6
*
Missing case: initialization of a global variable of type _Bool.
xleroy
2013-05-08
5
-2
/
+6
*
Add interferences at function entry with destroyed_at_function_entry.
xleroy
2013-05-08
1
-2
/
+8
*
Revised semantics and compilation of 2-argument C operators to better match
xleroy
2013-05-06
6
-195
/
+316
*
Refactoring: move definition of chunk_of_type to AST.v.
xleroy
2013-05-06
7
-23
/
+11
*
Syntax errors
xleroy
2013-05-06
2
-31
/
+31
[next]