summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* debian/changelog: Tag 2.4-1 for unstable releaseHEADmasterBenjamin Barenblat2015-02-05
* Don’t reference a nonexistent upstream LICENSE fileBenjamin Barenblat2015-02-05
* Add Vcs-Browser and Vcs-Git URLsBenjamin Barenblat2015-02-05
* Add man pageBenjamin Barenblat2015-02-05
* Install CompCert READMEBenjamin Barenblat2015-02-05
* debian/rules: Better documentationBenjamin Barenblat2015-02-05
* Install manuallyBenjamin Barenblat2015-02-05
* Pass target to configureBenjamin Barenblat2015-02-05
* Fix minor error in Debian copyright fileBenjamin Barenblat2015-02-05
* Fake a Makefile.config so initial ‘make clean’ worksBenjamin Barenblat2015-02-05
* Begin packaging CompCertBenjamin Barenblat2015-02-05
* Merge tag 'upstream/2.4'Benjamin Barenblat2015-02-05
|\
| * Imported Upstream version 2.4upstream/2.4upstreamBenjamin Barenblat2015-02-05
|/
* Trim blank linesxleroy2014-09-17
* Update changelog and version for 2.4xleroy2014-09-17
* Tolerance in parsing of 'section' pragmaxleroy2014-09-17
* Cold feet: suppress builtins for load with reservation/store conditional, use...xleroy2014-08-28
* Updatexleroy2014-08-28
* Update for 2.4xleroy2014-08-27
* Rename __builtin_cntlz to __builtin_clz.xleroy2014-08-27
* More efficient implementations of map, fold, etc.xleroy2014-08-27
* More careful detection of inlined builtins. Produces better error messages i...xleroy2014-08-25
* Use VFD regs to implement 64-bit mem-mem copies in builtin_memcpy_false.xleroy2014-08-21
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-21
* Follow-up to commit 2613xleroy2014-08-20
* Add builtins for load with reservation and conditional store.xleroy2014-08-20
* Wrong types for strex builtins.xleroy2014-08-20
* Better validation of target for ARMxleroy2014-08-20
* Obvious typos in commit r2609xleroy2014-08-20
* Add some more synchronization builtinsxleroy2014-08-20
* Improve error reporting for unsupported compound literals.xleroy2014-08-20
* Excessively strict validation: ofs + sz < modulus should have beenxleroy2014-08-20
* Rename "-fthumb" option into "-mthumb" for GCC compatibility.xleroy2014-08-19
* checklink/Check.ml: missing SDA addressing for store instructions.xleroy2014-08-19
* Update dependenciesxleroy2014-08-19
* powerpc/Asm: simplify the modeling of Csymbol_low and Csymbol_high.xleroy2014-08-18
* Improve error detection and error messages for enums.xleroy2014-08-17
* Issue with switch labels that are negative 32-bit integers.xleroy2014-08-17
* Add some tests for "switch" over 32 and 64-bit integers.xleroy2014-08-17
* - Support "switch" statements over 64-bit integersxleroy2014-08-17
* Nicer reporting of I/O errors (e.g. "No such file").xleroy2014-08-13
* Spurious error on a local static function declarationxleroy2014-08-13
* Update commentxleroy2014-08-13
* Add Mem.free_parallel_inject and use it to simplify Events a bit.xleroy2014-07-31
* configure: distinguish between ABI and processor model.xleroy2014-07-29
* All targets: add __builtin_membarxleroy2014-07-28
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-28
* Updated Changelogxleroy2014-07-28
* The NaN behavior of float_of_single differs on PowerPC and on IA32/ARM.xleroy2014-07-28
* ARM port: add support for Thumb2. To be tested.xleroy2014-07-27