| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Improved bin-annot, passes all the testsuite | Fabrice Le Fessant | 2012-05-03 | 1 | -0/+1 |
| * | Improved version of bin-annot | Fabrice Le Fessant | 2012-05-02 | 1 | -2/+3 |
| * | add a Cmi_format compilation unit, with input/output functions | Fabrice Le Fessant | 2012-04-26 | 1 | -0/+1 |
| * | PR#5318: Unroll recursion in un-marshaller to allow un-marshaling values of a... | Wojciech Meyer | 2012-04-23 | 2 | -1/+108 |
| * | trivial fix following commit 12221 in ocamldoc | Damien Doligez | 2012-04-13 | 1 | -1/+1 |
| * | update .ignore | Damien Doligez | 2012-04-10 | 2 | -0/+2 |
| * | update expected result after changes to stdlib/random.ml | Damien Doligez | 2012-04-10 | 2 | -6/+5 |
| * | PR#3571: in Bigarrays, call msync() before unmapping to commit changes | Xavier Leroy | 2012-04-09 | 2 | -7/+42 |
| * | merge from trunk (commits 12289 and 12290) | Jacques Garrigue | 2012-03-29 | 4 | -2/+662 |
| * | Fix PR#5560 | Jacques Garrigue | 2012-03-28 | 3 | -0/+14 |
| * | Fix PR#5554 by restricting optional parameter elimination through coercions t... | Jacques Garrigue | 2012-03-25 | 6 | -8/+25 |
| * | Fix PR#5553: do not allow a type variable to have the same name as a local type | Jacques Garrigue | 2012-03-23 | 3 | -3/+3 |
| * | Fixed conditional compilation of "testing.cmx" (testsuite) | Xavier Clerc | 2012-03-14 | 1 | -1/+4 |
| * | Update parsecmm.mly to reflect recent change in Cmm | Xavier Leroy | 2012-03-14 | 1 | -1/+2 |
| * | PR#5215: Marshalling of closures now supported if the closures come from dyna... | Xavier Leroy | 2012-03-13 | 16 | -15/+86 |
| * | Making a branch for OCaml 4.00. | Xavier Leroy | 2012-03-12 | 2 | -0/+0 |
| * | PR#5512: Test suite improvement wrt. to packaging. Slightly modified patch by... | Wojciech Meyer | 2012-03-10 | 2 | -2/+4 |
| * | merge version 3.12 from 3.12.1 to r12205 | Damien Doligez | 2012-03-08 | 5 | -2/+574 |
| * | PR#5513: protect against min_int / -1 crashing on x86 | Xavier Leroy | 2012-02-24 | 2 | -6/+10 |
| * | Unshare on type annotations even in non -principal mode. | Jacques Garrigue | 2012-02-14 | 4 | -9/+9 |
| * | More renaming to OCaml | Damien Doligez | 2012-02-10 | 12 | -14/+14 |
| * | Fix missing reference files in letrec testsuite | Fabrice Le Fessant | 2012-01-23 | 7 | -0/+0 |
| * | Backported '%apply' and '%revapply' from 3.12.1+dev to 3.13+dev | Fabrice Le Fessant | 2012-01-23 | 5 | -0/+73 |
| * | PR#5482: fixed bashism (other problem have already been fixed). | Xavier Clerc | 2012-01-19 | 1 | -1/+1 |
| * | Unused_var has been removed. | Alain Frisch | 2012-01-18 | 1 | -1/+0 |
| * | Fixed warning orders (testsuite). | Xavier Clerc | 2012-01-18 | 1 | -2/+2 |
| * | Sorry, the reference files for the "letrec" test case were in the root direct... | Xavier Clerc | 2012-01-18 | 7 | -0/+0 |
| * | PR#5199: tests are run only for bytecode if either native support is missing, | Xavier Clerc | 2012-01-18 | 9 | -26/+58 |
| * | More efficient implementation of {Set,Map}.{filter,partition} | Xavier Leroy | 2012-01-16 | 5 | -0/+246 |
| * | Fix bug #5476: native code compilation of let rec on float arrays | Fabrice Le Fessant | 2012-01-13 | 18 | -0/+152 |
| * | fix PR#5469 | Jacques Garrigue | 2012-01-10 | 1 | -0/+7 |
| * | Somewhat related to PR#5179: replace "diff -q" with "$(DIFF)" so that under W... | Xavier Leroy | 2011-12-28 | 15 | -23/+24 |
| * | fix PR#5449 | Jacques Garrigue | 2011-12-28 | 10 | -129/+125 |
| * | fix PR#5450 | Jacques Garrigue | 2011-12-27 | 13 | -116/+116 |
| * | fix PR#5436 | Jacques Garrigue | 2011-12-22 | 2 | -0/+29 |
| * | Module Array: faster implementations of "blit", "copy", "sub", | Xavier Leroy | 2011-12-21 | 1 | -1/+36 |
| * | PR#4746: wrong detection of stack overflows in native code under Linux | Xavier Leroy | 2011-12-20 | 5 | -69/+7 |
| * | Fix PR#5425 and PR#5427 | Jacques Garrigue | 2011-12-15 | 3 | -0/+82 |
| * | Add counter-example for PR#5343 | Jacques Garrigue | 2011-12-12 | 1 | -0/+13 |
| * | add test for polymorphic variants | Jacques Garrigue | 2011-12-10 | 3 | -0/+19 |
| * | do not fail when injectivity not proved in Pattern mode, use mcomp | Jacques Garrigue | 2011-11-25 | 7 | -18/+48 |
| * | merge branches/gadts-devel | Jacques Garrigue | 2011-11-24 | 22 | -115/+1689 |
| * | fix gadt type variables | Jacques Garrigue | 2011-09-27 | 5 | -157/+159 |
| * | Keep type variable names | Jacques Garrigue | 2011-09-22 | 5 | -172/+172 |
| * | fix bug in first-class module unpacking | Jacques Garrigue | 2011-08-20 | 3 | -4/+170 |
| * | fix PR#5332 | Jacques Garrigue | 2011-08-09 | 4 | -2/+49 |
| * | PR#5238, PR#5277: Sys_error when getting error location | Damien Doligez | 2011-08-04 | 1 | -0/+1 |
| * | merge branches/gadts | Jacques Garrigue | 2011-07-29 | 11 | -17/+2077 |
| |\ |
|
| | * | fix record pattern-matching; sort records in typed treegadts | Jacques Garrigue | 2011-06-15 | 3 | -0/+146 |
| | * | do not use unify_pat_types_gadts for normal constructors! | Jacques Garrigue | 2011-06-14 | 6 | -2/+65 |
