summaryrefslogtreecommitdiff
path: root/contrib/cc
ModeNameSize
-rw-r--r--README542logplain
-rw-r--r--ccalgo.ml24243logplain
-rw-r--r--ccalgo.mli5086logplain
-rw-r--r--ccproof.ml4186logplain
-rw-r--r--ccproof.mli967logplain
-rw-r--r--cctac.ml15545logplain
-rw-r--r--cctac.mli805logplain
-rw-r--r--g_congruence.ml41050logplain