summaryrefslogtreecommitdiff
path: root/test/regress/regress0
ModeNameSize
-rw-r--r--Makefile133logplain
-rw-r--r--Makefile.am2442logplain
d---------arith459logplain
-rw-r--r--arr1.smt186logplain
-rw-r--r--arr1.smt2260logplain
-rw-r--r--arr2.smt213logplain
d---------arrays997logplain
d---------aufbv114logplain
-rw-r--r--boolean-prec.cvc165logplain
-rw-r--r--boolean.cvc30138logplain
-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--bug216.smt2189logplain
-rw-r--r--bug216.smt2.expect71logplain
-rw-r--r--bug220.smt217logplain
-rw-r--r--bug239.smt5475logplain
-rw-r--r--bug288.smt111logplain
-rw-r--r--bug288b.smt118logplain
-rw-r--r--bug288c.smt166logplain
-rw-r--r--bug303.smt2461logplain
-rw-r--r--bug310.cvc135logplain
-rw-r--r--bug32.cvc76logplain
-rw-r--r--bug49.smt2386logplain
-rw-r--r--buggy-ite.smt2355logplain
d---------bv832logplain
-rw-r--r--cvc3-bug15.cvc207logplain
d---------datatypes1191logplain
-rw-r--r--distinct.smt178logplain
-rw-r--r--error.cvc127logplain
-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.cvc4675logplain
-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
d---------lemmas548logplain
-rw-r--r--let.cvc109logplain
-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
d---------preprocess660logplain
d---------push-pop284logplain
-rw-r--r--queries0.cvc189logplain
-rw-r--r--simple-lra.smt166logplain
-rw-r--r--simple-lra.smt2174logplain
-rw-r--r--simple-rdl-definefun.smt2552logplain
-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--simplification_bug.smt101logplain
-rw-r--r--simplification_bug2.smt102logplain
-rw-r--r--simplification_bug3.cvc140logplain
-rw-r--r--simplification_bug4.smt210582logplain
-rw-r--r--simplification_bug4.smt2.expect57logplain
-rw-r--r--smallcnf.cvc149logplain
-rw-r--r--subranges.cvc223logplain
-rw-r--r--symmetric.smt178logplain
-rw-r--r--test11.cvc96logplain
-rw-r--r--test12.cvc3067logplain
-rw-r--r--test9.cvc73logplain
d---------uf1470logplain
-rw-r--r--uf20-03.cvc3401logplain
d---------uflia442logplain
d---------uflra849logplain
-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.cvc83logplain
-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