| Commit message (Expand) | Author | Age | Files | Lines |
* | New script language for ocamltest (#12185) | Damien Doligez | 2023-04-25 | 6 | -18/+29 |
* | update testsuite (2) | Gabriel Scherer | 2023-02-23 | 1 | -0/+7 |
* | Add type equality witness to the standard library (#11581) | Nicolás Ojeda Bär | 2022-12-20 | 1 | -84/+84 |
* | Add hash, seeded_hash to Int, Char, Bool, Float, Int32, Int64, Nativeint (#11... | Nicolás Ojeda Bär | 2022-10-27 | 2 | -1/+29 |
* | toplevel: don't read Topdirs cmi during pre-initialisation | Florian Angeletti | 2022-07-01 | 2 | -112/+112 |
* | testsuite: stabilize type identifiers | Florian Angeletti | 2022-06-14 | 2 | -112/+112 |
* | Refine the semantics of domain callbacks. | KC Sivaramakrishnan | 2022-06-06 | 1 | -84/+84 |
* | Remove `Stream`, `Genlex`, `Pervasives` & the legacy `bigarray` library (#10896) | Nicolás Ojeda Bär | 2022-01-20 | 1 | -84/+84 |
* | Remove deprecated functions (#10867) | Nicolás Ojeda Bär | 2022-01-12 | 3 | -110/+102 |
* | Minor improvements. | KC Sivaramakrishnan | 2021-12-23 | 1 | -1/+0 |
* | Merge commit 'b4c5d7a55d9ec25693ba741a613d81f2c3ef66bc' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-21 | 2 | -0/+15 |
|\ |
|
| * | Add non-regression test | Alain Frisch | 2021-11-16 | 2 | -0/+15 |
* | | Merge commit '17561dc1cf9127e53485721d0f16f73aa436680e' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 2 | -112/+112 |
|\ \
| |/ |
|
| * | Shapes: Add new tests and update others relying on idents | Ulysse Gérard | 2021-11-09 | 2 | -112/+112 |
* | | Merge commit '2bcef4bc172f476217f253d24cb3311eaca504bf' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 2 | -0/+26 |
|\ \
| |/ |
|
| * | Ensure that functions are evaluated after their arguments (#10728) | Stephen Dolan | 2021-10-27 | 2 | -0/+26 |
* | | Merge commit '98e16f0334d3cb74e50e6c9073398b049438b2f6' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 1 | -84/+84 |
|\ \
| |/ |
|
| * | Fix freshening of identifiers | Leo White | 2021-10-05 | 1 | -84/+84 |
* | | Move effect handlers to its own module in Stdlib | KC Sivaramakrishnan | 2021-10-11 | 1 | -84/+84 |
* | | Merge commit '0117428c3ea163f42f4549ff4e7f255f29f6b4d4' into 5.00 | Tom Kelly | 2021-10-04 | 2 | -0/+53 |
|\ \
| |/ |
|
| * | Support more arguments to tail calls by passing them through the domain state... | Xavier Leroy | 2021-09-09 | 2 | -0/+53 |
* | | Merge commit 'eccaa452ca8c118abccb6180d53b91e4b4907415' into 5.00 | Tom Kelly | 2021-10-04 | 1 | -54/+109 |
|\ \
| |/ |
|
| * | Add {In,Out}_channel to Stdlib (#10545) | Nicolás Ojeda Bär | 2021-09-01 | 1 | -84/+84 |
* | | Merge commit '8949e28fa1995de9fa72ee377993624af0f4a616' into 5.00 | Tom Kelly | 2021-10-04 | 2 | -2/+161 |
|\ \
| |/ |
|
| * | Fix detection of immediate64 types through unboxed types | Leo White | 2021-07-29 | 1 | -42/+45 |
| * | Use unset in the testsuite to harden tests | David Allsopp | 2021-07-10 | 1 | -2/+4 |
* | | Merge commit '5e45b2e9fa613099a334f19c95814f89ca16db7f' into parallel_minor_g... | Tom Kelly | 2021-10-01 | 2 | -0/+16 |
|\ \
| |/ |
|
| * | Add {Int,Int32,Int64,NativeInt}.{min,max} (#10392) | Alain Frisch | 2021-05-11 | 2 | -0/+16 |
* | | Merge commit '099b86a046e304fe15e2bb37557bffc6aafaab15' into parallel_minor_g... | Tom Kelly | 2021-10-01 | 2 | -0/+17 |
|\ \
| |/ |
|
| * | Test evaluation order for for loops (#10394) | Vincent Laviron | 2021-05-04 | 2 | -0/+17 |
* | | Merge commit '6462df79a89cede5c54ed53f1e2ff83309006633' into parallel_minor_g... | Tom Kelly | 2021-09-30 | 2 | -0/+13 |
|\ \
| |/ |
|
| * | Preserve evaluation order in simplify_exits (#10284) | Vincent Laviron | 2021-03-10 | 2 | -0/+13 |
* | | Merge commit '055f04d189273068396da8c298e6226dff90f26c' into parallel_minor_g... | Tom Kelly | 2021-09-28 | 1 | -28/+14 |
|\ \
| |/ |
|
| * | testsuite: include both -dlambda and -drawlambda outputs | Gabriel Scherer | 2020-10-21 | 1 | -1/+55 |
| * | testsuite: clarify the allocation behavior | Gabriel Scherer | 2020-10-21 | 1 | -3/+4 |
| * | Matching.Simple.explode_or_pat: on-demand generation of fresh identifiers | Gabriel Scherer | 2020-10-21 | 1 | -43/+43 |
| * | matching: avoid useless bindings in do_for_multiple_match | Gabriel Scherer | 2020-10-21 | 1 | -97/+55 |
| * | Match.do_for_multiple_match: we can always flatten | Gabriel Scherer | 2020-10-21 | 1 | -99/+88 |
| * | matching: more complete testsuite for do_for_multiple_match | Gabriel Scherer | 2020-10-21 | 1 | -0/+193 |
| * | Adapt tests | Nicolás Ojeda Bär | 2020-10-08 | 1 | -21/+20 |
* | | update test reference | Tom Kelly | 2021-04-22 | 1 | -22/+22 |
* | | correct tests for spacetime removal | Tom Kelly | 2021-03-08 | 1 | -21/+21 |
* | | Merge commit 'a7d1af4a872e22aebd1e6cc27b2beafdea2ad2dd' into parallel_minor_g... | Tom Kelly | 2021-03-05 | 1 | -21/+21 |
|\ \
| |/ |
|
| * | Add `'a Either.t = Left of 'a | Right of 'b` | Gabriel Scherer | 2020-09-02 | 1 | -20/+21 |
* | | Merge commit 'e41dc9c44327f40c1ab0feea12f779c931c9e31e' into parallel_minor_g... | Tom Kelly | 2021-03-04 | 1 | -7/+7 |
|\ \
| |/ |
|
| * | Update test reference files | Nicolás Ojeda Bär | 2020-07-21 | 1 | -7/+7 |
* | | fix some reference output for some tests | Tom Kelly | 2021-03-03 | 1 | -20/+21 |
* | | Merge commit 'e717512a54349bce4bbbb9590d4fe5a2c671c4e9' into parallel_minor_g... | Tom Kelly | 2021-03-03 | 1 | -0/+59 |
|\ \
| |/ |
|
| * | matching: add a test for do_for_multiple_match flattening failure | Thomas Refis | 2020-06-06 | 1 | -0/+59 |
* | | Merge commit '0ca651b95cbda5d58f7760f0fa1dba965d1f0828' into parallel_minor_g... | Tom Kelly | 2021-03-02 | 1 | -1/+1 |
|\ \
| |/ |
|