summaryrefslogtreecommitdiff
path: root/contrib
ModeNameSize
-rw-r--r--Makefile.am633logplain
-rw-r--r--README163logplain
-rwxr-xr-xaddsourcedir2573logplain
d---------alttheoryskel241logplain
-rwxr-xr-xcode-checker2845logplain
-rwxr-xr-xconfigure-in-place756logplain
-rw-r--r--cryptominisat-4.2.0.patch465logplain
-rw-r--r--cryptominisat-4.2.0.second.patch537logplain
-rwxr-xr-xcut-release9400logplain
-rw-r--r--cvc-devel.el5182logplain
-rw-r--r--cvc-mode.el24995logplain
-rwxr-xr-xdebug-keys862logplain
-rwxr-xr-xdepgraph4233logplain
-rwxr-xr-xdimacs_to_smt.pl749logplain
-rw-r--r--editing-with-emacs716logplain
-rwxr-xr-xextract-strings-and-comments1066logplain
-rwxr-xr-xget-abc1910logplain
-rwxr-xr-xget-antlr-3.43793logplain
-rwxr-xr-xget-authors958logplain
-rwxr-xr-xget-bug-attachments2493logplain
-rwxr-xr-xget-cryptominisat41404logplain
-rwxr-xr-xget-glpk-cut-log1451logplain
-rw-r--r--indent-settings181logplain
-rw-r--r--lfsc_lsan.supp366logplain
-rw-r--r--luby.c1796logplain
-rwxr-xr-xmac-build1873logplain
-rwxr-xr-xmake_devel_video.sh821logplain
-rwxr-xr-xmk_starexec346logplain
-rwxr-xr-xmy-configure231logplain
-rwxr-xr-xnew-theory7103logplain
-rwxr-xr-xnew-theory.awk952logplain
d---------optionsskel39logplain
-rwxr-xr-xrun-script-casc24-fnt1432logplain
-rwxr-xr-xrun-script-casc24-fnt-no-models1403logplain
-rwxr-xr-xrun-script-casc24-fof1395logplain
-rwxr-xr-xrun-script-casc25-fnt1539logplain
-rwxr-xr-xrun-script-casc25-fof2097logplain
-rwxr-xr-xrun-script-casc25-tfa1635logplain
-rwxr-xr-xrun-script-casc25-tfn1182logplain
-rwxr-xr-xrun-script-cascj7-fnt1479logplain
-rwxr-xr-xrun-script-cascj7-fof1393logplain
-rwxr-xr-xrun-script-cascj7-tff1205logplain
-rw-r--r--run-script-cascj8-fnt1372logplain
-rw-r--r--run-script-cascj8-fof1929logplain
-rw-r--r--run-script-cascj8-tfa1491logplain
-rw-r--r--run-script-cascj8-tfn1297logplain
-rwxr-xr-xrun-script-smtcomp20121300logplain
-rwxr-xr-xrun-script-smtcomp20143894logplain
-rwxr-xr-xrun-script-smtcomp2014-application1629logplain
-rwxr-xr-xrun-script-smtcomp20154321logplain
-rwxr-xr-xrun-script-smtcomp2015-application1385logplain
-rwxr-xr-xrun-script-smtcomp2015-assertions4530logplain
-rw-r--r--run-script-smtcomp20165289logplain
-rw-r--r--run-script-smtcomp2016-application1238logplain
-rwxr-xr-xrun-script-smteval20131773logplain
-rw-r--r--run-script-sygusComp2016-CLIA361logplain
-rwxr-xr-xrun-script-sygusComp2016-GENERAL784logplain
-rw-r--r--run-script-sygusComp2016-INV345logplain
-rw-r--r--run-script-sygusComp2016-PBE338logplain
-rwxr-xr-xrun-script-syguscomp2015424logplain
-rwxr-xr-xspellcheck659logplain
-rwxr-xr-xswitch-config2524logplain
-rwxr-xr-xtest_install_headers.sh1288logplain
d---------theoryskel260logplain
-rwxr-xr-xupdate-copyright.pl7801logplain
-rwxr-xr-xwin32-build3491logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback