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

2015-10-11	Kshitij Bansal	fix regression tests, support fallback mode for proofs	commit \| commitdiff \| tree
2015-10-11	Liana Hadarean	Default builds are now proof enabled.	commit \| commitdiff \| tree
2015-09-21	Kshitij Bansal	Fix for sets segfault (reported by Ravi Kandhadai)	commit \| commitdiff \| tree
2015-09-02	Kshitij Bansal	fix regressions	commit \| commitdiff \| tree
2015-09-02	Kshitij Bansal	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree
2015-08-21	Kshitij Bansal	better handling for conflicting options with nonlinear...	commit \| commitdiff \| tree
2015-08-21	Kshitij Bansal	Fix bug 649 (errors to regular output channel)	commit \| commitdiff \| tree
2015-08-19	Kshitij Bansal	fix bug 605	commit \| commitdiff \| tree
2015-07-08	Kshitij Bansal	fix bug 650	commit \| commitdiff \| tree
2015-06-30	Kshitij Bansal	fix sets-translate	commit \| commitdiff \| tree
2015-06-30	Kshitij Bansal	fix smt2 parameterized sort printing	commit \| commitdiff \| tree
2015-06-12	Kshitij Bansal	sync options of default-assertions run script with...	commit \| commitdiff \| tree
2015-06-11	Kshitij Bansal	remove runscripts from master meant for experimental...	commit \| commitdiff \| tree
2015-06-09	Kshitij Bansal	bump thread stack size to 1 GB	commit \| commitdiff \| tree
2015-06-09	Kshitij Bansal	make comment precise	commit \| commitdiff \| tree
2015-06-09	Kshitij Bansal	move delete beyond ifdef CVC4_COMPETITION_MODE	commit \| commitdiff \| tree
2015-06-05	Kshitij Bansal	pcvc4 with assertions	commit \| commitdiff \| tree
2015-06-05	Kshitij Bansal	update run script for assertions/scrambled run	commit \| commitdiff \| tree
2015-06-05	Kshitij Bansal	assertions runscript (for testing) derived from current...	commit \| commitdiff \| tree
2015-06-05	Kshitij Bansal	for experimental, use incremental instead of teardown...	commit \| commitdiff \| tree
2015-06-05	Kshitij Bansal	move decision to use teardown or not to logics	commit \| commitdiff \| tree
2015-06-04	Kshitij Bansal	rpl -- "--cbqi" "--cbqi --no-cbqi-sat" run-script-smtcomp201...	commit \| commitdiff \| tree
2015-06-04	Kshitij Bansal	sync exerimental scripts with regular ones	commit \| commitdiff \| tree
2015-06-03	Kshitij Bansal	experimental run scripts	commit \| commitdiff \| tree
2015-06-03	Kshitij Bansal	runscript thread stack 256	commit \| commitdiff \| tree
2015-06-02	Kshitij Bansal	application smtcomp	commit \| commitdiff \| tree
2015-04-22	Kshitij Bansal	Merge pull request #73 from kbansal/parser-dont-tokenize	commit \| commitdiff \| tree
2015-04-17	Kshitij Bansal	Merge pull request #72 from kbansal/decision-requirephase	commit \| commitdiff \| tree
2015-04-16	Kshitij Bansal	disable failing sygus tests	commit \| commitdiff \| tree
2015-04-16	Kshitij Bansal	update comment	commit \| commitdiff \| tree
2015-04-16	Kshitij Bansal	string parser builtinop changes	commit \| commitdiff \| tree
2015-04-16	Kshitij Bansal	bv parserchanges cleanup	commit \| commitdiff \| tree
2015-04-16	Kshitij Bansal	fp builtinop parser changes	commit \| commitdiff \| tree
2015-04-16	Kshitij Bansal	fp reorder tokens to match other occurences	commit \| commitdiff \| tree
2015-04-16	Kshitij Bansal	THEORY_INTS parser changes	commit \| commitdiff \| tree
2015-04-16	Kshitij Bansal	THEORY_REAL_INTS parser changes	commit \| commitdiff \| tree
2015-04-16	Kshitij Bansal	array theory builtinop	commit \| commitdiff \| tree
2015-04-16	Kshitij Bansal	cleanup	commit \| commitdiff \| tree
2015-04-16	Kshitij Bansal	dont tokenize bv operators (normal ones)	commit \| commitdiff \| tree
2015-04-09	Kshitij Bansal	disable string reqressions timing out after change	commit \| commitdiff \| tree
2015-04-09	Kshitij Bansal	DE requests respect requirePhase	commit \| commitdiff \| tree
2015-04-02	Kshitij Bansal	Merge pull request #71 from kbansal/const-are-triggers	commit \| commitdiff \| tree
2015-03-31	Kshitij Bansal	fix no return value warning	commit \| commitdiff \| tree
2015-03-31	Kshitij Bansal	fix echo command in --tear-down-incremental	commit \| commitdiff \| tree
2015-03-25	Kshitij Bansal	change const are triggers from false to true in equality...	commit \| commitdiff \| tree
2015-02-28	Kshitij Bansal	Revert "dummy commit to force nightly builds"	commit \| commitdiff \| tree
2015-02-19	Kshitij Bansal	dummy commit to force nightly builds	commit \| commitdiff \| tree
2015-02-16	Kshitij Bansal	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2015-02-16	Kshitij Bansal	webget: curl follow redirect	commit \| commitdiff \| tree
2015-02-14	Kshitij Bansal	attempt to fix win32 builds	commit \| commitdiff \| tree
2015-02-12	Kshitij Bansal	try curl before wget, workaround for issue with FTP...	commit \| commitdiff \| tree
2014-12-03	Kshitij Bansal	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2014-12-03	Kshitij Bansal	Revert "Disable constants sharing in eq engine, disable...	commit \| commitdiff \| tree
2014-11-19	Kshitij Bansal	Merge pull request #70 from kbansal/sets-for-merge...	commit \| commitdiff \| tree
2014-11-19	Kshitij Bansal	Set Constant's normal form and other short fixes	commit \| commitdiff \| tree
2014-11-11	Kshitij Bansal	Merge pull request #64 from mdeters/theorysets-hashset...	commit \| commitdiff \| tree
2014-10-20	Kshitij Bansal	Merge pull request #59 from kbansal/sets3	commit \| commitdiff \| tree
2014-10-20	Kshitij Bansal	Finish sets type enumerator implementation.	commit \| commitdiff \| tree
2014-10-20	Kshitij Bansal	fix statistic in decision engine	commit \| commitdiff \| tree
2014-10-14	Kshitij Bansal	amend prvs commit	commit \| commitdiff \| tree
2014-10-14	Kshitij Bansal	trace decision-node	commit \| commitdiff \| tree
2014-10-10	Kshitij Bansal	Merge remote-tracking branch 'origin/1.4.x'	commit \| commitdiff \| tree
2014-10-10	Kshitij Bansal	Fix issue with shared but non-preregistered term setup...	commit \| commitdiff \| tree
2014-10-08	Kshitij Bansal	Fix portoflio issues (debugging code was being called...	commit \| commitdiff \| tree
2014-10-07	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	commit \| commitdiff \| tree
2014-10-07	Kshitij Bansal	update default Sets options	commit \| commitdiff \| tree
2014-10-07	Kshitij Bansal	whitespace fixes	commit \| commitdiff \| tree
2014-10-07	Kshitij Bansal	add couple of stats	commit \| commitdiff \| tree
2014-10-07	Kshitij Bansal	sets stronger equality propagator	commit \| commitdiff \| tree
2014-10-02	Kshitij Bansal	fix getModelValue(<non-preregistered term>)	commit \| commitdiff \| tree
2014-09-18	Kshitij Bansal	cvc4terminate infinite loop fix	commit \| commitdiff \| tree
2014-09-18	Kshitij Bansal	cvc4terminate infinite loop fix	commit \| commitdiff \| tree
2014-09-17	Kshitij Bansal	Merge branch '1.4.x' while ignoring commit 8d5eb49.	commit \| commitdiff \| tree
2014-09-17	Kshitij Bansal	Fix fix. There are no unsat cores in 1.4	commit \| commitdiff \| tree
2014-09-17	Kshitij Bansal	Merge branch '1.4.x'	commit \| commitdiff \| tree
2014-09-17	Kshitij Bansal	Fix (push) and (pop). Thanks to Christoph Sticksel...	commit \| commitdiff \| tree
2014-09-04	Kshitij Bansal	Update command_executor_portfolio.cpp	commit \| commitdiff \| tree
2014-09-03	Kshitij Bansal	Merge remote-tracking branch 'origin/master'	commit \| commitdiff \| tree
2014-09-03	Kshitij Bansal	check() optimization	commit \| commitdiff \| tree
2014-08-24	Kshitij Bansal	remove some debugging code	commit \| commitdiff \| tree
2014-08-24	Kshitij Bansal	improvements to sets sharing	commit \| commitdiff \| tree
2014-08-24	Kshitij Bansal	fix option alias (minor)	commit \| commitdiff \| tree
2014-08-24	Kshitij Bansal	fix type in sets_translate	commit \| commitdiff \| tree
2014-08-15	Kshitij Bansal	Update smt_engine.cpp	commit \| commitdiff \| tree
2014-07-21	Kshitij Bansal	initialization in model_engine	commit \| commitdiff \| tree
2014-07-21	Kshitij Bansal	run_regression using valgrind by setting VALGRIND=1	commit \| commitdiff \| tree
2014-07-11	Kshitij Bansal	fix for windows build	commit \| commitdiff \| tree
2014-07-11	Kshitij Bansal	Merge pull request #48 from kbansal/segfaultfix	commit \| commitdiff \| tree
2014-07-11	Kshitij Bansal	Merge pull request #49 from kbansal/cvcparser	commit \| commitdiff \| tree
2014-07-10	Kshitij Bansal	rm warning	commit \| commitdiff \| tree
2014-07-10	Kshitij Bansal	membership cvc token changed to `IS_IN' to avoid conflict...	commit \| commitdiff \| tree
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfaultfix	commit \| commitdiff \| tree
2014-07-10	Kshitij Bansal	friendlyparser: go back upto 2 words looking for match	commit \| commitdiff \| tree
2014-07-10	Kshitij Bansal	reorganize friendlyparser, behavior unchanged	commit \| commitdiff \| tree
2014-07-09	Kshitij Bansal	sets cvc parser	commit \| commitdiff \| tree
2014-07-09	Kshitij Bansal	sets cvc printer	commit \| commitdiff \| tree
2014-07-04	Kshitij Bansal	initialize variables	commit \| commitdiff \| tree
2014-07-03	Kshitij Bansal	change lemma generation behavior	commit \| commitdiff \| tree
2014-07-01	Kshitij Bansal	Update portfolio_util.cpp	commit \| commitdiff \| tree
2014-07-01	Kshitij Bansal	chat about thread creation	commit \| commitdiff \| tree
next

RSS Atom