Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | New script language for ocamltest (#12185) | Damien Doligez | 2023-04-25 | 4 | -17/+33 |
* | printtyp: remove spurious space in error traces | Florian Angeletti | 2023-01-02 | 1 | -1/+1 |
* | stop using single letter in warning settings | octachron | 2021-03-15 | 3 | -3/+3 |
* | typedecl: use the new Separability implementation, remove old code | Rodolphe Lepigre | 2020-01-28 | 1 | -0/+19 |
* | Remove ocamltests files | Nicolás Ojeda Bär | 2019-09-28 | 1 | -3/+0 |
* | Update tests | Armaël Guéneau | 2018-10-19 | 2 | -0/+4 |
* | Migrate the typing-modules-bugs tests to ocamltest | Sébastien Hinderer | 2018-03-18 | 1 | -1/+1 |
* | Migrate the typing-misc-bugs tests to ocamltest | Sébastien Hinderer | 2018-03-18 | 7 | -17/+33 |
* | Update headers for the new license. | Damien Doligez | 2016-02-18 | 1 | -11/+14 |
* | clean up whitespace and cut long lines | Damien Doligez | 2016-02-17 | 1 | -4/+4 |
* | add test for regression in commit 9229b1 (fix of PR#6980) | Jacques Garrigue | 2015-12-01 | 1 | -0/+94 |
* | Fix PR#6946 | Jacques Garrigue | 2015-11-30 | 1 | -0/+2 |
* | Fix PR#6303 | Jacques Garrigue | 2014-01-23 | 2 | -0/+17 |