about summary refs log tree commit diff homepage
ModeNameSize
-rw-r--r--.clang-format44log plain blame
-rw-r--r--.dockerignore27log plain blame
-rw-r--r--.gitattributes42log plain blame
-rw-r--r--.gitignore323log plain blame
-rw-r--r--.travis.yml7273log plain blame
d---------.travis300log plain
-rw-r--r--Dockerfile5141log plain blame
-rw-r--r--LICENSE.TXT3063log plain blame
-rw-r--r--Makefile1784log plain blame
-rw-r--r--Makefile.common2527log plain blame
-rw-r--r--Makefile.config.in2313log plain blame
-rw-r--r--Makefile.rules75937log plain blame
-rw-r--r--MetaSMT.mk503log plain blame
-rw-r--r--NEWS3914log plain blame
-rw-r--r--README.md1224log plain blame
-rw-r--r--TODO.txt3658log plain blame
d---------autoconf196log plain
-rwxr-xr-xconfigure199255log plain blame
d---------docs146log plain
d---------examples133log plain
d---------include62log plain
d---------lib298log plain
d---------runtime212log plain
d---------scripts362log plain
d---------test606log plain
d---------tools255log plain
d---------unittests170log plain
d---------utils167log plain