summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Imported Upstream version 2.4upstream/2.4upstreamGravatar Benjamin Barenblat2015-02-05
* Trim blank linesGravatar xleroy2014-09-17
* Update changelog and version for 2.4Gravatar xleroy2014-09-17
* Tolerance in parsing of 'section' pragmaGravatar xleroy2014-09-17
* Cold feet: suppress builtins for load with reservation/store conditional, use...Gravatar xleroy2014-08-28
* UpdateGravatar xleroy2014-08-28
* Update for 2.4Gravatar xleroy2014-08-27
* Rename __builtin_cntlz to __builtin_clz.Gravatar xleroy2014-08-27
* More efficient implementations of map, fold, etc.Gravatar xleroy2014-08-27
* More careful detection of inlined builtins. Produces better error messages i...Gravatar xleroy2014-08-25
* Use VFD regs to implement 64-bit mem-mem copies in builtin_memcpy_false.Gravatar xleroy2014-08-21
* Support C99 compound literals (by expansion in Unblock pass).Gravatar xleroy2014-08-21
* Follow-up to commit 2613Gravatar xleroy2014-08-20
* Add builtins for load with reservation and conditional store.Gravatar xleroy2014-08-20
* Wrong types for strex builtins.Gravatar xleroy2014-08-20
* Better validation of target for ARMGravatar xleroy2014-08-20
* Obvious typos in commit r2609Gravatar xleroy2014-08-20
* Add some more synchronization builtinsGravatar xleroy2014-08-20
* Improve error reporting for unsupported compound literals.Gravatar xleroy2014-08-20
* Excessively strict validation: ofs + sz < modulus should have beenGravatar xleroy2014-08-20
* Rename "-fthumb" option into "-mthumb" for GCC compatibility.Gravatar xleroy2014-08-19
* checklink/Check.ml: missing SDA addressing for store instructions.Gravatar xleroy2014-08-19
* Update dependenciesGravatar xleroy2014-08-19
* powerpc/Asm: simplify the modeling of Csymbol_low and Csymbol_high.Gravatar xleroy2014-08-18
* Improve error detection and error messages for enums.Gravatar xleroy2014-08-17
* Issue with switch labels that are negative 32-bit integers.Gravatar xleroy2014-08-17
* Add some tests for "switch" over 32 and 64-bit integers.Gravatar xleroy2014-08-17
* - Support "switch" statements over 64-bit integersGravatar xleroy2014-08-17
* Nicer reporting of I/O errors (e.g. "No such file").Gravatar xleroy2014-08-13
* Spurious error on a local static function declarationGravatar xleroy2014-08-13
* Update commentGravatar xleroy2014-08-13
* Add Mem.free_parallel_inject and use it to simplify Events a bit.Gravatar xleroy2014-07-31
* configure: distinguish between ABI and processor model.Gravatar xleroy2014-07-29
* All targets: add __builtin_membarGravatar xleroy2014-07-28
* PowerPC port: refactored the expansion of built-in functions andGravatar xleroy2014-07-28
* Updated ChangelogGravatar xleroy2014-07-28
* The NaN behavior of float_of_single differs on PowerPC and on IA32/ARM.Gravatar xleroy2014-07-28
* ARM port: add support for Thumb2. To be tested.Gravatar xleroy2014-07-27
* Update for single-precision floats. Calls to vararg functions remainGravatar xleroy2014-07-24
* Add _a memory accesses.Gravatar xleroy2014-07-23
* Update with _a memory accessesGravatar xleroy2014-07-23
* Simplify COQINCLUDESGravatar xleroy2014-07-23
* Merge the various $(ARCH)/$(VARIANT)/xxx.v files into $(ARCH)/xxx.v.Gravatar xleroy2014-07-23
* Redundant -I in CAMLINCLUDESGravatar xleroy2014-07-23
* Update "read_as_zeros" property.Gravatar xleroy2014-07-23
* Merge of "newspilling" branch:Gravatar xleroy2014-07-23
* Tweaks to support defunctorization.Gravatar xleroy2014-07-23
* Make Alphabet.v compatible with an environnment where Containers is installedGravatar jjourdan2014-07-04
* Add Proof keyword so that documentation generation worksGravatar jjourdan2014-07-04
* Add "read_as_zero" property for memory areas initialized by Init_space.Gravatar xleroy2014-06-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-24 11:22:08 +0000