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

author	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Mon, 20 Sep 2010 16:47:38 +0000 (16:47 +0000)
committer	Dejan Jovanović <dejan.jovanovic@gmail.com>
	Mon, 20 Sep 2010 16:47:38 +0000 (16:47 +0000)
commit	d3d08250a1ec33689ec29736600c17aab7614d18
tree	a5251eac05a7e07089fe5c193efd19e0efe1cc98	tree
parent	1b30b256a0ec40ff431b83296bfe5aa0e099eb2e	commit \| diff

hooking up the bitvector tests

40 files changed:

test/Makefile.am		diff \| blob \| history
test/regress/regress0/Makefile.am		diff \| blob \| history
test/regress/regress0/bv/Makefile.am	[new file with mode: 0644]	blob
test/regress/regress0/bv/Makefile.in	[new file with mode: 0644]	blob
test/regress/regress0/bv/core/Makefile.am	[new file with mode: 0644]	blob
test/regress/regress0/bv/core/Makefile.in	[new file with mode: 0644]	blob
test/regress/regress0/bv/core/concat-merge-0.smt		diff \| blob \| history
test/regress/regress0/bv/core/concat-merge-1.smt		diff \| blob \| history
test/regress/regress0/bv/core/concat-merge-2.smt		diff \| blob \| history
test/regress/regress0/bv/core/concat-merge-3.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-concat-0.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-concat-1.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-concat-10.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-concat-11.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-concat-2.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-concat-3.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-concat-4.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-concat-5.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-concat-6.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-concat-7.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-concat-8.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-concat-9.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-constant.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-extract-0.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-extract-1.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-extract-10.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-extract-11.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-extract-2.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-extract-3.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-extract-4.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-extract-5.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-extract-6.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-extract-7.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-extract-8.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-extract-9.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-whole-0.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-whole-1.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-whole-2.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-whole-3.smt		diff \| blob \| history
test/regress/regress0/bv/core/extract-whole-4.smt		diff \| blob \| history

RSS Atom