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

2014-04-17	Kshitij Bansal	simplify mkSkolem naming system: don't use $$	commit \| commitdiff \| tree
2014-04-17	Kshitij Bansal	use internal skolem numbering	commit \| commitdiff \| tree
2014-04-10	Kshitij Bansal	refactor .travis.yml	commit \| commitdiff \| tree
2014-04-09	Kshitij Bansal	Merge pull request #24 from kbansal/sets-model	commit \| commitdiff \| tree
2014-04-09	Kshitij Bansal	fix get-info error-behavior	commit \| commitdiff \| tree
2014-04-09	Kshitij Bansal	add tests	commit \| commitdiff \| tree
2014-04-09	Kshitij Bansal	fix	commit \| commitdiff \| tree
2014-04-09	Kshitij Bansal	prep for fix	commit \| commitdiff \| tree
2014-04-09	Kshitij Bansal	try foreach on CD datastructure	commit \| commitdiff \| tree
2014-04-09	Kshitij Bansal	inputs to trigger bug	commit \| commitdiff \| tree
2014-04-09	Kshitij Bansal	more	commit \| commitdiff \| tree
2014-04-09	Kshitij Bansal	some debugging changes	commit \| commitdiff \| tree
2014-04-06	Kshitij Bansal	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2014-04-06	Kshitij Bansal	fix for hiding prompt/header in shell, error-behavior...	commit \| commitdiff \| tree
2014-03-30	Kshitij Bansal	Merge pull request #23 from kbansal/sets-model	commit \| commitdiff \| tree
2014-03-28	Kshitij Bansal	rm old unused code	commit \| commitdiff \| tree
2014-03-28	Kshitij Bansal	get-antlr error on missing config.guess	commit \| commitdiff \| tree
2014-03-28	Kshitij Bansal	add construles, type_rules rm redundant, kinds cleanup	commit \| commitdiff \| tree
2014-03-21	Kshitij Bansal	Merge pull request #22 from kbansal/sets-model	commit \| commitdiff \| tree
2014-03-20	Kshitij Bansal	cleanup	commit \| commitdiff \| tree
2014-03-20	Kshitij Bansal	fix for sets/mar2014/..317minimized..	commit \| commitdiff \| tree
2014-03-20	Kshitij Bansal	Fix for registration issues of term appearing in a...	commit \| commitdiff \| tree
2014-03-20	Kshitij Bansal	rewriter fix, weaken an assertion	commit \| commitdiff \| tree
2014-03-20	Kshitij Bansal	constant normal form and rewrite	commit \| commitdiff \| tree
2014-03-20	Kshitij Bansal	fix a sharing issues with sets	commit \| commitdiff \| tree
2014-03-20	Kshitij Bansal	push subtyping for sets to the element type	commit \| commitdiff \| tree
2014-03-20	Kshitij Bansal	enable check-models for sets/ regressions	commit \| commitdiff \| tree
2014-03-20	Kshitij Bansal	work on set model	commit \| commitdiff \| tree
2014-03-20	Kshitij Bansal	testlemma regressions	commit \| commitdiff \| tree
2014-03-05	Kshitij Bansal	Merge pull request #14 from kbansal/sets-parserchanges	commit \| commitdiff \| tree
2014-03-05	Kshitij Bansal	Array smtlib compliance tests	commit \| commitdiff \| tree
2014-03-05	Kshitij Bansal	Revert "fix naming conflicts in benchmarks"	commit \| commitdiff \| tree
2014-03-05	Kshitij Bansal	Don't tokenize SET_THEORY operators in smt2 parser	commit \| commitdiff \| tree
2014-02-28	Kshitij Bansal	Merge pull request #12 from kbansal/in-to-member	commit \| commitdiff \| tree
2014-02-28	Kshitij Bansal	theory/sets: cleanup	commit \| commitdiff \| tree
2014-02-28	Kshitij Bansal	rename kind::IN to kind::MEMBER (fixes some windows...	commit \| commitdiff \| tree
2014-02-28	Kshitij Bansal	Merge pull request #11 from kbansal/improve-stats-every...	commit \| commitdiff \| tree
2014-02-27	Kshitij Bansal	--stats-every-query option: print increment in addition...	commit \| commitdiff \| tree
2014-02-21	Kshitij Bansal	portfolio: fix export of emptyset	commit \| commitdiff \| tree
2014-02-21	Kshitij Bansal	disable test cvc3_main, attempt to fix dist_check	commit \| commitdiff \| tree
2014-02-21	Kshitij Bansal	Merge pull request #10 from kbansal/sets-for-merge	commit \| commitdiff \| tree
2014-02-21	Kshitij Bansal	option to print stats after every satisfiability or...	commit \| commitdiff \| tree
2014-02-21	Kshitij Bansal	add new theory (sets)	commit \| commitdiff \| tree
2014-02-21	Kshitij Bansal	fix a -Wunused	commit \| commitdiff \| tree
2014-02-20	Kshitij Bansal	portfolio: add stat to track time spent waiting for...	commit \| commitdiff \| tree
2014-01-17	Kshitij Bansal	Merge branch '1.3.x'	commit \| commitdiff \| tree
2014-01-17	Kshitij Bansal	enable search for html doc	commit \| commitdiff \| tree
2013-12-09	Kshitij Bansal	mv prp to regress1	commit \| commitdiff \| tree
2013-12-09	Kshitij Bansal	fix bug 542	commit \| commitdiff \| tree
2013-12-09	Kshitij Bansal	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-09	Kshitij Bansal	mv prp to regress1	commit \| commitdiff \| tree
2013-12-07	Kshitij Bansal	Merge branch '1.3.x'	commit \| commitdiff \| tree
2013-12-07	Kshitij Bansal	fix bug 542	commit \| commitdiff \| tree
2013-12-03	Kshitij Bansal	rm ChangeLog (use NEWS)	commit \| commitdiff \| tree
2013-10-17	Kshitij Bansal	minor fix to last commit (gitignore)	commit \| commitdiff \| tree
2013-10-17	Kshitij Bansal	.gitignore personal configuration files	commit \| commitdiff \| tree
2013-09-13	Kshitij Bansal	Merge branch 'master' of https://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2013-09-12	Kshitij Bansal	fix bug 534: portfolio define-fun duplicate model	commit \| commitdiff \| tree
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	commit \| commitdiff \| tree
2013-08-26	Kshitij Bansal	bug 374 fix: assert litVal=desiredVal only for leaf...	commit \| commitdiff \| tree
2013-08-26	Kshitij Bansal	Bug 374 benchmarks	commit \| commitdiff \| tree
2013-05-09	Kshitij Bansal	Merge branch 'master' of ssh://github.com/CVC4/CVC4	commit \| commitdiff \| tree
2013-05-08	Kshitij Bansal	rm decision/relevancy	commit \| commitdiff \| tree
2013-04-30	Kshitij Bansal	add decision_attributes.h for make dist	commit \| commitdiff \| tree
2013-04-29	Kshitij Bansal	Merge pull request #9 from kbansal/master	commit \| commitdiff \| tree
2013-04-26	Kshitij Bansal	Merge experimental decisionweight branch Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu> Author: Kshitij Bansal <kshitij@cs.nyu.edu>	commit \| commitdiff \| tree
2013-04-17	Kshitij Bansal	bool flatten: node num_children workaround	commit \| commitdiff \| tree
2013-04-17	Kshitij Bansal	boolean flatten: bug fix in dfs search	commit \| commitdiff \| tree
2013-04-17	Kshitij Bansal	boolean flatten rewrite: dont re-rewrite	commit \| commitdiff \| tree
2013-04-17	Kshitij Bansal	generalize to handle and	commit \| commitdiff \| tree
2013-04-16	Kshitij Bansal	flatten or nodes	commit \| commitdiff \| tree
2013-03-25	Kshitij Bansal	Merge pull request #7 from kbansal/portfolio	commit \| commitdiff \| tree
2013-03-25	Kshitij Bansal	finish removal of separateOutput	commit \| commitdiff \| tree
2013-02-17	Kshitij Bansal	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-02-17	Kshitij Bansal	gitinfo modifications fix	commit \| commitdiff \| tree
2013-02-17	Kshitij Bansal	Merge pull request #6 from kbansal/decNewoptions	commit \| commitdiff \| tree
2013-02-17	Kshitij Bansal	decision: jh: more refactoring (.h->.cpp, xor/iff)	commit \| commitdiff \| tree
2013-02-17	Kshitij Bansal	decision/ : jh: refactor embedded ITE, other minor	commit \| commitdiff \| tree
2013-02-17	Kshitij Bansal	decision/: justification: refactor ITE out	commit \| commitdiff \| tree
2013-02-17	Kshitij Bansal	refactoring justification_heuristic code	commit \| commitdiff \| tree
2013-02-16	Kshitij Bansal	rm decision jh GiveUp related code	commit \| commitdiff \| tree
2013-02-15	Kshitij Bansal	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-02-15	Kshitij Bansal	prvs commit: lower warning to notice Signed-off-by: Kshitij Bansal <kshitij@cs.nyu.edu>	commit \| commitdiff \| tree
2013-02-15	Kshitij Bansal	Merge branch '1.0.x'	commit \| commitdiff \| tree
2013-02-15	Kshitij Bansal	make incremental+portfolio experimental	commit \| commitdiff \| tree
2013-02-15	Kshitij Bansal	Merge pull request #5 from kbansal/1.0.x	commit \| commitdiff \| tree
2013-02-15	Kshitij Bansal	make incremental+portfolio experimental	commit \| commitdiff \| tree
2013-02-05	Kshitij Bansal	Merge remote-tracking branch 'origin/1.0.x'	commit \| commitdiff \| tree
2013-02-05	Kshitij Bansal	Merge pull request #3 from kbansal/1.0.x	commit \| commitdiff \| tree
2013-02-05	Kshitij Bansal	decision/ : save d_prvsIndex in JH	commit \| commitdiff \| tree
2012-12-07	Kshitij Bansal	Fix performance issue in a DFS search (bug 474)	commit \| commitdiff \| tree
2012-12-06	Kshitij Bansal	Fix performance issue in a DFS search (bug 474)	commit \| commitdiff \| tree
2012-12-04	Kshitij Bansal	* Add support for --decision=justification + incremental...	commit \| commitdiff \| tree
2012-11-29	Kshitij Bansal	reliable benchmark corresponding to bug468	commit \| commitdiff \| tree
2012-11-29	Kshitij Bansal	Hack to support global variables for CVC language extended...	commit \| commitdiff \| tree
2012-11-28	Kshitij Bansal	fix a potential race (have failed to reproduce)	commit \| commitdiff \| tree
2012-11-28	Kshitij Bansal	treat all get commands like getValue (send only to...	commit \| commitdiff \| tree
2012-11-28	Kshitij Bansal	minor	commit \| commitdiff \| tree
2012-11-27	Kshitij Bansal	fix in CommandSequence invoke : maintain success/failure...	commit \| commitdiff \| tree
2012-11-27	Kshitij Bansal	Simplify --help=decision with only currently supported...	commit \| commitdiff \| tree
next

RSS Atom