summaryrefslogtreecommitdiff
path: root/runtime/Makefile
Commit message (Expand)AuthorAge
* configure: distinguish between ABI and processor model.Gravatar xleroy2014-07-29
* Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...Gravatar xleroy2014-01-01
* Merge of the "princeton" branch:Gravatar xleroy2013-06-16
* Fix compilation of runtime system.Gravatar xleroy2013-05-29
* Support for in64 -> float conversions w/ correct rounding.Gravatar xleroy2013-05-06
* Expand 64-bit integer comparisons into 32-bit integer comparisons.Gravatar xleroy2013-04-29
* Make ia32/ code more portable across systems.Gravatar xleroy2013-04-23
* Split arch/int64.s into one file per function.Gravatar xleroy2013-04-20
* Configuring the assembler used for the runtime libGravatar 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
* Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...Gravatar xleroy2008-04-19
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 08:37:55 +0000