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

2014-03-11	Morgan Deters	Fix for (get-assignment), resolves bug 553.	commit \| commitdiff \| tree
2014-03-11	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2014-03-11	Morgan Deters	Fix some Win32 and SMT-LIB compliance bugs discovered...	commit \| commitdiff \| tree
2014-03-08	Morgan Deters	Re-fix bug 551 by adding a check to the arith ITE simplifier...	commit \| commitdiff \| tree
2014-03-08	Morgan Deters	Remove --ite-remove-quant; support pulling ground ITEs...	commit \| commitdiff \| tree
2014-03-08	Morgan Deters	Fix run_regression on Mac.	commit \| commitdiff \| tree
2014-03-08	Morgan Deters	Fix bug 554 (nominally).	commit \| commitdiff \| tree
2014-03-07	Morgan Deters	Fix strings-exp setting.	commit \| commitdiff \| tree
2014-03-07	Thomas Hunger	Add swig renames for new Z3STR language. Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>	commit \| commitdiff \| tree
2014-03-04	Thomas Hunger	Guard java-specific swig code with SWIGJAVA. Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>	commit \| commitdiff \| tree
2014-03-04	Morgan Deters	Don't theory-preprocess under quantifiers; but DO theory...	commit \| commitdiff \| tree
2014-03-04	Morgan Deters	More useful error message when someone tries mkExpr...	commit \| commitdiff \| tree
2014-02-25	Morgan Deters	Minor code clean up in parser.	commit \| commitdiff \| tree
2014-02-25	Morgan Deters	New translation work, support Z3-str-style string constraints.	commit \| commitdiff \| tree
2014-02-25	Morgan Deters	Fix quotes in string constants.	commit \| commitdiff \| tree
2014-02-21	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2014-02-21	Morgan Deters	No diamond-breaking under quantifiers (resolves bug...	commit \| commitdiff \| tree
2014-02-21	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2014-02-21	Morgan Deters	Fix two variants of Node::substitute().	commit \| commitdiff \| tree
2014-02-21	Morgan Deters	Fix makefile dependence for system tests.	commit \| commitdiff \| tree
2014-02-19	Morgan Deters	String parsing example in CVC parser	commit \| commitdiff \| tree
2014-02-17	Morgan Deters	Fix for strings-exp: enable quantifiers	commit \| commitdiff \| tree
2014-02-17	Morgan Deters	Fix strings preprocessing for justification heuristic	commit \| commitdiff \| tree
2014-02-11	Morgan Deters	Fix build (some nonexistent files listed in Makefile)	commit \| commitdiff \| tree
2014-02-06	Morgan Deters	Minor fix for previous commit	commit \| commitdiff \| tree
2014-02-06	Morgan Deters	Oops.. premature push on lexer fix (remove debugging...	commit \| commitdiff \| tree
2014-02-06	Morgan Deters	Fixes for escape-handling for string literals in SMT...	commit \| commitdiff \| tree
2014-01-27	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2014-01-27	Morgan Deters	URL update	commit \| commitdiff \| tree
2014-01-22	Morgan Deters	Some minor fixes to SmtEngine strings settings.	commit \| commitdiff \| tree
2014-01-22	Morgan Deters	Delay QuantifiersEngine and UF strong solver initialization...	commit \| commitdiff \| tree
2014-01-18	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2014-01-18	Morgan Deters	Fix for quote-escaping in smt2 printer	commit \| commitdiff \| tree
2014-01-09	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2014-01-09	Morgan Deters	gmp is again default, not cln, for build ID (reverting...	commit \| commitdiff \| tree
2014-01-08	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2014-01-08	Morgan Deters	Switch license default back to BSD, and add --best...	commit \| commitdiff \| tree
2014-01-08	Morgan Deters	Cache apt packages on Travis.	commit \| commitdiff \| tree
2014-01-08	Morgan Deters	Fix LogicInfo parsing for string logics	commit \| commitdiff \| tree
2014-01-08	Morgan Deters	Fix LogicInfo parsing for string logics	commit \| commitdiff \| tree
2014-01-02	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2014-01-02	Morgan Deters	Update copyright year.	commit \| commitdiff \| tree
2013-12-27	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-27	Morgan Deters	Fix for ANTLR warning.	commit \| commitdiff \| tree
2013-12-25	Morgan Deters	fix for some nightly build failures	commit \| commitdiff \| tree
2013-12-24	Morgan Deters	Cleanup related to output language fix.	commit \| commitdiff \| tree
2013-12-24	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-24	Morgan Deters	Better automatic handling of output language setting.	commit \| commitdiff \| tree
2013-12-24	Morgan Deters	Better get-value parse error message for common user...	commit \| commitdiff \| tree
2013-12-24	Morgan Deters	Minor code cleanup.	commit \| commitdiff \| tree
2013-12-24	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-24	Morgan Deters	Java datatype API fixups, datatype API examples	commit \| commitdiff \| tree
2013-12-23	Morgan Deters	cln now default w.r.t. build ID string	commit \| commitdiff \| tree
2013-12-23	Morgan Deters	Proof-checking code; fixups of segfaults and missing...	commit \| commitdiff \| tree
2013-12-22	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-22	Morgan Deters	Fix to interactive mode determination.	commit \| commitdiff \| tree
2013-12-22	Morgan Deters	Fix option specification.	commit \| commitdiff \| tree
2013-12-18	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-18	Morgan Deters	Fix an autoconf issue with CLN in some configurations...	commit \| commitdiff \| tree
2013-12-18	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-18	Morgan Deters	Fix configure handling for CLN (should fix win32 nightly...	commit \| commitdiff \| tree
2013-12-18	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-18	Morgan Deters	Reduce autoconf version for dependence (should fix...	commit \| commitdiff \| tree
2013-12-18	Morgan Deters	Add missing regression-results directory.	commit \| commitdiff \| tree
2013-12-17	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-17	Morgan Deters	configure --with-portfolio disables CLN.	commit \| commitdiff \| tree
2013-12-17	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-17	Morgan Deters	some config changes: new --bsd option, readline gives...	commit \| commitdiff \| tree
2013-12-17	Morgan Deters	First attempt at incorporating LFSC proof checker into...	commit \| commitdiff \| tree
2013-12-16	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-16	Morgan Deters	Send Travis-CI emails to everyone	commit \| commitdiff \| tree
2013-12-16	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-16	Morgan Deters	Fix for bug 544.	commit \| commitdiff \| tree
2013-12-14	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-14	Morgan Deters	Another fix for clang.	commit \| commitdiff \| tree
2013-12-14	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-14	Morgan Deters	Fix stack size on in-tree regressions.	commit \| commitdiff \| tree
2013-12-13	Morgan Deters	cleanup	commit \| commitdiff \| tree
2013-12-13	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-13	Morgan Deters	Fix link error when using clang.	commit \| commitdiff \| tree
2013-12-13	Morgan Deters	Fix to Travis-CI config.	commit \| commitdiff \| tree
2013-12-13	Morgan Deters	Fix to Travis-CI config.	commit \| commitdiff \| tree
2013-12-13	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-13	Morgan Deters	Travis-CI configuration.	commit \| commitdiff \| tree
2013-12-13	Morgan Deters	Some minor cleanup.	commit \| commitdiff \| tree
2013-12-11	Morgan Deters	Update NEWS.	commit \| commitdiff \| tree
2013-12-11	Morgan Deters	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-11	Morgan Deters	Fix timer statistics to report correct time even on...	commit \| commitdiff \| tree
2013-12-11	Morgan Deters	Whitespace.	commit \| commitdiff \| tree
2013-12-11	Morgan Deters	Fix warning.	commit \| commitdiff \| tree
2013-12-11	Morgan Deters	Remove "NodeValue width" output	commit \| commitdiff \| tree
2013-12-11	Morgan Deters	GLPK build identifier, license warnings.	commit \| commitdiff \| tree
2013-12-11	Morgan Deters	Fix timer statistics to report correct time even on...	commit \| commitdiff \| tree
2013-12-11	Morgan Deters	Whitespace.	commit \| commitdiff \| tree
2013-12-11	Morgan Deters	Fix warning.	commit \| commitdiff \| tree
2013-12-10	Morgan Deters	Remove "NodeValue width" output	commit \| commitdiff \| tree
2013-12-09	Morgan Deters	GLPK build identifier, license warnings.	commit \| commitdiff \| tree
2013-12-06	Morgan Deters	Initializing master for next version.	commit \| commitdiff \| tree
2013-12-06	Morgan Deters	Initializing 1.3.x branch.	commit \| commitdiff \| tree
2013-12-06	Morgan Deters	Cutting release 1.3.	commit \| commitdiff \| tree
next

RSS Atom