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

projects / cvc5.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: ec86769) | patch

author	Morgan Deters <mdeters@gmail.com>
	Sat, 9 Oct 2010 09:49:35 +0000 (09:49 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Sat, 9 Oct 2010 09:49:35 +0000 (09:49 +0000)
commit	0131e18b811bdf2825a1cde5a6d68d523b19aacc
tree	9c4dcb4c1bf355b943926a5df85d3c3446750878	tree
parent	ec86769172d29ff7f5ed959866ecef339264552b	commit \| diff

support for SMT-LIBv2 :named attributes, and attributes in general; zero-ary define-fun; several set-info, set-option, get-option, get-info improvementss

12 files changed: