summaryrefslogtreecommitdiff
path: root/contrib
ModeNameSize
-rw-r--r--Makefile.am558logplain
-rw-r--r--README163logplain
-rwxr-xr-xaddsourcedir2573logplain
d---------alttheoryskel241logplain
-rwxr-xr-xcode-checker2845logplain
-rwxr-xr-xconfigure-in-place756logplain
-rwxr-xr-xcut-release9420logplain
-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-abc1439logplain
-rwxr-xr-xget-antlr-3.43491logplain
-rwxr-xr-xget-authors1438logplain
-rwxr-xr-xget-bug-attachments2487logplain
-rw-r--r--indent-settings181logplain
-rw-r--r--luby.c1796logplain
-rwxr-xr-xmac-build1847logplain
-rwxr-xr-xmake_devel_video.sh821logplain
-rwxr-xr-xmy-configure231logplain
-rwxr-xr-xnew-theory7040logplain
-rwxr-xr-xrun-script-casc24-fnt1432logplain
-rwxr-xr-xrun-script-casc24-fnt-no-models1403logplain
-rwxr-xr-xrun-script-casc24-fof1395logplain
-rwxr-xr-xrun-script-cascj7-fnt1453logplain
-rwxr-xr-xrun-script-cascj7-fof1367logplain
-rwxr-xr-xrun-script-cascj7-tff1179logplain
-rwxr-xr-xrun-script-smtcomp20121300logplain
-rwxr-xr-xrun-script-smtcomp20143826logplain
-rwxr-xr-xrun-script-smtcomp2014-application1379logplain
-rwxr-xr-xrun-script-smteval20131773logplain
-rwxr-xr-xspellcheck659logplain
-rwxr-xr-xswitch-config2524logplain
d---------theoryskel341logplain
-rwxr-xr-xupdate-copyright.pl8069logplain
-rwxr-xr-xwin32-build3488logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback