summaryrefslogtreecommitdiff
path: root/bytecomp/translcore.ml
Commit message (Expand)AuthorAgeFilesLines
* Last commit before tagging 4.00.1Luc Maranget2012-10-111-8/+10
* - Complete tools as much as possibleLuc Maranget2012-08-291-2/+2
* Move join-automata compilation files into bytecompLuc Maranget2012-08-281-0/+3
* Restored join-compilation with simplified typedtreeLuc Maranget2012-08-281-72/+110
* Suppressed unused (join) location definition in ASTLuc Maranget2012-08-271-4/+0
* Merge ocmal 4.00 r12217 -> r12778Luc Maranget2012-08-231-65/+67
* ocaml/trunk merged 11009 -> 12212Luc Maranget2012-08-101-16/+34
* Merge jo312 11009 -> 11115 [last commit in jo312]Luc Maranget2012-08-091-10/+10
* merge 3.12Luc Maranget2010-06-041-5/+7
* tried to add locations to LapplyLuc Maranget2008-10-141-9/+11
* premier commit 311Luc Maranget2008-10-141-35/+124
* +Luc Maranget2008-04-071-1/+1
* merge 310betaLuc Maranget2007-03-231-21/+24
* 309Luc Maranget2005-10-271-74/+71
* first attempt to propagate JoinExitLuc Maranget2005-10-131-20/+45
* forwaders complete, pass local testsLuc Maranget2005-10-111-133/+147
* nice stubsLuc Maranget2005-10-101-2/+8
* flush_spaceLuc Maranget2005-10-051-4/+5
* end of exceptions (match) + for loop in processesLuc Maranget2005-10-041-22/+41
* transmit exceptions to replies, non-exhustive match pendingLuc Maranget2005-10-031-41/+30
* proc type is now a constructor in TypesLuc Maranget2005-09-301-6/+22
* bonsoirLuc Maranget2005-09-161-15/+17
* added automata as JoCustomLuc Maranget2005-09-151-1/+1
* parsing of << reply to name >>Luc Maranget2005-05-271-20/+0
* really fix the toplevel + remove all dyntypes thingiesPierre Habouzit2005-05-161-17/+0
* merge with ocaml 3.08.3Pierre Habouzit2005-05-041-22/+42
* mandatory threadingLuc Maranget2004-07-201-0/+13
* synchrnous dispatechersLuc Maranget2004-07-091-12/+22
* runtime a little bit more robustLuc Maranget2004-07-081-1/+0
* debug code inside, sync dispatachers not workingLuc Maranget2004-07-051-42/+90
* temporarily insert a trivial join pattern compilerLuc Maranget2004-07-021-7/+7
* parametrize joinautomaton by clauseLuc Maranget2004-07-021-0/+18
* sorry qin, you started from an old versionLuc Maranget2004-06-301-53/+74
* some changesLuc Maranget2004-06-301-0/+3
* simplifie join.ml et debut de tail-sendsLuc Maranget2004-06-041-32/+47
* optimisation of alone channels and caml_name_space in vmtheradsLuc Maranget2004-06-031-14/+27
* synchronesLuc Maranget2004-06-011-4/+10
* +Luc Maranget2004-05-281-16/+6
* bonsoir transjoin pas finiLuc Maranget2004-05-271-1/+1
* jocaml merged with ocaml: before-merge-lucLuc Maranget2004-05-271-64/+167
* Fixed typing of dynamically typed modules.Gilles Peskine2002-02-121-0/+4
* Dynamic/coerce run-time typechecking now handles types that do notGilles Peskine2002-01-041-2/+2
* Generate code for dynamic and coerce. This code depends on a newGilles Peskine2002-01-031-0/+13
* optimisations des threads principaux, humLuc Maranget2001-11-141-45/+59
* better functions for processes in translcoreLuc Maranget2001-11-071-94/+203
* joinargs as patternsLuc Maranget2001-11-051-26/+30
* bonsoirLuc Maranget2001-11-021-37/+135
* optimsation pm a donfLuc Maranget2001-02-191-4/+6
* Ajout de l'instruction RERAISEXavier Leroy2001-02-191-2/+8
* Getting rid of obsolete boolean operators & and orPierre Weis2000-12-281-1/+1