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

author	Kshitij Bansal <kshitij@cs.nyu.edu>
	Tue, 24 Jun 2014 18:29:12 +0000 (14:29 -0400)
committer	Kshitij Bansal <kshitij@cs.nyu.edu>
	Wed, 25 Jun 2014 17:42:38 +0000 (13:42 -0400)
commit	2a734a31217cd17bd1d51abb621b0cb409973285
tree	e2c814407e992f27f6db54eaafa9b6b77f7f518a	tree
parent	b8ddf766460bfcf475e08ff52c889246e78f76cc	commit \| diff

rename subseteq to subset in smtlib, all kinds and smt operator names are now consistent

15 files changed:

examples/sets-translate/sets_translate.cpp		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
test/regress/regress0/sets/feb3/ListElts.hs.fqout.cvc4.317.smt2		diff \| blob \| history
test/regress/regress0/sets/jan24/deepmeas0.hs.fqout.cvc4.47.smt2		diff \| blob \| history
test/regress/regress0/sets/jan27/ListConcat.hs.fqout.cvc4.177.smt2		diff \| blob \| history
test/regress/regress0/sets/jan27/ListElem.hs.fqout.cvc4.38.smt2		diff \| blob \| history
test/regress/regress0/sets/jan27/deepmeas0.hs.fqout.cvc4.41.smt2		diff \| blob \| history
test/regress/regress0/sets/jan28/TalkingAboutSets.hs.fqout.cvc4.3577.smt2		diff \| blob \| history
test/regress/regress0/sets/jan30/UniqueZipper.hs.fqout.cvc4.10.smt2		diff \| blob \| history
test/regress/regress0/sets/jan30/UniqueZipper.hs.fqout.cvc4.1832.smt2		diff \| blob \| history
test/regress/regress0/sets/mar2014/UniqueZipper.hs.1030minimized.cvc4.smt2		diff \| blob \| history
test/regress/regress0/sets/mar2014/UniqueZipper.hs.1030minimized2.cvc4.smt2		diff \| blob \| history
test/regress/regress0/sets/mar2014/lemmabug-ListElts317minimized.smt2		diff \| blob \| history
test/regress/regress0/sets/sets-sample.smt2		diff \| blob \| history