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
*
checklink: configuration, indicate external symbols
varobert
2012-07-12
3
-66
/
+84
*
checklink: added configurability
varobert
2012-07-11
3
-64
/
+180
*
checklink: more stringent compilation
varobert
2012-07-11
2
-2
/
+2
*
Strip quotes from section names during #pragma parsing.
xleroy
2012-07-11
4
-9
/
+9
*
Updated ARM port.
xleroy
2012-07-10
5
-29
/
+20
*
Accept long double literals if -flongdouble is given.
xleroy
2012-07-10
1
-1
/
+1
*
checklink: fixed SDA inference, passes test
varobert
2012-07-10
1
-6
/
+4
*
Micro-optimization of (x & mask) >>s amount into a rolm when mask >= 0.
xleroy
2012-07-09
3
-16
/
+77
*
Revert unintentional commit #1955
xleroy
2012-07-06
5
-16
/
+12
*
checklink: minor changes
varobert
2012-07-05
1
-8
/
+9
*
Ajout trunk CompCert
blazy
2012-07-04
5
-12
/
+16
*
checklink: better diagnosis
varobert
2012-07-04
1
-112
/
+103
*
checklink: some more debug tracing
varobert
2012-07-04
1
-0
/
+3
*
checklink: more defensive is_padding
varobert
2012-07-04
1
-1
/
+2
*
checklink: fixed bits/bytes mistake
varobert
2012-07-04
1
-1
/
+1
*
Update CombineOp for arm and ia32.
xleroy
2012-07-03
4
-7
/
+21
*
checklink: adaptation to the new floats
varobert
2012-07-03
3
-7
/
+11
*
Process successors in increasing order. Helps preserving the nice CFG
xleroy
2012-07-01
1
-23
/
+62
*
Factor out the evaluation of the float constant in intuoffloat.
xleroy
2012-07-01
2
-16
/
+17
*
Recombine x = cmp(...); if (x == 1) ...
xleroy
2012-07-01
6
-12
/
+157
*
Added option -falign-functions
xleroy
2012-07-01
6
-7
/
+19
*
More aggressive 'uncasting' before storing small integers
xleroy
2012-06-30
2
-104
/
+145
*
checklink: Faster printing
varobert
2012-06-29
2
-64
/
+121
*
checklink: Indentation
varobert
2012-06-29
1
-17
/
+17
*
checklink: removed garbage code
varobert
2012-06-29
1
-1
/
+1
*
Changelog: updated
xleroy
2012-06-28
5
-28
/
+97
*
Use Flocq for floats
xleroy
2012-06-28
54
-168
/
+26114
*
Make min_int / -1 and min_int % -1 semantically undefined
xleroy
2012-06-09
16
-44
/
+81
*
More properties on mul/div/mod
xleroy
2012-06-09
1
-0
/
+39
*
checklink: improved user-friendliness
varobert
2012-06-04
5
-161
/
+184
*
checklink: improved error messages
varobert
2012-06-01
2
-16
/
+48
*
checklink: new disassembler, error severity, ...
varobert
2012-06-01
5
-1054
/
+1085
*
checklink: better error messages
varobert
2012-05-31
1
-9
/
+10
*
checklink: fixed FSQRTEx parsing
varobert
2012-05-31
1
-1
/
+1
*
Better error reports for checklink
varobert
2012-05-30
2
-77
/
+98
*
Removed Oandimm, etc, cases, because of 2-address constraints...
xleroy
2012-05-29
2
-24
/
+0
*
Memdata: cleanup continued
xleroy
2012-05-26
2
-178
/
+131
*
CSE: add recognition of some combined operators, conditions, and addressing m...
xleroy
2012-05-26
28
-471
/
+1172
*
cchecklink continues when sections overlap
varobert
2012-05-24
3
-62
/
+77
*
More efficient implementation of reg_valnum
xleroy
2012-05-22
2
-90
/
+168
*
Merge of the newmem branch:
xleroy
2012-05-21
49
-1945
/
+5923
*
Hack with nxor
xleroy
2012-05-18
3
-0
/
+10
*
Use freg <-> 2 ireg move instructions to fix up calling conventions
xleroy
2012-05-18
1
-4
/
+2
*
cchecklink now reads segments instead of sections
varobert
2012-05-10
8
-285
/
+354
*
Fixed float comparison in checklink
varobert
2012-05-02
1
-2
/
+5
*
Added small data area support to checklink
varobert
2012-04-20
3
-58
/
+201
*
New section mapping checks and symbol data lookup
varobert
2012-04-13
4
-57
/
+118
*
Added long versions of Pbf and Pbt
varobert
2012-04-12
1
-42
/
+80
*
Added Pallocframe second form
varobert
2012-04-12
1
-3
/
+13
*
Faster ndxes_of_sym_name
varobert
2012-04-12
5
-26
/
+51
[next]