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

2012-06-17	Kshitij Bansal	--decision=justification-stoponly : use decision engine...	commit \| commitdiff \| tree
2012-06-16	Kshitij Bansal	Adding the failing QF_AUFLIA regression mentioned in...	commit \| commitdiff \| tree
2012-06-16	Kshitij Bansal	This is an attempt to fix the bug in the justification...	commit \| commitdiff \| tree
2012-06-15	Kshitij Bansal	Bug fix in justification heuristic. Had to do with how	commit \| commitdiff \| tree
2012-06-15	Kshitij Bansal	one bug fixed	commit \| commitdiff \| tree
2012-06-14	Kshitij Bansal	WIP	commit \| commitdiff \| tree
2012-06-14	Kshitij Bansal	add failing regression, move error up	commit \| commitdiff \| tree
2012-06-14	Kshitij Bansal	bug fixes in justification heuristic	commit \| commitdiff \| tree
2012-06-14	Kshitij Bansal	fix quantifier non-bug	commit \| commitdiff \| tree
2012-06-14	Kshitij Bansal	bug ifx, mv	commit \| commitdiff \| tree
2012-06-14	Kshitij Bansal	restore destruction of stuff in driver	commit \| commitdiff \| tree
2012-06-14	Kshitij Bansal	This commit:	commit \| commitdiff \| tree
2012-06-14	Kshitij Bansal	failing quantifier	commit \| commitdiff \| tree
2012-06-14	Kshitij Bansal	fix cout, fix statname, rm deadcode	commit \| commitdiff \| tree
2012-06-14	Kshitij Bansal	add passing regression	commit \| commitdiff \| tree
2012-06-13	Kshitij Bansal	add passing regression	commit \| commitdiff \| tree
2012-06-13	Kshitij Bansal	enable some decision regressions	commit \| commitdiff \| tree
2012-06-13	Kshitij Bansal	Make d_result in DE context dependent	commit \| commitdiff \| tree
2012-06-13	Kshitij Bansal	decision regressions, all but one fail	commit \| commitdiff \| tree
2012-06-12	Kshitij Bansal	bv reduced with decision: sat instead of unsat	commit \| commitdiff \| tree
2012-06-12	Kshitij Bansal	Assert fail equaility_engine.cpp: hasTerm(node) with...	commit \| commitdiff \| tree
2012-06-12	Kshitij Bansal	cleanup of exit mechanism when decisionEngine is on...	commit \| commitdiff \| tree
2012-06-08	Kshitij Bansal	handle BitVectorSignExtend in pickler	commit \| commitdiff \| tree
2012-06-08	Kshitij Bansal	threadlocal	commit \| commitdiff \| tree
2012-06-08	Kshitij Bansal	Merge from decision branch (till r3663)	commit \| commitdiff \| tree
2012-05-25	Kshitij Bansal	init bug fix	commit \| commitdiff \| tree
2012-05-09	Kshitij Bansal	rm something for a future merge that sneaked in	commit \| commitdiff \| tree
2012-05-09	Kshitij Bansal	Merge from decision branch (ITE support)	commit \| commitdiff \| tree
2012-04-25	Kshitij Bansal	portfolio driver: respect parseOnly option	commit \| commitdiff \| tree
2012-04-25	Kshitij Bansal	fix for de+lemmas	commit \| commitdiff \| tree
2012-04-23	Kshitij Bansal	Merge from decision branch -- partially working justificatio...	commit \| commitdiff \| tree
2012-04-18	Kshitij Bansal	add the missing BINARY variable in some test/regress...	commit \| commitdiff \| tree
2012-04-18	Kshitij Bansal	cout -> warning. Happening in portfolio	commit \| commitdiff \| tree
2012-04-17	Kshitij Bansal	A dummy decision engine. Expected performance impact...	commit \| commitdiff \| tree
2012-04-02	Kshitij Bansal	fix for cvc4_logic dump	commit \| commitdiff \| tree
2012-03-02	Kshitij Bansal	Remove some commented out code from sat.h	commit \| commitdiff \| tree
2012-02-22	Kshitij Bansal	minor change to order fn in sat solver's ElimLt	commit \| commitdiff \| tree
2011-10-25	Kshitij Bansal	Initialize resource limit and millisecond limit options	commit \| commitdiff \| tree

RSS Atom