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.yml5766log plain blame
d---------.travis177log plain
-rw-r--r--Dockerfile4823log plain blame
-rw-r--r--LICENSE.TXT3063log plain blame
-rw-r--r--Makefile1784log plain blame
-rw-r--r--Makefile.common2734log plain blame
-rw-r--r--Makefile.config.in2119log plain blame
-rw-r--r--Makefile.rules75937log plain blame
-rw-r--r--MetaSMT.mk920log plain blame
-rw-r--r--NEWS2531log plain blame
-rw-r--r--README.md1224log plain blame
-rw-r--r--TODO.txt3658log plain blame
d---------autoconf196log plain
-rwxr-xr-xconfigure189932log 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