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
...
*
Bump
v2.3pl2
xleroy
2014-05-15
1
-1
/
+2
*
- Re-added support for "__func__" identifier as per ISO C99.
xleroy
2014-05-15
7
-5751
/
+5477
*
Assorted fixes to fix parsing issues and be more GCC-like:
xleroy
2014-05-12
8
-13541
/
+14068
*
Incorrect conversion of K&R functions. Example of problem:
xleroy
2014-05-12
2
-2
/
+10
*
Fix string litteral parsing
jjourdan
2014-05-11
2
-3
/
+7
*
Bump
xleroy
2014-05-09
1
-1
/
+1
*
Fixed regression on initializers of the form T x[N] = "literal";
xleroy
2014-05-08
4
-8
/
+27
*
- Added alternate keywords __inline, __restrict, etc, for GCC compatibility
xleroy
2014-05-08
2
-4
/
+24
*
Update Coq documentation
v2.3
xleroy
2014-05-05
2
-4
/
+4
*
Update for release 2.3.
xleroy
2014-05-05
2
-2
/
+3
*
Fused multiply-add for IA32.
xleroy
2014-05-05
4
-4
/
+45
*
Stern warning on non-prototype function definitions.
xleroy
2014-05-05
1
-0
/
+1
*
Do not allow typedef_name in identifier lists of K&R style definitions
jjourdan
2014-05-05
1
-4
/
+4
*
Support for old-style K&R function definitions.
xleroy
2014-05-05
6
-4545
/
+5621
*
Treat all identifiers as VAR_NAME by default (i.e. if not bound by a typedef)...
xleroy
2014-05-05
2
-15
/
+8
*
Adapt to the two different calling conventions for floats.
xleroy
2014-05-02
6
-0
/
+14
*
ARM: honor common variables.
xleroy
2014-05-02
2
-12
/
+27
*
New sub-target: arm-hardfloat
xleroy
2014-05-02
1
-0
/
+11
*
Preliminary support for EABI-hardfloat calling conventions
xleroy
2014-05-02
3
-48
/
+938
*
Be less picky in the way we parse '#' lines
xleroy
2014-05-02
1
-11
/
+23
*
Check availability of tools
xleroy
2014-05-02
1
-0
/
+50
*
Bump version number before I forget
xleroy
2014-05-01
1
-1
/
+1
*
Integration of Jacques-Henri Jourdan's verified parser.
xleroy
2014-04-29
49
-3224
/
+66259
*
Update with post-2.2 changes
xleroy
2014-04-23
1
-0
/
+36
*
Clean-up pass on C types:
xleroy
2014-04-23
9
-135
/
+381
*
Continued: change typeconv t into incrdecr_type t for Epostincr.
xleroy
2014-04-16
2
-3
/
+3
*
Use "incrdecr_type ty" instead of "typeconv ty" as the intermediate type
xleroy
2014-04-15
3
-7
/
+18
*
Updated the proofs.
xleroy
2014-04-12
1
-1
/
+3
*
ia32/Select*: complete the modifications to shifts.
xleroy
2014-04-11
5
-21
/
+30
*
Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...
xleroy
2014-04-09
19
-186
/
+489
*
Support Onot operator / notl instruction. More constant propagation during s...
xleroy
2014-04-06
11
-26
/
+100
*
Reducing compilation times: (by 35% on one example)
xleroy
2014-04-06
1
-20
/
+18
*
Merge of branch linear-typing:
xleroy
2014-04-06
19
-783
/
+1787
*
"->" can also be applied to array types, not just pointer types.
xleroy
2014-03-30
1
-1
/
+1
*
__builtin_absfloat can be applied to integers too.
xleroy
2014-03-29
3
-22
/
+60
*
Inlining: preserve all RTL regs mentioned in the function, not just
xleroy
2014-03-29
3
-107
/
+164
*
C: Support array initializers that are too short + default init for remainder.
xleroy
2014-03-28
15
-197
/
+605
*
Revert commits r2435 and r2436 (coarser RTLtyping / finer Lineartyping):
xleroy
2014-03-28
9
-1522
/
+672
*
Comments
xleroy
2014-03-27
1
-0
/
+7
*
Move wt_instr_inv where it belongs.
xleroy
2014-03-27
4
-21
/
+21
*
Revised division of labor between RTLtyping and Lineartyping:
xleroy
2014-03-27
7
-661
/
+1504
*
Type-checking of builtin volatile write Mfloat32 was too strict, causing type...
xleroy
2014-03-24
2
-4
/
+4
*
Error messages were not displayed correctly if the main() function is missing...
xleroy
2014-03-21
1
-5
/
+5
*
Support array initialization lists that are too short
xleroy
2014-03-18
2
-6
/
+14
*
Use .comm to declare uninitialized BSS variables.
xleroy
2014-03-14
1
-12
/
+24
*
floatoflong_from_words, floatoflongu_from_words : proof of PowerPc implementa...
jjourdan
2014-03-13
1
-89
/
+316
*
floatoflong_decomp, floatoflongu_decomp
jjourdan
2014-03-11
1
-0
/
+238
*
Force dependency of SelectOp on Compopts.
xleroy
2014-03-03
3
-1
/
+3
*
Do not transform __builtin_va_arg for a struct or union type, this causes
xleroy
2014-02-24
1
-31
/
+37
*
Silence the warning "Cannot build inversion information".
xleroy
2014-02-24
1
-9
/
+10
[prev]
[next]