summaryrefslogtreecommitdiff
path: root/contrib
ModeNameSize
-rw-r--r--Makefile.am663logplain
-rw-r--r--README163logplain
-rwxr-xr-xaddsourcedir2573logplain
d---------alttheoryskel241logplain
-rwxr-xr-xcode-checker2845logplain
-rwxr-xr-xconfigure-in-place756logplain
-rwxr-xr-xcut-release10152logplain
-rw-r--r--cvc-devel.el5182logplain
-rw-r--r--cvc-mode.el25000logplain
-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-abc1344logplain
-rwxr-xr-xget-antlr-3.43810logplain
-rwxr-xr-xget-authors1573logplain
-rwxr-xr-xget-cadical525logplain
-rwxr-xr-xget-cryptominisat842logplain
-rwxr-xr-xget-glpk-cut-log968logplain
-rwxr-xr-xget-lfsc-checker696logplain
-rw-r--r--get-script-header.sh543logplain
-rwxr-xr-xget-win-dependencies4006logplain
-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-theory7113logplain
-rwxr-xr-xnew-theory.awk236logplain
d---------optionsskel44logplain
-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
-rw-r--r--run-script-casc26-fnt1400logplain
-rw-r--r--run-script-casc26-fof2000logplain
-rw-r--r--run-script-casc26-tfa1444logplain
-rwxr-xr-xrun-script-cascj7-fnt1479logplain
-rwxr-xr-xrun-script-cascj7-fof1393logplain
-rwxr-xr-xrun-script-cascj7-tff1205logplain
-rwxr-xr-xrun-script-cascj8-fnt1372logplain
-rwxr-xr-xrun-script-cascj8-fof1929logplain
-rwxr-xr-xrun-script-cascj8-tfa1491logplain
-rwxr-xr-xrun-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
-rwxr-xr-xrun-script-smtcomp20165289logplain
-rwxr-xr-xrun-script-smtcomp2016-application1238logplain
-rw-r--r--run-script-smtcomp20176200logplain
-rwxr-xr-xrun-script-smtcomp2017-application1344logplain
-rw-r--r--run-script-smtcomp2017-unsat-cores2063logplain
-rw-r--r--run-script-smtcomp20186198logplain
-rwxr-xr-xrun-script-smtcomp2018-application1344logplain
-rw-r--r--run-script-smtcomp2018-unsat-cores2056logplain
-rwxr-xr-xrun-script-smteval20131773logplain
-rwxr-xr-xrun-script-sygusComp2016-CLIA361logplain
-rwxr-xr-xrun-script-sygusComp2016-GENERAL784logplain
-rwxr-xr-xrun-script-sygusComp2016-INV345logplain
-rwxr-xr-xrun-script-sygusComp2016-PBE338logplain
-rwxr-xr-xrun-script-sygusComp2017-CLIA361logplain
-rwxr-xr-xrun-script-sygusComp2017-GENERAL784logplain
-rwxr-xr-xrun-script-sygusComp2017-INV735logplain
-rwxr-xr-xrun-script-sygusComp2017-PBE_BitVec338logplain
-rwxr-xr-xrun-script-sygusComp2017-PBE_Strings358logplain
-rwxr-xr-xrun-script-syguscomp2015424logplain
-rwxr-xr-xspellcheck659logplain
-rwxr-xr-xswitch-config2524logplain
-rwxr-xr-xtest_install_headers.sh1288logplain
d---------theoryskel260logplain
-rwxr-xr-xupdate-copyright.pl8094logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback