aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/cc
ModeNameSize
-rw-r--r--README544logplain
-rw-r--r--cc_plugin.mlpack34logplain
-rw-r--r--ccalgo.ml28596logplain
-rw-r--r--ccalgo.mli6125logplain
-rw-r--r--ccproof.ml4929logplain
-rw-r--r--ccproof.mli1851logplain
-rw-r--r--cctac.ml20226logplain
-rw-r--r--cctac.mli946logplain
-rw-r--r--g_congruence.ml41112logplain