summaryrefslogtreecommitdiff
path: root/test-suite/complexity
ModeNameSize
-rw-r--r--Notations.v357logplain
-rw-r--r--evar_instance.v3879logplain
-rw-r--r--guard.v523logplain
-rw-r--r--injection.v3558logplain
-rw-r--r--lettuple.v606logplain
-rw-r--r--patternmatching.v1380logplain
-rw-r--r--pretyping.v128558logplain
-rw-r--r--ring.v228logplain
-rw-r--r--ring2.v1043logplain
-rw-r--r--setoid_rewrite.v189logplain
-rw-r--r--unification.v1426logplain