summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Merge of Flocq version 2.2.0.Gravatar xleroy2013-08-02
* Alternate characterization of alignment constraints in memory injection, whic...Gravatar xleroy2013-07-31
* Update cchecklink w/ new Asm instructions Pmulh*Gravatar xleroy2013-07-29
* Optimize integer divisions by positive constants, turning them intoGravatar xleroy2013-07-29
* Add another expansion of shrx in terms of shifts and adds (from Hacker's Deli...Gravatar xleroy2013-07-28
* More properties about subtraction and borrow.Gravatar xleroy2013-07-15
* More accurate model of condition register flags for ARM and IA32.Gravatar xleroy2013-07-13
* Revised handling of int->float conversions:Gravatar xleroy2013-07-08
* Add option -no-runtime-lib.Gravatar xleroy2013-07-08
* Compile in debug mode and activate stack backtraces.Gravatar xleroy2013-07-07
* Bad printing of alignment on 'comm' symbols.Gravatar xleroy2013-07-07
* Treat casts int64 -> float32 as primitive operations instead of twoGravatar xleroy2013-07-03
* Follow-up to commit 2288: add test for special case of long division.Gravatar xleroy2013-07-03
* powerpc: faster implementation of long division modeled on that for IA32Gravatar xleroy2013-07-03
* Version 2.00 -> version 2.0Gravatar xleroy2013-06-21
* Recognize attribute((packed)) after a "struct {...}" and not just between "st...Gravatar xleroy2013-06-21
* Missing case for EF_inline_asm.Gravatar xleroy2013-06-20
* Updates in preparation for release 2.00Gravatar xleroy2013-06-19
* One more copyright header update.Gravatar xleroy2013-06-17
* Updating LICENSE and license headers, continued.Gravatar xleroy2013-06-17
* Update LICENSE file and headers for dual-licensed files.Gravatar xleroy2013-06-17
* Typo in commentGravatar xleroy2013-06-17
* Update version numberGravatar xleroy2013-06-16
* Updated for release 2.00Gravatar xleroy2013-06-16
* Merge of the "princeton" branch:Gravatar xleroy2013-06-16
* More precise and faster recovery of function name from function or fundef value.Gravatar xleroy2013-06-08
* Fix compilation of runtime system.Gravatar xleroy2013-05-29
* Hunting stack overflows again:Gravatar xleroy2013-05-27
* powerpc: tentative support for Diab debug infoGravatar xleroy2013-05-20
* Merge of the float32 branch: Gravatar xleroy2013-05-19
* Prettier outputGravatar xleroy2013-05-19
* Issue with simplification of nested ?: expressions of different types.Gravatar xleroy2013-05-19
* Add option -fno-tailcalls to turn off tailcall elimination (causes problem wi...Gravatar xleroy2013-05-17
* Update PowerPC portGravatar xleroy2013-05-17
* Update ARM port.Gravatar xleroy2013-05-17
* Preliminary support for debugging info (-g).Gravatar xleroy2013-05-17
* "->" can be applied to an array, not just a pointer.Gravatar xleroy2013-05-16
* MacOS: try to add link option -Wl,-no-pie when needed e.g. 10.8 and up.Gravatar xleroy2013-05-13
* Support __attribute__(ident) where ident is not bound. Useful for GCC compat...Gravatar xleroy2013-05-13
* Missing case: initialization of a global variable of type _Bool.Gravatar xleroy2013-05-08
* Add interferences at function entry with destroyed_at_function_entry.Gravatar xleroy2013-05-08
* Revised semantics and compilation of 2-argument C operators to better match Gravatar xleroy2013-05-06
* Refactoring: move definition of chunk_of_type to AST.v.Gravatar xleroy2013-05-06
* Syntax errorsGravatar xleroy2013-05-06
* Wrong pseudo-instrGravatar xleroy2013-05-06
* Support for in64 -> float conversions w/ correct rounding.Gravatar xleroy2013-05-06
* ia32/i64_dtou: wrong play on rounding modeGravatar xleroy2013-05-05
* Extend CSE of loads following stores to chunks Mint64 and Mfloat64al32.Gravatar xleroy2013-05-02
* Stack-align to 8 arguments of Tfloat and Tlong types, as per the SVR4 ABI and...Gravatar xleroy2013-05-02
* Clean up 'make clean'Gravatar xleroy2013-05-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 18:56:27 +0000