summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-05 15:28:11 +0000