summaryrefslogtreecommitdiff
path: root/test/regress/regress0
ModeNameSize
-rw-r--r--Makefile133logplain
-rw-r--r--Makefile.am943logplain
-rw-r--r--boolean-prec.cvc165logplain
-rw-r--r--boolean.cvc30130logplain
-rw-r--r--bug1.cvc152logplain
-rw-r--r--bug32.cvc76logplain
-rw-r--r--distinct.smt177logplain
-rw-r--r--error.cvc131logplain
-rw-r--r--flet.smt140logplain
-rw-r--r--flet2.smt126logplain
-rw-r--r--hole6.cvc4667logplain
-rw-r--r--let.smt141logplain
-rw-r--r--let2.smt126logplain
-rw-r--r--logops.01.cvc97logplain
-rw-r--r--logops.02.cvc66logplain
-rw-r--r--logops.03.cvc112logplain
-rw-r--r--logops.04.cvc78logplain
-rw-r--r--logops.05.cvc69logplain
d---------precedence680logplain
-rw-r--r--queries0.cvc159logplain
-rw-r--r--simple-uf.smt176logplain
-rw-r--r--simple.cvc144logplain
-rw-r--r--simple.smt218logplain
-rw-r--r--simple2.smt200logplain
-rw-r--r--smallcnf.cvc149logplain
-rw-r--r--test11.cvc96logplain
-rw-r--r--test12.cvc3037logplain
-rw-r--r--test9.cvc73logplain
d---------uf1096logplain
-rw-r--r--uf20-03.cvc3401logplain
-rw-r--r--wiki.01.cvc86logplain
-rw-r--r--wiki.02.cvc90logplain
-rw-r--r--wiki.03.cvc72logplain
-rw-r--r--wiki.04.cvc74logplain
-rw-r--r--wiki.05.cvc75logplain
-rw-r--r--wiki.06.cvc75logplain
-rw-r--r--wiki.07.cvc95logplain
-rw-r--r--wiki.08.cvc96logplain
-rw-r--r--wiki.09.cvc65logplain
-rw-r--r--wiki.10.cvc76logplain
-rw-r--r--wiki.11.cvc67logplain
-rw-r--r--wiki.12.cvc68logplain
-rw-r--r--wiki.13.cvc71logplain
-rw-r--r--wiki.14.cvc71logplain
-rw-r--r--wiki.15.cvc73logplain
-rw-r--r--wiki.16.cvc76logplain
-rw-r--r--wiki.17.cvc73logplain
-rw-r--r--wiki.18.cvc73logplain
-rw-r--r--wiki.19.cvc87logplain
-rw-r--r--wiki.20.cvc87logplain
-rw-r--r--wiki.21.cvc70logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback