summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* 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
* Preliminary support for small data area in PowerPC port.Gravatar xleroy2009-11-01
* Support Clight initializers of the form "int * x = &y;".Gravatar xleroy2009-11-01
* Storing of single floats: must insert frsp instruction before store. (Tempor...Gravatar xleroy2009-10-30
* Problem with MacOS X 10.6Gravatar xleroy2009-10-25
* Problem with const enum initializersGravatar xleroy2009-09-15
* Updated for 1.5Gravatar xleroy2009-09-15
* Last updates for release 1.5.Gravatar xleroy2009-08-28
* Updated for release 1.5Gravatar xleroy2009-08-27
* Remove "-ccopt -g" options: not really useful and causing problems with flexd...Gravatar xleroy2009-08-27
* Coloringaux: make identifiers unique; special treatment of precolored Gravatar xleroy2009-08-26
* Typo in docGravatar xleroy2009-08-26
* Stronger constant folding, esp. w.r.t. floatsGravatar xleroy2009-08-21
* In generated Cminor functions, make sure local variables includeGravatar xleroy2009-08-20
* Build bytecode version with debug symbols.Gravatar xleroy2009-08-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 02:45:43 +0000