summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore33logplain
-rw-r--r--CHANGES.md5623logplain
-rw-r--r--CONTRIBUTING.md2312logplain
-rw-r--r--LICENSE.md1126logplain
-rw-r--r--Makefile259logplain
-rw-r--r--README.org8894logplain
d---------collector328logplain
d---------common274logplain
d---------config163logplain
d---------debian458logplain
-rw-r--r--dune0logplain
-rw-r--r--dune-project16logplain
d---------evaluator135logplain
d---------example1025logplain
d---------expect_payload131logplain
d---------make-corrected-file170logplain
d---------matcher572logplain
d---------negative-tests2064logplain
-rw-r--r--ppx_expect.opam918logplain
d---------src198logplain
d---------test773logplain