git.libre-soc.org Git - cvc5.git/commit

author	Tim King <taking@cs.nyu.edu>
	Thu, 4 Feb 2010 21:01:04 +0000 (21:01 +0000)
committer	Tim King <taking@cs.nyu.edu>
	Thu, 4 Feb 2010 21:01:04 +0000 (21:01 +0000)
commit	c6f86de8077f667ab2b2e9aac53d60d93ea2da93
tree	028e32de75592993169290f4cdf0cd27a447d89c	tree
parent	3203c9bf8ec818b287c8b4030bb4b71d48ede9f1	commit \| diff

Moved regressions into various levels based on running time.

76 files changed:

test/regress/C880mul.miter.shuffled-as.sat03-348.smt	[deleted file]	blob \| history
test/regress/bmc-galileo-8.smt	[deleted file]	blob \| history
test/regress/bmc-galileo-9.smt	[deleted file]	blob \| history
test/regress/bmc-ibm-1.smt	[deleted file]	blob \| history
test/regress/bmc-ibm-10.smt	[deleted file]	blob \| history
test/regress/bmc-ibm-11.smt	[deleted file]	blob \| history
test/regress/bmc-ibm-12.smt	[deleted file]	blob \| history
test/regress/bmc-ibm-13.smt	[deleted file]	blob \| history
test/regress/bmc-ibm-2.smt	[deleted file]	blob \| history
test/regress/bmc-ibm-3.smt	[deleted file]	blob \| history
test/regress/bmc-ibm-4.smt	[deleted file]	blob \| history
test/regress/bmc-ibm-5.smt	[deleted file]	blob \| history
test/regress/bmc-ibm-6.smt	[deleted file]	blob \| history
test/regress/bmc-ibm-7.smt	[deleted file]	blob \| history
test/regress/boolean.cvc	[deleted file]	blob \| history
test/regress/bug1.cvc	[deleted file]	blob \| history
test/regress/comb2.shuffled-as.sat03-420.smt	[deleted file]	blob \| history
test/regress/friedman_n4_i5.smt	[deleted file]	blob \| history
test/regress/friedman_n6_i4.smt	[deleted file]	blob \| history
test/regress/hole10.cvc	[deleted file]	blob \| history
test/regress/hole6.cvc	[deleted file]	blob \| history
test/regress/hole7.cvc	[deleted file]	blob \| history
test/regress/hole8.cvc	[deleted file]	blob \| history
test/regress/hole9.cvc	[deleted file]	blob \| history
test/regress/instance_1151.smt	[deleted file]	blob \| history
test/regress/instance_1444.smt	[deleted file]	blob \| history
test/regress/logops.cvc	[deleted file]	blob \| history
test/regress/qwh.35.405.shuffled-as.sat03-1651.smt	[deleted file]	blob \| history
test/regress/regress0/boolean.cvc	[new file with mode: 0644]	blob
test/regress/regress0/bug1.cvc	[new file with mode: 0644]	blob
test/regress/regress0/hole6.cvc	[new file with mode: 0644]	blob
test/regress/regress0/logops.cvc	[new file with mode: 0644]	blob
test/regress/regress0/queries0.cvc	[new file with mode: 0644]	blob
test/regress/regress0/simple-uf.smt	[new file with mode: 0644]	blob
test/regress/regress0/simple.cvc	[new file with mode: 0644]	blob
test/regress/regress0/simple.smt	[new file with mode: 0644]	blob
test/regress/regress0/simple2.smt	[new file with mode: 0644]	blob
test/regress/regress0/smallcnf.cvc	[new file with mode: 0644]	blob
test/regress/regress0/test11.cvc	[new file with mode: 0644]	blob
test/regress/regress0/test12.cvc	[new file with mode: 0644]	blob
test/regress/regress0/test9.cvc	[new file with mode: 0644]	blob
test/regress/regress0/uf20-03.cvc	[new file with mode: 0644]	blob
test/regress/regress0/wiki.cvc	[new file with mode: 0644]	blob
test/regress/regress1/friedman_n4_i5.smt	[new file with mode: 0644]	blob
test/regress/regress1/hole7.cvc	[new file with mode: 0644]	blob
test/regress/regress1/hole8.cvc	[new file with mode: 0644]	blob
test/regress/regress1/instance_1444.smt	[new file with mode: 0644]	blob
test/regress/regress2/bmc-galileo-8.smt	[new file with mode: 0644]	blob
test/regress/regress2/bmc-galileo-9.smt	[new file with mode: 0644]	blob
test/regress/regress2/bmc-ibm-1.smt	[new file with mode: 0644]	blob
test/regress/regress2/bmc-ibm-10.smt	[new file with mode: 0644]	blob
test/regress/regress2/bmc-ibm-11.smt	[new file with mode: 0644]	blob
test/regress/regress2/bmc-ibm-12.smt	[new file with mode: 0644]	blob
test/regress/regress2/bmc-ibm-13.smt	[new file with mode: 0644]	blob
test/regress/regress2/bmc-ibm-2.smt	[new file with mode: 0644]	blob
test/regress/regress2/bmc-ibm-3.smt	[new file with mode: 0644]	blob
test/regress/regress2/bmc-ibm-4.smt	[new file with mode: 0644]	blob
test/regress/regress2/bmc-ibm-5.smt	[new file with mode: 0644]	blob
test/regress/regress2/bmc-ibm-6.smt	[new file with mode: 0644]	blob
test/regress/regress2/bmc-ibm-7.smt	[new file with mode: 0644]	blob
test/regress/regress2/friedman_n6_i4.smt	[new file with mode: 0644]	blob
test/regress/regress2/hole9.cvc	[new file with mode: 0644]	blob
test/regress/regress2/qwh.35.405.shuffled-as.sat03-1651.smt	[new file with mode: 0644]	blob
test/regress/regress3/C880mul.miter.shuffled-as.sat03-348.smt	[new file with mode: 0644]	blob
test/regress/regress3/comb2.shuffled-as.sat03-420.smt	[new file with mode: 0644]	blob
test/regress/regress3/hole10.cvc	[new file with mode: 0644]	blob
test/regress/regress3/instance_1151.smt	[new file with mode: 0644]	blob
test/regress/simple-uf.smt	[deleted file]	blob \| history
test/regress/simple.cvc	[deleted file]	blob \| history
test/regress/simple.smt	[deleted file]	blob \| history
test/regress/simple2.smt	[deleted file]	blob \| history
test/regress/test11.cvc	[deleted file]	blob \| history
test/regress/test12.cvc	[deleted file]	blob \| history
test/regress/test9.cvc	[deleted file]	blob \| history
test/regress/uf20-03.cvc	[deleted file]	blob \| history
test/regress/wiki.cvc	[deleted file]	blob \| history

RSS Atom