Improve smt2 encodings of assert/assume/cover, better wire_smt2 help msg
-rw-r--r-- 437 .gitignore
-rw-r--r-- 672 .travis.yml
-rw-r--r-- 19711 CHANGELOG
-rw-r--r-- 3195 CodeOfConduct
-rw-r--r-- 14224 CodingReadme
-rw-r--r-- 18984 Makefile
-rw-r--r-- 16622 README.md
drwxr-xr-x - backends
drwxr-xr-x - examples
drwxr-xr-x - frontends
drwxr-xr-x - kernel
drwxr-xr-x - libs
drwxr-xr-x - manual
drwxr-xr-x - misc
drwxr-xr-x - passes
drwxr-xr-x - techlibs
drwxr-xr-x - tests