summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* version to 4.00.1.Ajo400Luc Maranget2012-12-312-2/+3
* incorrect asmrun/.depend was commitedLuc Maranget2012-12-311-21/+0
* Very last commit before tagging 4.00.1Luc Maranget2012-10-111-1/+1
* Last commit before tagging 4.00.1Luc Maranget2012-10-11281-2392/+2492
* Last commit before copying to release 4.00.0Luc Maranget2012-08-293-2/+6
* TypoLuc Maranget2012-08-291-1/+1
* - Complete tools as much as possibleLuc Maranget2012-08-2917-50/+230
* Move join-automata compilation files into bytecompLuc Maranget2012-08-2810-96/+89
* Restored join-compilation with simplified typedtreeLuc Maranget2012-08-2814-339/+400
* Suppressed unused (join) location definition in ASTLuc Maranget2012-08-2715-56/+17
* Passes tests at last (silly bug in extern.c)Luc Maranget2012-08-2410-36/+81
* Merge ocmal 4.00 r12217 -> r12778Luc Maranget2012-08-23346-5670/+15988
* Create branch jo400Luc Maranget2012-08-2270-0/+0
* ocaml/trunk merged 12212 -> 12217Luc Maranget2012-08-106-51/+57
* delete useless librairiesLuc Maranget2012-08-10284-28343/+0
* ocaml/trunk merged 11009 -> 12212Luc Maranget2012-08-101469-24686/+34188
* Merge jo312 11009 -> 11115 [last commit in jo312]Luc Maranget2012-08-09228-1141/+2422
* Merge ocamltrunk -> 11009 Luc Maranget2011-04-13187-3280/+5201
* Re-introduced close_on_exec in JoinProcLuc Maranget2010-06-293-10/+35
* Typer bug: force unification of join-pattern arguments beforeLuc Maranget2010-06-292-13/+30
* +Luc Maranget2010-06-213-59/+129
* More library workLuc Maranget2010-06-186-65/+148
* +Luc Maranget2010-06-182-1/+9
* more modudules in join libraryLuc Maranget2010-06-1715-212/+456
* +Luc Maranget2010-06-161-2/+1
* +Luc Maranget2010-06-162-2/+11
* +Luc Maranget2010-06-114-57/+88
* +Luc Maranget2010-06-086-71/+88
* _Luc Maranget2010-06-071-2/+2
* merge 3.12 finalLuc Maranget2010-06-041-0/+22
* =Luc Maranget2010-06-042-22/+1
* -Luc Maranget2010-06-041-1/+0
* committed build minus two filesLuc Maranget2010-06-0419-74/+379
* =Luc Maranget2010-06-042-23/+0
* +Luc Maranget2010-06-040-0/+0
* merge 3.12Luc Maranget2010-06-0411-523/+835
* merge 3.12Luc Maranget2010-06-0417-1071/+427
* merge 3.12Luc Maranget2010-06-0412-149/+702
* merge 3.12Luc Maranget2010-06-048-120/+132
* merge 3.12Luc Maranget2010-06-0460-651/+1688
* merge 3.12Luc Maranget2010-06-0412-65/+243
* merge 3.12Luc Maranget2010-06-04272-48453/+408
* merge 3.12Luc Maranget2010-06-04593-0/+89775
* merge 3.12Luc Maranget2010-06-049-138/+119
* merge 3.12Luc Maranget2010-06-0421-375/+488
* merge 3.12Luc Maranget2010-06-0411-148/+318
* merge 3.12Luc Maranget2010-06-048-9/+61
* merge 3.12Luc Maranget2010-06-043-0/+0
* merge 3.12Luc Maranget2010-06-0433-831/+1486
* merge 3.12Luc Maranget2010-06-04342-8122/+5587