Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Last commit before tagging 4.00.1 | Luc Maranget | 2012-10-11 | 1 | -8/+10 |
* | - Complete tools as much as possible | Luc Maranget | 2012-08-29 | 1 | -2/+2 |
* | Move join-automata compilation files into bytecomp | Luc Maranget | 2012-08-28 | 1 | -0/+3 |
* | Restored join-compilation with simplified typedtree | Luc Maranget | 2012-08-28 | 1 | -72/+110 |
* | Suppressed unused (join) location definition in AST | Luc Maranget | 2012-08-27 | 1 | -4/+0 |
* | Merge ocmal 4.00 r12217 -> r12778 | Luc Maranget | 2012-08-23 | 1 | -65/+67 |
* | ocaml/trunk merged 11009 -> 12212 | Luc Maranget | 2012-08-10 | 1 | -16/+34 |
* | Merge jo312 11009 -> 11115 [last commit in jo312] | Luc Maranget | 2012-08-09 | 1 | -10/+10 |
* | merge 3.12 | Luc Maranget | 2010-06-04 | 1 | -5/+7 |
* | tried to add locations to Lapply | Luc Maranget | 2008-10-14 | 1 | -9/+11 |
* | premier commit 311 | Luc Maranget | 2008-10-14 | 1 | -35/+124 |
* | + | Luc Maranget | 2008-04-07 | 1 | -1/+1 |
* | merge 310beta | Luc Maranget | 2007-03-23 | 1 | -21/+24 |
* | 309 | Luc Maranget | 2005-10-27 | 1 | -74/+71 |
* | first attempt to propagate JoinExit | Luc Maranget | 2005-10-13 | 1 | -20/+45 |
* | forwaders complete, pass local tests | Luc Maranget | 2005-10-11 | 1 | -133/+147 |
* | nice stubs | Luc Maranget | 2005-10-10 | 1 | -2/+8 |
* | flush_space | Luc Maranget | 2005-10-05 | 1 | -4/+5 |
* | end of exceptions (match) + for loop in processes | Luc Maranget | 2005-10-04 | 1 | -22/+41 |
* | transmit exceptions to replies, non-exhustive match pending | Luc Maranget | 2005-10-03 | 1 | -41/+30 |
* | proc type is now a constructor in Types | Luc Maranget | 2005-09-30 | 1 | -6/+22 |
* | bonsoir | Luc Maranget | 2005-09-16 | 1 | -15/+17 |
* | added automata as JoCustom | Luc Maranget | 2005-09-15 | 1 | -1/+1 |
* | parsing of << reply to name >> | Luc Maranget | 2005-05-27 | 1 | -20/+0 |
* | really fix the toplevel + remove all dyntypes thingies | Pierre Habouzit | 2005-05-16 | 1 | -17/+0 |
* | merge with ocaml 3.08.3 | Pierre Habouzit | 2005-05-04 | 1 | -22/+42 |
* | mandatory threading | Luc Maranget | 2004-07-20 | 1 | -0/+13 |
* | synchrnous dispatechers | Luc Maranget | 2004-07-09 | 1 | -12/+22 |
* | runtime a little bit more robust | Luc Maranget | 2004-07-08 | 1 | -1/+0 |
* | debug code inside, sync dispatachers not working | Luc Maranget | 2004-07-05 | 1 | -42/+90 |
* | temporarily insert a trivial join pattern compiler | Luc Maranget | 2004-07-02 | 1 | -7/+7 |
* | parametrize joinautomaton by clause | Luc Maranget | 2004-07-02 | 1 | -0/+18 |
* | sorry qin, you started from an old version | Luc Maranget | 2004-06-30 | 1 | -53/+74 |
* | some changes | Luc Maranget | 2004-06-30 | 1 | -0/+3 |
* | simplifie join.ml et debut de tail-sends | Luc Maranget | 2004-06-04 | 1 | -32/+47 |
* | optimisation of alone channels and caml_name_space in vmtherads | Luc Maranget | 2004-06-03 | 1 | -14/+27 |
* | synchrones | Luc Maranget | 2004-06-01 | 1 | -4/+10 |
* | + | Luc Maranget | 2004-05-28 | 1 | -16/+6 |
* | bonsoir transjoin pas fini | Luc Maranget | 2004-05-27 | 1 | -1/+1 |
* | jocaml merged with ocaml: before-merge-luc | Luc Maranget | 2004-05-27 | 1 | -64/+167 |
* | Fixed typing of dynamically typed modules. | Gilles Peskine | 2002-02-12 | 1 | -0/+4 |
* | Dynamic/coerce run-time typechecking now handles types that do not | Gilles Peskine | 2002-01-04 | 1 | -2/+2 |
* | Generate code for dynamic and coerce. This code depends on a new | Gilles Peskine | 2002-01-03 | 1 | -0/+13 |
* | optimisations des threads principaux, hum | Luc Maranget | 2001-11-14 | 1 | -45/+59 |
* | better functions for processes in translcore | Luc Maranget | 2001-11-07 | 1 | -94/+203 |
* | joinargs as patterns | Luc Maranget | 2001-11-05 | 1 | -26/+30 |
* | bonsoir | Luc Maranget | 2001-11-02 | 1 | -37/+135 |
* | optimsation pm a donf | Luc Maranget | 2001-02-19 | 1 | -4/+6 |
* | Ajout de l'instruction RERAISE | Xavier Leroy | 2001-02-19 | 1 | -2/+8 |
* | Getting rid of obsolete boolean operators & and or | Pierre Weis | 2000-12-28 | 1 | -1/+1 |