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

[cvc5.git] / src / expr / node_manager.h

2016-09-12	ajreynol	Ensure sep.nil is unique per type at NodeManager level...	blob \| commitdiff \| raw
2016-06-20	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-06-17	ajreynol	Cleanup from last commit, treat sep.nil as variable...	blob \| commitdiff \| raw \| diff to current
2016-04-14	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-14	ajreynol	Add missing function for regexp to expr manager.	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2016-02-16	ajreynol	More simplification to internal implementation of tuple...	blob \| commitdiff \| raw \| diff to current
2016-02-15	ajreynol	Eliminate most of the internal representation infrastru...	blob \| commitdiff \| raw \| diff to current
2016-01-28	Tim King	Adding listeners to Options.	blob \| commitdiff \| raw \| diff to current
2015-12-24	Tim King	Miscellaneous fixes	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2014-12-04	Martin Brain	Floating point infrastructure.	blob \| commitdiff \| raw \| diff to current
2014-11-27	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-11-17	Liana Hadarean	Resource-limiting work.	blob \| commitdiff \| raw \| diff to current
2014-11-10	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-05	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-17	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-16	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-14	Morgan Deters	Merge pull request #58 from mdeters/smt-attributes	blob \| commitdiff \| raw \| diff to current
2014-10-14	Morgan Deters	Context-dependent expr attributes are now attached...	blob \| commitdiff \| raw \| diff to current
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-04-28	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	nodemanager robust skolem numbering	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	Merge pull request #25 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-04-17	Kshitij Bansal	simplify mkSkolem naming system: don't use $$	blob \| commitdiff \| raw \| diff to current
2014-04-01	Tim King	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-26	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-21	Kshitij Bansal	Merge pull request #22 from kbansal/sets-model	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Minor cleanup.	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Kshitij Bansal	Merge pull request #10 from kbansal/sets-for-merge	blob \| commitdiff \| raw \| diff to current
2014-02-21	Kshitij Bansal	add new theory (sets)	blob \| commitdiff \| raw \| diff to current
2013-12-05	Morgan Deters	Update copyrights, add missing file-level documentation...	blob \| commitdiff \| raw \| diff to current
2013-11-26	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-25	Tim King	Merge remote-tracking branch 'CVC4root/master'	blob \| commitdiff \| raw \| diff to current
2013-11-25	Tim King	Substantial Changes:	blob \| commitdiff \| raw \| diff to current
2013-11-21	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-21	Tim King	Adding the changes needed to delete rewriter attributes...	blob \| commitdiff \| raw \| diff to current
2013-11-11	Morgan Deters	Flatten libcvc4 build structure; remove some #include...	blob \| commitdiff \| raw \| diff to current
2013-11-07	Morgan Deters	Flatten libcvc4 build structure; remove some #include...	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-09-13	Kshitij Bansal	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-09-11	Tianyi Liang	Theory of strings.	blob \| commitdiff \| raw \| diff to current
2013-09-09	Morgan Deters	Fix declare-datatypes dumping bug (bug 385).	blob \| commitdiff \| raw \| diff to current
2013-09-09	Morgan Deters	Support empty (and 1-ary) tuples and records.	blob \| commitdiff \| raw \| diff to current
2013-09-05	Morgan Deters	Fix declare-fun/define-fun in dumps; resolves bugs...	blob \| commitdiff \| raw \| diff to current
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-07-11	Morgan Deters	Support for TPTP's TFF0 (with arithmetic)	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2012-12-01	Morgan Deters	Fix the way abstract values are typed; fixes some compl...	blob \| commitdiff \| raw \| diff to current
2012-11-29	Kshitij Bansal	Hack to support global variables for CVC language exten...	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	First chunk of boolean-terms support.	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	Tuples and records merge. Resolves bug 270.	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Fix wording on GPL in legal notices; also remove an...	blob \| commitdiff \| raw \| diff to current
2012-09-26	Morgan Deters	The Tuesday Afternoon Catch-All Commit (TACAC):	blob \| commitdiff \| raw \| diff to current
2012-09-24	Dejan Jovanović	some api changes	blob \| commitdiff \| raw \| diff to current
2012-09-19	Morgan Deters	General subscriber infrastructure for NodeManager,...	blob \| commitdiff \| raw \| diff to current
2012-08-24	Morgan Deters	* disallow internal uses of mkVar() (you have to mkSkol...	blob \| commitdiff \| raw \| diff to current
2012-08-24	Morgan Deters	fix get-value output in a couple ways; this fixes bug...	blob \| commitdiff \| raw \| diff to current
2012-08-13	Morgan Deters	Minor cleanup. No performance difference expected.	blob \| commitdiff \| raw \| diff to current
2012-08-07	Morgan Deters	Some items from the CVC4 public interface review:	blob \| commitdiff \| raw \| diff to current
2012-08-03	Morgan Deters	fix uses of getMetaKind() from outside the expr package...	blob \| commitdiff \| raw \| diff to current
2012-07-31	Morgan Deters	Options merge. This commit:	blob \| commitdiff \| raw \| diff to current
2012-07-16	Morgan Deters	Support for having two SmtEngines with the same ExprMan...	blob \| commitdiff \| raw \| diff to current
2012-07-07	Morgan Deters	Various fixes to documentation---typos, some incomplete...	blob \| commitdiff \| raw \| diff to current
2012-06-12	Morgan Deters	minor cleanup, and replace a "private:" in equality...	blob \| commitdiff \| raw \| diff to current
2012-06-11	Morgan Deters	Merge from quantifiers2-trunkmerge branch.	blob \| commitdiff \| raw \| diff to current
2012-05-18	Tim King	This commit adds TypeNode::leastCommonTypeNode(). ...	blob \| commitdiff \| raw \| diff to current
2012-05-18	Tim King	This commit removes the dead psuedoboolean code.	blob \| commitdiff \| raw \| diff to current
2012-05-11	Morgan Deters	output a warning message when a function type (or datat...	blob \| commitdiff \| raw \| diff to current
2012-04-18	Dejan Jovanović	disabling the problematic pragma in node_manager.h...	blob \| commitdiff \| raw \| diff to current
2012-04-17	Dejan Jovanović	Fix for thos annoying "array index" warnings in product...	blob \| commitdiff \| raw \| diff to current
2012-03-01	Morgan Deters	Partial merge from kind-backend branch, including Minis...	blob \| commitdiff \| raw \| diff to current
2012-02-23	Morgan Deters	Added ability to set a "cvc4-specific logic" in standar...	blob \| commitdiff \| raw \| diff to current
2012-02-20	Morgan Deters	portfolio merge	blob \| commitdiff \| raw \| diff to current
2011-11-16	Morgan Deters	Addressed many of the concerns raised in the public...	blob \| commitdiff \| raw \| diff to current
2011-11-04	Morgan Deters	STRING_TYPE and CONST_STRING and associate type infrast...	blob \| commitdiff \| raw \| diff to current
2011-10-13	Morgan Deters	Interruption, time-out, and deterministic time-out...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Partial merge of integers work; this is simple B&B...	blob \| commitdiff \| raw \| diff to current
2011-06-30	Morgan Deters	only use theory registration if (1) a theory requests...	blob \| commitdiff \| raw \| diff to current
2011-06-06	Morgan Deters	Fix for Mac OS breakage (x86 didn't crash, but probably...	blob \| commitdiff \| raw \| diff to current
2011-05-14	Morgan Deters	reverting node manager change from 1881; also part...	blob \| commitdiff \| raw \| diff to current
2011-05-13	Andrew Reynolds	added support for parametric datatypes, updated cvc...	blob \| commitdiff \| raw \| diff to current
2011-04-20	Morgan Deters	Tuesday end-of-day commit.	blob \| commitdiff \| raw \| diff to current
2011-04-18	Morgan Deters	mostly CVC presentation language parsing and printing	blob \| commitdiff \| raw \| diff to current
2011-04-18	Morgan Deters	Partial merge from datatypes-merge branch:	blob \| commitdiff \| raw \| diff to current
2011-04-15	Morgan Deters	partial merge from portfolio branch, adding conversions...	blob \| commitdiff \| raw \| diff to current
next

RSS Atom