summaryrefslogtreecommitdiff
path: root/test/regress/regress0
ModeNameSize
-rw-r--r--Makefile133logplain
-rw-r--r--Makefile.am1852logplain
d---------arith159logplain
-rw-r--r--arr1.smt186logplain
-rw-r--r--arr1.smt2260logplain
-rw-r--r--arr2.smt213logplain
-rw-r--r--boolean-prec.cvc165logplain
-rw-r--r--boolean.cvc30130logplain
-rw-r--r--bug161.smt189logplain
-rw-r--r--bug164.smt256logplain
-rw-r--r--bug167.smt398logplain
-rw-r--r--bug168.smt128logplain
-rw-r--r--bug187.smt2123logplain
-rw-r--r--bug2.smt513595logplain
-rw-r--r--bug32.cvc76logplain
-rw-r--r--bug49.smt2386logplain
d---------bv108logplain
-rw-r--r--cvc3-bug15.cvc207logplain
-rw-r--r--distinct.smt178logplain
-rw-r--r--error.cvc117logplain
-rw-r--r--flet.smt140logplain
-rw-r--r--flet2.smt126logplain
-rw-r--r--fuzz_1.smt742logplain
-rw-r--r--fuzz_3.smt1155logplain
-rw-r--r--hole6.cvc4667logplain
-rw-r--r--ineq_basic.smt115logplain
-rw-r--r--ineq_slack.smt158logplain
-rw-r--r--ite.cvc90logplain
-rw-r--r--ite.smt2152logplain
-rw-r--r--ite2.smt2138logplain
-rw-r--r--ite3.smt2199logplain
-rw-r--r--ite4.smt2197logplain
-rw-r--r--ite_arith.smt2140logplain
-rw-r--r--ite_real_int_type.smt207logplain
-rw-r--r--ite_real_valid.smt150logplain
-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---------precedence801logplain
-rw-r--r--queries0.cvc159logplain
-rw-r--r--simple-lra.smt166logplain
-rw-r--r--simple-lra.smt2174logplain
-rw-r--r--simple-rdl.smt138logplain
-rw-r--r--simple-rdl.smt2147logplain
-rw-r--r--simple-uf.smt176logplain
-rw-r--r--simple-uf.smt2201logplain
-rw-r--r--simple.cvc144logplain
-rw-r--r--simple.smt218logplain
-rw-r--r--simple.smt2251logplain
-rw-r--r--simple2.smt200logplain
-rw-r--r--smallcnf.cvc149logplain
-rw-r--r--symmetric.smt178logplain
-rw-r--r--test11.cvc96logplain
-rw-r--r--test12.cvc3037logplain
-rw-r--r--test9.cvc73logplain
d---------uf1345logplain
-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