summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* Floats.v, Nan.v: hard-wire the general shape of binop_pl, so that no axioms Gravatar xleroy2013-09-14
* Change the way arguments to __builtin_annot are converted. Use the same conv...Gravatar xleroy2013-09-14
* Oops, wrong commit of generated files.Gravatar xleroy2013-08-24
* Forgot to add these two files.Gravatar xleroy2013-08-24
* Simplify LPMap by smashing bottoms.Gravatar xleroy2013-08-12
* Change interface of Kildall solvers to avoid precomputing the map pc -> list ...Gravatar xleroy2013-08-12
* Add test for NaNsGravatar xleroy2013-08-02
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 21:11:20 +0000