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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Thu, 2 Aug 2018 22:17:09 +0000 (17:17 -0500)
committer	GitHub <noreply@github.com>
	Thu, 2 Aug 2018 22:17:09 +0000 (17:17 -0500)
commit	df0d51e1541034656fd503dbf5561399b9a3db9f
tree	72c2ca07c8ae4e79e25c53a16c3510bc3f3715d0	tree
parent	5d9fa2555c67e0d6661a69ee93d384f717b6858b	commit \| diff

Parse standard separation logic inputs (#2257)

19 files changed:

src/parser/smt2/Smt2.g		diff \| blob \| history
test/regress/Makefile.tests		diff \| blob \| history
test/regress/regress0/sep/dispose-1.smt2		diff \| blob \| history
test/regress/regress0/sep/dup-nemp.smt2		diff \| blob \| history
test/regress/regress0/sep/nemp.smt2		diff \| blob \| history
test/regress/regress0/sep/sep-simp-unsat-emp.smt2		diff \| blob \| history
test/regress/regress0/sep/skolem_emp.smt2		diff \| blob \| history
test/regress/regress0/sep/trees-1.smt2		diff \| blob \| history
test/regress/regress0/sep/wand-crash.smt2		diff \| blob \| history
test/regress/regress1/sep/emp2-quant-unsat.smt2		diff \| blob \| history
test/regress/regress1/sep/finite-witness-sat.smt2		diff \| blob \| history
test/regress/regress1/sep/fmf-nemp-2.smt2		diff \| blob \| history
test/regress/regress1/sep/quant_wand.smt2		diff \| blob \| history
test/regress/regress1/sep/sl-standard.smt2	[new file with mode: 0644]	blob
test/regress/regress1/sep/split-find-unsat-w-emp.smt2		diff \| blob \| history
test/regress/regress1/sep/wand-0526-sat.smt2		diff \| blob \| history
test/regress/regress1/sep/wand-nterm-simp.smt2		diff \| blob \| history
test/regress/regress1/sep/wand-nterm-simp2.smt2		diff \| blob \| history
test/regress/regress1/sep/wand-simp-unsat.smt2		diff \| blob \| history