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
...
*
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
*
Wrong pseudo-instr
xleroy
2013-05-06
1
-1
/
+1
*
Support for in64 -> float conversions w/ correct rounding.
xleroy
2013-05-06
10
-7
/
+414
*
ia32/i64_dtou: wrong play on rounding mode
xleroy
2013-05-05
8
-52
/
+145
*
Extend CSE of loads following stores to chunks Mint64 and Mfloat64al32.
xleroy
2013-05-02
2
-2
/
+4
*
Stack-align to 8 arguments of Tfloat and Tlong types, as per the SVR4 ABI and...
xleroy
2013-05-02
1
-16
/
+32
*
Clean up 'make clean'
xleroy
2013-05-01
1
-2
/
+1
*
Use "-as" to put CompCert modules in a compcert.xxx namespace.
xleroy
2013-05-01
5
-28
/
+50
*
Oops, removed a crucial declaration for Allocation.
xleroy
2013-05-01
1
-0
/
+4
*
Coq-defined equality functions for Allocation. (continued)
xleroy
2013-05-01
2
-6
/
+20
*
Coq-defined equality functions for Allocation.
xleroy
2013-05-01
6
-45
/
+56
*
Removing modules now unused
xleroy
2013-05-01
6
-2822
/
+0
*
Add bswap16
xleroy
2013-04-30
1
-1
/
+23
*
Updated to Pbuiltin with list of results
xleroy
2013-04-30
2
-26
/
+26
*
Updated to new CminorSel
xleroy
2013-04-30
2
-3
/
+3
*
Typos in comments
xleroy
2013-04-30
2
-3
/
+3
*
Updated
xleroy
2013-04-30
1
-3
/
+1
*
Expand 64-bit integer comparisons into 32-bit integer comparisons.
xleroy
2013-04-29
25
-691
/
+590
*
Decomposing 64-bit "less than" comparisons.
xleroy
2013-04-29
1
-9
/
+70
*
Revert suppression of __builtin_{read,write}_reversed for x86 and ARM,
xleroy
2013-04-29
12
-37
/
+133
*
Missing GLOB
xleroy
2013-04-23
1
-1
/
+1
*
Make ia32/ code more portable across systems.
xleroy
2013-04-23
29
-879
/
+912
*
driver: removed option -flonglong
xleroy
2013-04-22
9
-31
/
+282
*
Results for ARM
xleroy
2013-04-22
1
-0
/
+4
*
Labeled statements inside switch were incorrectly processed.
xleroy
2013-04-22
1
-0
/
+3
*
Deactivate combination Aindexed 0 / Oadd, as it causes problems with chunk = ...
xleroy
2013-04-21
2
-4
/
+0
[prev]
[next]