summaryrefslogtreecommitdiff
path: root/runtime
Commit message (Expand)AuthorAge
* configure: distinguish between ABI and processor model.Gravatar xleroy2014-07-29
* ARM port: add support for Thumb2. To be tested.Gravatar xleroy2014-07-27
* Adapt to the two different calling conventions for floats.Gravatar xleroy2014-05-02
* stdarg.h: assorted fixes for PowerPCGravatar xleroy2014-01-01
* Fine hair splitting depending on whether va_list is a scalar type (IA32, ARM)...Gravatar xleroy2014-01-01
* Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...Gravatar xleroy2014-01-01
* powerpc: faster implementation of long division modeled on that for IA32Gravatar xleroy2013-07-03
* Merge of the "princeton" branch:Gravatar xleroy2013-06-16
* Fix compilation of runtime system.Gravatar xleroy2013-05-29
* 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
* Typos in commentsGravatar xleroy2013-04-30
* Expand 64-bit integer comparisons into 32-bit integer comparisons.Gravatar xleroy2013-04-29
* Missing GLOBGravatar xleroy2013-04-23
* Make ia32/ code more portable across systems.Gravatar xleroy2013-04-23
* Fixes in PowerPC portGravatar xleroy2013-04-21
* Split arch/int64.s into one file per function.Gravatar xleroy2013-04-20
* Configuring the assembler used for the runtime libGravatar xleroy2013-04-20
* Remove __i64_{neg,add,sub,mul}, now handled directly by the compiler.Gravatar xleroy2013-04-20
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20
* Support for indirect symbols under MacOS X (final).Gravatar xleroy2012-07-14
* Simplified stdlib wrapper; use it only under MacOS XGravatar xleroy2010-09-04
* Merge of the newmem and newextcalls branches:Gravatar xleroy2010-03-07
* Some cleanupsGravatar xleroy2009-01-02
* Removed vfprintf, because it was causing portability problemsGravatar xleroy2008-12-31
* Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...Gravatar xleroy2008-04-19
* Ajout license, README, copyright noticesGravatar xleroy2008-01-27
* Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu MakefilesGravatar xleroy2007-08-06
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".Gravatar xleroy2007-08-04