| Commit message (Expand) | Author | Age |
|---|
| * | Fixed some typos. |  xleroy | 2011-04-17 |
| * | Use memcpy_word only if alignment AND size are multiples of word size. | xleroy | 2011-04-17 |
| * | Fixed some typos | xleroy | 2011-04-16 |
| * | cparser/Elab: __attribute, not attribute | xleroy | 2011-04-16 |
| * | Preliminary support for 'aligned' and 'section' attributes, gcc-style. New-s... | xleroy | 2011-04-16 |
| * | Revised handling of GCC attributes. Preliminary, untested support for __alig... | xleroy | 2011-04-14 |
| * | Renamed Machconcr into Machsem. | xleroy | 2011-04-09 |
| * | Merge of branch "unsigned-offsets": | xleroy | 2011-04-09 |
| * | Revised handling of sizeof(string-literal) | xleroy | 2011-03-15 |
| * | Special case for while(1), for(..., 1, ...) and do ... while(0) loops. | xleroy | 2011-03-15 |
| * | Update for 1.8.1 | xleroy | 2011-03-14 |
| * | Update for 1.8.1 release | xleroy | 2011-03-14 |
| * | Incompatibility 8.3 / 8.3pl1 | xleroy | 2011-03-14 |
| * | Comment char for Diab | xleroy | 2011-03-13 |
| * | Slightly nicer semantics for initialization | xleroy | 2011-03-13 |
| * | More global initialization work done and proved in Coq. | xleroy | 2011-03-13 |
| * | Initializers for global variables: compile-time evaluation of expressions don... | xleroy | 2011-03-12 |
| * | Undesirable optimization of 'print' | xleroy | 2011-03-10 |
| * | Bitfields: MSB-to-LSB in addition to LSB-to-MSB | xleroy | 2011-03-10 |
| * | Revised signed/unsigned char handling. | xleroy | 2011-03-10 |
| * | Improved test harness | xleroy | 2011-03-10 |
| * | Updated for Coq 8.3pl1. Some cleanups in test/*/Makefile. | xleroy | 2011-03-09 |
| * | Treat "char" as unsigned OR signed depending on the configuration. | xleroy | 2011-03-09 |
| * | Use movapd instead of movsd for xmm reg-reg move: it avoids partial register ... | xleroy | 2010-11-28 |
| * | In StructAssign: be careful not to duplicate accesses to a volatile variable. | xleroy | 2010-11-10 |
| * | float->int conversions, continued: weaker axiomatization. | xleroy | 2010-10-29 |
| * | Float.intoffloat and Float.intuoffloat are now partial functions. | xleroy | 2010-10-28 |
| * | Various algorithmic improvements that reduce compile times (thanks Alexandre ... | xleroy | 2010-10-27 |
| * | License for Floataux.ml | xleroy | 2010-10-27 |
| * | Inconsistent treatment of "lone" zero-width bit fields | xleroy | 2010-09-24 |
| * | Bizarre use of struct value | xleroy | 2010-09-21 |
| * | Update for release 1.8 | xleroy | 2010-09-21 |
| * | Typo in doc comment | xleroy | 2010-09-21 |
| * | Memory.v: added drop_perm operation | xleroy | 2010-09-21 |
| * | No crash if nonexistent input file. | xleroy | 2010-09-14 |
| * | Comments | xleroy | 2010-09-10 |
| * | Improvements for int8 and int16 stores | xleroy | 2010-09-10 |
| * | Updates for IA32-Cygwin. | xleroy | 2010-09-08 |
| * | Updated | xleroy | 2010-09-04 |
| * | ++ on volatile not supported. | xleroy | 2010-09-04 |
| * | Update: adding __builtin_annotation | xleroy | 2010-09-04 |
| * | Simplified stdlib wrapper; use it only under MacOS X | xleroy | 2010-09-04 |
| * | Support for __builtin_fmax and __builtin_fmin | xleroy | 2010-09-04 |
| * | Better emulation of long long as a struct. | xleroy | 2010-09-04 |
| * | Merge of the reuse-temps branch: | xleroy | 2010-09-02 |
| * | Semantics of annotations | xleroy | 2010-09-02 |
| * | Adding __builtin_annotation | xleroy | 2010-09-01 |
| * | Bugs with 1- empty bitfields, 2- anonymous bitfields, 3- result type of readi... | xleroy | 2010-09-01 |
| * | Integers: cleaned up bitwise operations, redefined shr, zero_ext and sign_ext | xleroy | 2010-08-21 |
| * | Nettoyages pour doc | xleroy | 2010-08-18 |
xleroy