summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* Suppressed axioms Float.eq_zero_{true,false}, since the latter isGravatar xleroy2010-05-09
* Revised encoding/decoding of floatsGravatar xleroy2010-05-09
* Cleaned up handling of linker sections.Gravatar xleroy2010-05-08
* Improved coalescing heuristics based on Hailperin's paper.Gravatar xleroy2010-05-08
* Cosmetic: comments to mark expansions of some pseudoinstructions.Gravatar xleroy2010-05-08
* UpdateGravatar xleroy2010-05-05
* Strengthen chunktype inference and use it to remove some useless casts.Gravatar xleroy2010-05-05
* More theorems about sign and zero extensionsGravatar xleroy2010-05-05
* Removed an ADMITTED that was unused, fortunatelyGravatar xleroy2010-05-05
* Pretty-printers for RTL and LTL. Not yet well integrated.Gravatar xleroy2010-05-02
* Compute spill costs.Gravatar xleroy2010-05-02
* In compilation of Sassign, avoid systematic move from a fresh temp.Gravatar xleroy2010-05-02
* Add "fabs" (floating-point absolute value) as a unary operator inGravatar xleroy2010-05-02
* Optimisation: addrsymbol + (expr + cst) and addrstack + (expr + cst).Gravatar xleroy2010-05-02
* ARM version of MachregsauxGravatar xleroy2010-05-01
* More struct testsGravatar xleroy2010-04-17
* __builtin_memcpy, continued.Gravatar xleroy2010-04-17
* Support __builtin_memcpy; use it for struct assignmentGravatar xleroy2010-04-17
* Update for 1.7.1Gravatar xleroy2010-04-13
* PowerPC: Gravatar xleroy2010-04-10
* Coloring: allow to exclude user-specified registers from allocation.Gravatar xleroy2010-04-10
* Test bit field of size 32Gravatar xleroy2010-04-09
* Bug fix: infinite loop in cparser/ on bit field of size 32 bits.Gravatar xleroy2010-04-09
* Static initialization of structs with bitfieldsGravatar xleroy2010-04-07
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-23 08:17:16 +0000