aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Updates for release 1.7v1.7xleroy2010-03-302-9/+64
* Update for 1.7xleroy2010-03-302-2/+8
* Determine endianness at run-timexleroy2010-03-301-21/+23
* Options -I -D -U with a spacexleroy2010-03-301-0/+3
* Updated Linux conventionsxleroy2010-03-301-3/+6
* Cleaner generation of .dependxleroy2010-03-302-69/+65
* Include targets of preference edges in all_interf_regs. Not needed for corre...xleroy2010-03-301-6/+8
* Pretty stringsxleroy2010-03-291-3/+8
* Extra volatile testxleroy2010-03-283-1/+45
* More resistant proofxleroy2010-03-281-1/+0
* Prettier printing of configurationxleroy2010-03-281-1/+2
* Updated ARM asm printerxleroy2010-03-281-4/+67
* Typoxleroy2010-03-281-1/+0
* Emit a few comments to help reading the generated asmxleroy2010-03-281-10/+16
* Updating ARM portxleroy2010-03-284-61/+41
* Bug in multidimensional read-only arraysxleroy2010-03-132-7/+10
* TeX and HTML escapesxleroy2010-03-121-0/+4
* Copyright noticexleroy2010-03-121-0/+18
* Restored the big-step semantics for Cminorxleroy2010-03-111-125/+125
* New HTML documentation generatorxleroy2010-03-095-50/+570
* Handling of volatile accesses through builtin functions.xleroy2010-03-089-60/+412
* Handling of builtins, continued.xleroy2010-03-077-51/+57
* Revised treatment of builtinsxleroy2010-03-0710-244/+300
* 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