summaryrefslogtreecommitdiff
path: root/testsuite/tests/tmc/other_features.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+2
* update testsuite (2)Gabriel Scherer2023-02-231-0/+1
* update testsuiteGabriel Scherer2023-02-231-0/+2
* missing line break in TMC warning messageGabriel Scherer2022-03-071-1/+2
* [minor] complete the renaming of 'TRMC' into 'TMC'Gabriel Scherer2021-11-021-0/+59