summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* More resistant proofGravatar xleroy2010-03-28
* Prettier printing of configurationGravatar xleroy2010-03-28
* Updated ARM asm printerGravatar xleroy2010-03-28
* TypoGravatar xleroy2010-03-28
* Emit a few comments to help reading the generated asmGravatar xleroy2010-03-28
* Updating ARM portGravatar xleroy2010-03-28
* Bug in multidimensional read-only arraysGravatar xleroy2010-03-13
* TeX and HTML escapesGravatar xleroy2010-03-12
* Copyright noticeGravatar xleroy2010-03-12
* Restored the big-step semantics for CminorGravatar xleroy2010-03-11
* New HTML documentation generatorGravatar xleroy2010-03-09
* Handling of volatile accesses through builtin functions.Gravatar xleroy2010-03-08
* Handling of builtins, continued.Gravatar xleroy2010-03-07
* Revised treatment of builtinsGravatar xleroy2010-03-07
* Merge of the newmem and newextcalls branches:Gravatar xleroy2010-03-07
* Suppressed -fall-extensions option, too dangerous wrt flonglongGravatar xleroy2010-03-03
* Suppressed Init_pointer, now useless. Improved printing of strings in genera...Gravatar xleroy2010-03-03
* Detect struct assignment. Silence some warningsGravatar xleroy2010-03-03
* Support for 'inline' modifierGravatar xleroy2010-03-03
* Updated raytracer test. Added SPASS test.Gravatar xleroy2010-03-03
* Getting rid of CILGravatar xleroy2010-03-03
* Switching to the new C parser/elaborator/simplifierGravatar xleroy2010-03-03
* ProtoizedGravatar xleroy2010-03-02
* ProtoizedGravatar xleroy2010-03-02
* Function types didn't always degrade to pointers like they should. Introduce...Gravatar xleroy2010-03-02
* Wrong rlwinm generated for 'x mod 1'Gravatar xleroy2010-03-02
* Typo in MakefileGravatar xleroy2010-02-17
* Reorganization test directoryGravatar xleroy2010-02-17
* 3 more benchmarksGravatar xleroy2010-02-17
* Moved test harness C files hereGravatar xleroy2010-02-17
* Existence of behaviorsGravatar xleroy2010-01-31
* Revised handling of #pragma section and small data areasGravatar xleroy2010-01-27
* Updated ARM asm printerGravatar xleroy2010-01-25
* Updated ARM portGravatar xleroy2010-01-25
* Backtracking on commit 1220Gravatar xleroy2010-01-13
* MAJ release 1.6Gravatar xleroy2010-01-12
* MAJ ChangesGravatar xleroy2010-01-12
* ajout branche allocation de registresGravatar blazy2010-01-08
* Test result more reproducibleGravatar xleroy2009-12-16
* MAJ extraction after changes in IntegersGravatar xleroy2009-12-16
* MAJ ChangesGravatar xleroy2009-12-16
* Revised lib/Integers.v to make it parametric w.r.t. word size.Gravatar xleroy2009-11-19
* Added support for jump tables.Gravatar xleroy2009-11-19
* Unsupported: return/return type mismatchesGravatar xleroy2009-11-19
* Cleaned up list_drop.Gravatar xleroy2009-11-18
* More realistic treatment of jump tables: show the absence of overflow when ac...Gravatar xleroy2009-11-10
* Added support for jump tables in back end.Gravatar xleroy2009-11-10
* PowerPC/EABI port: preliminary support for #pragma section andGravatar xleroy2009-11-03
* Use callee-save regs starting with R31/F31 and going down, like Diab doesGravatar xleroy2009-11-02
* Simplified the treatment of the PowerPC small data area; now more specific to...Gravatar xleroy2009-11-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 19:09:46 +0000