aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge of the newmem and newextcalls branches:xleroy2010-03-0776-6210/+10378
* Suppressed -fall-extensions option, too dangerous wrt flonglongxleroy2010-03-033-12/+4
* Suppressed Init_pointer, now useless. Improved printing of strings in genera...xleroy2010-03-036-47/+25
* Detect struct assignment. Silence some warningsxleroy2010-03-031-3/+7
* Support for 'inline' modifierxleroy2010-03-034-20/+26
* Updated raytracer test. Added SPASS test.xleroy2010-03-03129-159/+83911
* Getting rid of CILxleroy2010-03-03280-83521/+0
* Switching to the new C parser/elaborator/simplifierxleroy2010-03-0390-105/+11165
* Protoizedxleroy2010-03-021-1/+1
* Protoizedxleroy2010-03-021-2/+2
* Function types didn't always degrade to pointers like they should. Introduce...xleroy2010-03-024-23/+26
* Wrong rlwinm generated for 'x mod 1'xleroy2010-03-022-111/+110
* Typo in Makefilexleroy2010-02-171-2/+2
* Reorganization test directoryxleroy2010-02-17235-15573/+50
* 3 more benchmarksxleroy2010-02-177-1/+863
* Moved test harness C files herexleroy2010-02-1714-1/+1649
* Existence of behaviorsxleroy2010-01-312-15/+176
* Revised handling of #pragma section and small data areasxleroy2010-01-275-153/+239
* Updated ARM asm printerxleroy2010-01-251-5/+10
* Updated ARM portxleroy2010-01-253-6/+7
* Backtracking on commit 1220v1.6xleroy2010-01-1345-23334/+27
* MAJ release 1.6xleroy2010-01-121-8/+5
* MAJ Changesxleroy2010-01-121-1/+1
* ajout branche allocation de registresblazy2010-01-0841-14/+23329
* Test result more reproduciblexleroy2009-12-162-2/+2
* MAJ extraction after changes in Integersxleroy2009-12-162-3/+4
* MAJ Changesxleroy2009-12-162-2/+14
* Revised lib/Integers.v to make it parametric w.r.t. word size.xleroy2009-11-1920-552/+652
* Added support for jump tables.xleroy2009-11-194-1/+87
* Unsupported: return/return type mismatchesxleroy2009-11-191-2/+17
* Cleaned up list_drop.xleroy2009-11-182-42/+37
* More realistic treatment of jump tables: show the absence of overflow when ac...xleroy2009-11-1012-25/+78
* Added support for jump tables in back end.xleroy2009-11-1049-145/+767
* PowerPC/EABI port: preliminary support for #pragma section andxleroy2009-11-0313-151/+337
* Use callee-save regs starting with R31/F31 and going down, like Diab doesxleroy2009-11-021-14/+14
* Simplified the treatment of the PowerPC small data area; now more specific to...xleroy2009-11-029-195/+151
* Preliminary support for small data area in PowerPC port.xleroy2009-11-019-96/+201
* Support Clight initializers of the form "int * x = &y;".xleroy2009-11-018-7/+49
* Storing of single floats: must insert frsp instruction before store. (Tempor...xleroy2009-10-304-16/+35
* Problem with MacOS X 10.6xleroy2009-10-251-1/+1
* Problem with const enum initializersxleroy2009-09-153-0/+6
* Updated for 1.5xleroy2009-09-151-0/+3
* Last updates for release 1.5.v1.5xleroy2009-08-283-20/+28
* Updated for release 1.5xleroy2009-08-272-2/+33
* Remove "-ccopt -g" options: not really useful and causing problems with flexd...xleroy2009-08-271-2/+2
* Coloringaux: make identifiers unique; special treatment of precolored xleroy2009-08-265-126/+266
* Typo in docxleroy2009-08-261-1/+1
* Stronger constant folding, esp. w.r.t. floatsxleroy2009-08-213-40/+165
* In generated Cminor functions, make sure local variables includexleroy2009-08-202-23/+100
* Build bytecode version with debug symbols.xleroy2009-08-201-2/+2
generated by cgit (git 2.34.1) at 2024-06-30 13:54:22 +0000