| Commit message (Expand) | Author | Age |
|---|
| * | More precise and faster recovery of function name from function or fundef value. |  xleroy | 2013-06-08 |
| * | Fix compilation of runtime system. | xleroy | 2013-05-29 |
| * | Hunting stack overflows again: | xleroy | 2013-05-27 |
| * | powerpc: tentative support for Diab debug info | xleroy | 2013-05-20 |
| * | Merge of the float32 branch: | xleroy | 2013-05-19 |
| * | Prettier output | xleroy | 2013-05-19 |
| * | Issue with simplification of nested ?: expressions of different types. | xleroy | 2013-05-19 |
| * | Add option -fno-tailcalls to turn off tailcall elimination (causes problem wi... | xleroy | 2013-05-17 |
| * | Update PowerPC port | xleroy | 2013-05-17 |
| * | Update ARM port. | xleroy | 2013-05-17 |
| * | Preliminary support for debugging info (-g). | xleroy | 2013-05-17 |
| * | "->" can be applied to an array, not just a pointer. | xleroy | 2013-05-16 |
| * | MacOS: try to add link option -Wl,-no-pie when needed e.g. 10.8 and up. | xleroy | 2013-05-13 |
| * | Support __attribute__(ident) where ident is not bound. Useful for GCC compat... | xleroy | 2013-05-13 |
| * | Missing case: initialization of a global variable of type _Bool. | xleroy | 2013-05-08 |
| * | Add interferences at function entry with destroyed_at_function_entry. | xleroy | 2013-05-08 |
| * | Revised semantics and compilation of 2-argument C operators to better match | xleroy | 2013-05-06 |
| * | Refactoring: move definition of chunk_of_type to AST.v. | xleroy | 2013-05-06 |
| * | Syntax errors | xleroy | 2013-05-06 |
| * | Wrong pseudo-instr | xleroy | 2013-05-06 |
| * | Support for in64 -> float conversions w/ correct rounding. | xleroy | 2013-05-06 |
| * | ia32/i64_dtou: wrong play on rounding mode | xleroy | 2013-05-05 |
| * | Extend CSE of loads following stores to chunks Mint64 and Mfloat64al32. | xleroy | 2013-05-02 |
| * | Stack-align to 8 arguments of Tfloat and Tlong types, as per the SVR4 ABI and... | xleroy | 2013-05-02 |
| * | Clean up 'make clean' | xleroy | 2013-05-01 |
| * | Use "-as" to put CompCert modules in a compcert.xxx namespace. | xleroy | 2013-05-01 |
| * | Oops, removed a crucial declaration for Allocation. | xleroy | 2013-05-01 |
| * | Coq-defined equality functions for Allocation. (continued) | xleroy | 2013-05-01 |
| * | Coq-defined equality functions for Allocation. | xleroy | 2013-05-01 |
| * | Removing modules now unused | xleroy | 2013-05-01 |
| * | Add bswap16 | xleroy | 2013-04-30 |
| * | Updated to Pbuiltin with list of results | xleroy | 2013-04-30 |
| * | Updated to new CminorSel | xleroy | 2013-04-30 |
| * | Typos in comments | xleroy | 2013-04-30 |
| * | Updated | xleroy | 2013-04-30 |
| * | Expand 64-bit integer comparisons into 32-bit integer comparisons. | xleroy | 2013-04-29 |
| * | Decomposing 64-bit "less than" comparisons. | xleroy | 2013-04-29 |
| * | Revert suppression of __builtin_{read,write}_reversed for x86 and ARM, | xleroy | 2013-04-29 |
| * | Missing GLOB | xleroy | 2013-04-23 |
| * | Make ia32/ code more portable across systems. | xleroy | 2013-04-23 |
| * | driver: removed option -flonglong | xleroy | 2013-04-22 |
| * | Results for ARM | xleroy | 2013-04-22 |
| * | Labeled statements inside switch were incorrectly processed. | xleroy | 2013-04-22 |
| * | Deactivate combination Aindexed 0 / Oadd, as it causes problems with chunk = ... | xleroy | 2013-04-21 |
| * | Fixes in PowerPC port | xleroy | 2013-04-21 |
| * | Add __builtin_bswap16 and __builtin_bswap32 to all ports. | xleroy | 2013-04-20 |
| * | Rename arm/linux into arm/eabi, more descriptive. | xleroy | 2013-04-20 |
| * | Split arch/int64.s into one file per function. | xleroy | 2013-04-20 |
| * | Configuring the assembler used for the runtime lib | xleroy | 2013-04-20 |
| * | Remove __i64_{neg,add,sub,mul}, now handled directly by the compiler. | xleroy | 2013-04-20 |
xleroy