index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Generate output files in current directory; can be overriden with -o option
xleroy
2012-10-08
3
-34
/
+65
*
Make Clight independent of CompCert C.
xleroy
2012-10-08
22
-1385
/
+1522
*
Merge of branch seq-and-or. See Changelog for details.
xleroy
2012-10-06
47
-2816
/
+2739
*
Fixed 2 errors in revised builtin_vstore.
xleroy
2012-08-22
1
-2
/
+3
*
Wrong usage of temps in builtin_volatile_write.
xleroy
2012-08-17
1
-12
/
+7
*
Define useful functions instr_defs and instr_uses
xleroy
2012-08-10
1
-0
/
+35
*
Remove Val.is_true and Val.is_false, no longer used.
xleroy
2012-08-06
5
-103
/
+74
*
Updated documentation
xleroy
2012-08-02
1
-28
/
+19
*
Removed old, commented-out definitions.
xleroy
2012-08-01
1
-292
/
+30
*
More aggressive elimination of conditional branches during constant
xleroy
2012-08-01
3
-201
/
+234
*
Forgot to collect types of expressions
xleroy
2012-07-28
2
-2
/
+6
*
- Revised non-overflow constraints on memory injections so that
xleroy
2012-07-23
38
-183
/
+331
*
Remove the PowerPC/MacOS X port, as MacOS no longer supports PowerPC.
xleroy
2012-07-14
4
-937
/
+21
*
Support for indirect symbols under MacOS X (final).
xleroy
2012-07-14
16
-112
/
+53
*
Support for MacOS X's indirect symbols. (first try)
xleroy
2012-07-13
10
-41
/
+102
*
Late update for 1.11
xleroy
2012-07-13
1
-4
/
+6
*
Preparation for release 1.11
v1.11
xleroy
2012-07-13
2
-6
/
+6
*
checklink: dead and debug code elimination
varobert
2012-07-12
2
-3
/
+0
*
checklink: simplifications
varobert
2012-07-12
2
-67
/
+73
*
checklink: allow other number formats in configuration
varobert
2012-07-12
1
-1
/
+1
*
checklink: minor fixes
varobert
2012-07-12
2
-7
/
+9
*
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
[prev]
[next]