Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Revised encoding/decoding of floats | xleroy | 2010-05-09 | 1 | -2/+2 |
* | Cleaned up handling of linker sections. | xleroy | 2010-05-08 | 1 | -11/+17 |
* | Support __builtin_memcpy; use it for struct assignment | xleroy | 2010-04-17 | 1 | -0/+29 |
* | Pretty strings | xleroy | 2010-03-29 | 1 | -3/+8 |
* | Updated ARM asm printer | xleroy | 2010-03-28 | 1 | -4/+67 |
* | Suppressed Init_pointer, now useless. Improved printing of strings in genera... | xleroy | 2010-03-03 | 1 | -17/+1 |
* | Updated ARM asm printer | xleroy | 2010-01-25 | 1 | -5/+10 |
* | Updated ARM port | xleroy | 2010-01-25 | 1 | -2/+4 |
* | Added support for jump tables. | xleroy | 2009-11-19 | 1 | -0/+6 |
* | Support Clight initializers of the form "int * x = &y;". | xleroy | 2009-11-01 | 1 | -0/+2 |
* | Various clean-upsv1.4 | xleroy | 2009-04-17 | 1 | -2/+1 |
* | Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive f... | xleroy | 2009-01-29 | 1 | -1/+0 |
* | Elimination of "alloc" instruction in Caml files and test files. | xleroy | 2009-01-11 | 1 | -2/+0 |
* | Continuation of ARM port. | xleroy | 2009-01-01 | 1 | -0/+507 |