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

author	Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
	Sun, 22 Mar 2020 03:33:15 +0000 (22:33 -0500)
committer	GitHub <noreply@github.com>
	Sun, 22 Mar 2020 03:33:15 +0000 (22:33 -0500)
commit	37107284adaad3d24da0ad15cac8c88af444aeef
tree	d98c5a6bf3608a50e828b129d8d8c45b2c49fc58	tree
parent	a507aa5f1904055782e1ba01083faf1fd0fb86f7	commit \| diff

Convert V1 Sygus files to V2. (#4136)

151 files changed:

src/parser/smt2/smt2.cpp		diff \| blob \| history
test/regress/regress0/expect/scrub.08.sy		diff \| blob \| history
test/regress/regress0/sygus/General_plus10.sy		diff \| blob \| history
test/regress/regress0/sygus/aig-si.sy		diff \| blob \| history
test/regress/regress0/sygus/array-grammar-select.sy		diff \| blob \| history
test/regress/regress0/sygus/array-grammar-store.sy		diff \| blob \| history
test/regress/regress0/sygus/ccp16.lus.sy		diff \| blob \| history
test/regress/regress0/sygus/cegqi-si-string-triv-2fun.sy		diff \| blob \| history
test/regress/regress0/sygus/cegqi-si-string-triv.sy		diff \| blob \| history
test/regress/regress0/sygus/dt-no-syntax.sy		diff \| blob \| history
test/regress/regress0/sygus/dt-sel-parse1.sy		diff \| blob \| history
test/regress/regress0/sygus/hd-05-d1-prog-nogrammar.sy		diff \| blob \| history
test/regress/regress0/sygus/inv-different-var-order.sy		diff \| blob \| history
test/regress/regress0/sygus/issue3624.sy		diff \| blob \| history
test/regress/regress0/sygus/let-ringer.sy		diff \| blob \| history
test/regress/regress0/sygus/let-simp.sy		diff \| blob \| history
test/regress/regress0/sygus/no-syntax-test-bool.sy		diff \| blob \| history
test/regress/regress0/sygus/no-syntax-test.sy		diff \| blob \| history
test/regress/regress0/sygus/parity-AIG-d0.sy		diff \| blob \| history
test/regress/regress0/sygus/parse-bv-let.sy		diff \| blob \| history
test/regress/regress0/sygus/pbe-pred-contra.sy		diff \| blob \| history
test/regress/regress0/sygus/real-si-all.sy		diff \| blob \| history
test/regress/regress0/sygus/strings-unconstrained.sy		diff \| blob \| history
test/regress/regress0/sygus/sygus-no-wf.sy		diff \| blob \| history
test/regress/regress0/sygus/uminus_one.sy		diff \| blob \| history
test/regress/regress0/sygus/univ_3-long-repeat-conflict.sy		diff \| blob \| history
test/regress/regress1/rr-verify/bool-crci.sy		diff \| blob \| history
test/regress/regress1/rr-verify/bv-term-32.sy		diff \| blob \| history
test/regress/regress1/rr-verify/bv-term.sy		diff \| blob \| history
test/regress/regress1/rr-verify/fp-arith.sy		diff \| blob \| history
test/regress/regress1/rr-verify/fp-bool.sy		diff \| blob \| history
test/regress/regress1/rr-verify/string-term.sy		diff \| blob \| history
test/regress/regress1/sygus/Base16_1.sy		diff \| blob \| history
test/regress/regress1/sygus/VC22_a.sy		diff \| blob \| history
test/regress/regress1/sygus/abv.sy		diff \| blob \| history
test/regress/regress1/sygus/array_search_2.sy		diff \| blob \| history
test/regress/regress1/sygus/array_search_5-Q-easy.sy		diff \| blob \| history
test/regress/regress1/sygus/array_sum_2_5.sy		diff \| blob \| history
test/regress/regress1/sygus/bvudiv-by-2.sy		diff \| blob \| history
test/regress/regress1/sygus/car_3.lus.sy		diff \| blob \| history
test/regress/regress1/sygus/cegar1.sy		diff \| blob \| history
test/regress/regress1/sygus/cegis-unif-inv-eq-fair.sy		diff \| blob \| history
test/regress/regress1/sygus/cegisunif-depth1.sy		diff \| blob \| history
test/regress/regress1/sygus/cggmp.sy		diff \| blob \| history
test/regress/regress1/sygus/clock-inc-tuple.sy		diff \| blob \| history
test/regress/regress1/sygus/commutative-stream.sy		diff \| blob \| history
test/regress/regress1/sygus/commutative.sy		diff \| blob \| history
test/regress/regress1/sygus/constant-bool-si-all.sy		diff \| blob \| history
test/regress/regress1/sygus/constant-dec-tree-bug.sy		diff \| blob \| history
test/regress/regress1/sygus/constant-ite-bv.sy		diff \| blob \| history
test/regress/regress1/sygus/constant.sy		diff \| blob \| history
test/regress/regress1/sygus/crci-ssb-unk.sy		diff \| blob \| history
test/regress/regress1/sygus/crcy-si-rcons.sy		diff \| blob \| history
test/regress/regress1/sygus/crcy-si.sy		diff \| blob \| history
test/regress/regress1/sygus/cube-nia.sy		diff \| blob \| history
test/regress/regress1/sygus/double.sy		diff \| blob \| history
test/regress/regress1/sygus/dt-test-ns.sy		diff \| blob \| history
test/regress/regress1/sygus/dup-op.sy		diff \| blob \| history
test/regress/regress1/sygus/enum-test.sy		diff \| blob \| history
test/regress/regress1/sygus/error1-dt.sy		diff \| blob \| history
test/regress/regress1/sygus/extract.sy		diff \| blob \| history
test/regress/regress1/sygus/fg_polynomial3.sy		diff \| blob \| history
test/regress/regress1/sygus/find_sc_bvult_bvnot.sy		diff \| blob \| history
test/regress/regress1/sygus/hd-01-d1-prog.sy		diff \| blob \| history
test/regress/regress1/sygus/hd-sdiv.sy		diff \| blob \| history
test/regress/regress1/sygus/ho-sygus.sy		diff \| blob \| history
test/regress/regress1/sygus/icfp_14.12-flip-args.sy		diff \| blob \| history
test/regress/regress1/sygus/icfp_14.12.sy		diff \| blob \| history
test/regress/regress1/sygus/icfp_14_12_diff_types.sy		diff \| blob \| history
test/regress/regress1/sygus/icfp_28_10.sy		diff \| blob \| history
test/regress/regress1/sygus/icfp_easy-ite.sy		diff \| blob \| history
test/regress/regress1/sygus/int-any-const.sy		diff \| blob \| history
test/regress/regress1/sygus/inv-example.sy		diff \| blob \| history
test/regress/regress1/sygus/inv-missed-sol-true.sy		diff \| blob \| history
test/regress/regress1/sygus/inv-unused.sy		diff \| blob \| history
test/regress/regress1/sygus/inv_gen_fig8.sy		diff \| blob \| history
test/regress/regress1/sygus/issue2914.sy		diff \| blob \| history
test/regress/regress1/sygus/issue2935.sy		diff \| blob \| history
test/regress/regress1/sygus/issue3320-quant.sy		diff \| blob \| history
test/regress/regress1/sygus/issue3649.sy		diff \| blob \| history
test/regress/regress1/sygus/large-const-simp.sy		diff \| blob \| history
test/regress/regress1/sygus/let-bug-simp.sy		diff \| blob \| history
test/regress/regress1/sygus/list-head-x.sy		diff \| blob \| history
test/regress/regress1/sygus/logiccell_help.sy		diff \| blob \| history
test/regress/regress1/sygus/max2-bv.sy		diff \| blob \| history
test/regress/regress1/sygus/multi-fun-polynomial2.sy		diff \| blob \| history
test/regress/regress1/sygus/nflat-fwd-3.sy		diff \| blob \| history
test/regress/regress1/sygus/nflat-fwd.sy		diff \| blob \| history
test/regress/regress1/sygus/nia-max-square-ns.sy		diff \| blob \| history
test/regress/regress1/sygus/no-flat-simp.sy		diff \| blob \| history
test/regress/regress1/sygus/no-mention.sy		diff \| blob \| history
test/regress/regress1/sygus/pbe_multi.sy		diff \| blob \| history
test/regress/regress1/sygus/phone-1-long.sy		diff \| blob \| history
test/regress/regress1/sygus/planning-unif.sy		diff \| blob \| history
test/regress/regress1/sygus/process-10-vars.sy		diff \| blob \| history
test/regress/regress1/sygus/qe.sy		diff \| blob \| history
test/regress/regress1/sygus/real-any-const.sy		diff \| blob \| history
test/regress/regress1/sygus/real-grammar.sy		diff \| blob \| history
test/regress/regress1/sygus/sets-pred-test.sy		diff \| blob \| history
test/regress/regress1/sygus/stopwatch-bt.sy		diff \| blob \| history
test/regress/regress1/sygus/strings-any-term1.sy		diff \| blob \| history
test/regress/regress1/sygus/strings-concat-3-args.sy		diff \| blob \| history
test/regress/regress1/sygus/strings-double-rec.sy		diff \| blob \| history
test/regress/regress1/sygus/strings-no-syntax.sy		diff \| blob \| history
test/regress/regress1/sygus/strings-small.sy		diff \| blob \| history
test/regress/regress1/sygus/strings-template-infer-unused.sy		diff \| blob \| history
test/regress/regress1/sygus/strings-template-infer.sy		diff \| blob \| history
test/regress/regress1/sygus/strings-trivial-simp.sy		diff \| blob \| history
test/regress/regress1/sygus/strings-trivial-two-type.sy		diff \| blob \| history
test/regress/regress1/sygus/strings-trivial.sy		diff \| blob \| history
test/regress/regress1/sygus/sygus-dt.sy		diff \| blob \| history
test/regress/regress1/sygus/sygus-lambda-fv.sy		diff \| blob \| history
test/regress/regress1/sygus/t8.sy		diff \| blob \| history
test/regress/regress1/sygus/temp_input_to_synth_ic-error-121418.sy		diff \| blob \| history
test/regress/regress1/sygus/tester.sy		diff \| blob \| history
test/regress/regress1/sygus/tl-type-0.sy		diff \| blob \| history
test/regress/regress1/sygus/tl-type-4x.sy		diff \| blob \| history
test/regress/regress1/sygus/tl-type.sy		diff \| blob \| history
test/regress/regress1/sygus/triv-type-mismatch-si.sy		diff \| blob \| history
test/regress/regress1/sygus/trivial-stream.sy		diff \| blob \| history
test/regress/regress1/sygus/twolets1.sy		diff \| blob \| history
test/regress/regress1/sygus/twolets2-orig.sy		diff \| blob \| history
test/regress/regress1/sygus/unbdd_inv_gen_ex7.sy		diff \| blob \| history
test/regress/regress1/sygus/unbdd_inv_gen_winf1.sy		diff \| blob \| history
test/regress/regress1/sygus/unifpi-solve-car_1.lus.sy		diff \| blob \| history
test/regress/regress1/sygus/univ_2-long-repeat.sy		diff \| blob \| history
test/regress/regress2/sygus/DRAGON_1.lus.sy		diff \| blob \| history
test/regress/regress2/sygus/MPwL_d1s3.sy		diff \| blob \| history
test/regress/regress2/sygus/array_sum_dd.sy		diff \| blob \| history
test/regress/regress2/sygus/cegisunif-depth1-bv.sy		diff \| blob \| history
test/regress/regress2/sygus/ex23.sy		diff \| blob \| history
test/regress/regress2/sygus/examples-deq.sy		diff \| blob \| history
test/regress/regress2/sygus/icfp_easy_mt_ite.sy		diff \| blob \| history
test/regress/regress2/sygus/inv_gen_n_c11.sy		diff \| blob \| history
test/regress/regress2/sygus/lustre-real.sy		diff \| blob \| history
test/regress/regress2/sygus/max2-univ.sy		diff \| blob \| history
test/regress/regress2/sygus/min_IC_1.sy		diff \| blob \| history
test/regress/regress2/sygus/mpg_guard1-dd.sy		diff \| blob \| history
test/regress/regress2/sygus/multi-udiv.sy		diff \| blob \| history
test/regress/regress2/sygus/nia-max-square.sy		diff \| blob \| history
test/regress/regress2/sygus/no-syntax-test-no-si.sy		diff \| blob \| history
test/regress/regress2/sygus/pbe_bvurem.sy		diff \| blob \| history
test/regress/regress2/sygus/process-10-vars-2fun.sy		diff \| blob \| history
test/regress/regress2/sygus/process-arg-invariance.sy		diff \| blob \| history
test/regress/regress2/sygus/real-grammar-neg.sy		diff \| blob \| history
test/regress/regress2/sygus/sets-fun-test.sy		diff \| blob \| history
test/regress/regress2/sygus/strings-no-syntax-len.sy		diff \| blob \| history
test/regress/regress2/sygus/three.sy		diff \| blob \| history
test/regress/regress2/sygus/vcb.sy		diff \| blob \| history
test/regress/regress3/sixfuncs.sy		diff \| blob \| history
test/regress/regress3/strings-any-term.sy		diff \| blob \| history

RSS Atom