Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Migrate the translprim tests to ocamltest | Sébastien Hinderer | 2018-02-20 | 1 | -0/+7 |
* | clean up whitespace and cut long lines | Damien Doligez | 2016-02-17 | 1 | -1/+3 |
* | fix 0007026 | Simon Cruanes | 2015-12-06 | 1 | -0/+10 |
* | Add translprim testsuite | Gabriel Scherer | 2014-11-17 | 1 | -0/+42 |