summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* Wrong type for __builtin_volatile_*_int32Gravatar xleroy2010-04-02
* In cparser/SimplExpr.ml:Gravatar xleroy2010-04-02
* cparser/AddCasts.ml: forgot to materialize cast at return statement.Gravatar xleroy2010-04-01
* Updates for release 1.7Gravatar xleroy2010-03-30
* Update for 1.7Gravatar xleroy2010-03-30
* Determine endianness at run-timeGravatar xleroy2010-03-30
* Options -I -D -U with a spaceGravatar xleroy2010-03-30
* Updated Linux conventionsGravatar xleroy2010-03-30
* Cleaner generation of .dependGravatar xleroy2010-03-30
* Include targets of preference edges in all_interf_regs. Not needed for corre...Gravatar xleroy2010-03-30
* Pretty stringsGravatar xleroy2010-03-29
* Extra volatile testGravatar xleroy2010-03-28
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-15 19:41:04 +0000