git.libre-soc.org Git - cvc5.git/history - src/expr/node

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

2020-08-12	Andrew Reynolds	Final preparations for changing API to use the Node...	blob \| commitdiff \| raw
2020-08-02	Andrew Reynolds	Add methods for constructing datatype types from NodeMa...	blob \| commitdiff \| raw \| diff to current
2020-07-17	Andres Noetzli	Add NodeManagerScopes to fix use-after-free issues...	blob \| commitdiff \| raw \| diff to current
2020-07-07	Andrew Reynolds	Transfer ownership of internal Options from NodeManager...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-06-06	Andres Noetzli	Fix destruction order in NodeManager (#4578)	blob \| commitdiff \| raw \| diff to current
2020-06-05	Andrew Reynolds	(proof-new) Rename ProofSkolemCache to SkolemManager...	blob \| commitdiff \| raw \| diff to current
2020-06-03	Haniel Barbosa	(proof-new) Adding rules and proof checker for EUF...	blob \| commitdiff \| raw \| diff to current
2020-05-30	Andrew Reynolds	Add the sequence type (#4539)	blob \| commitdiff \| raw \| diff to current
2020-04-14	Andrew Reynolds	Remove early type check option (#4234)	blob \| commitdiff \| raw \| diff to current
2020-04-08	Andrew Reynolds	Eliminate call to currentNM within NodeManager (#4227)	blob \| commitdiff \| raw \| diff to current
2020-03-27	Andrew Reynolds	Do not require that function sorts are first class...	blob \| commitdiff \| raw \| diff to current
2020-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	blob \| commitdiff \| raw \| diff to current
2020-02-20	Mathias Preiner	resource manager: Add statistic for every resource...	blob \| commitdiff \| raw \| diff to current
2019-12-16	Andrew Reynolds	Move Datatype management to ExprManager (#3568)	blob \| commitdiff \| raw \| diff to current
2019-12-12	Andrew Reynolds	Activate node-level datatype API (#3540)	blob \| commitdiff \| raw \| diff to current
2019-12-06	Andrew Reynolds	Add ExprManager as argument to Datatype (#3535)	blob \| commitdiff \| raw \| diff to current
2019-12-06	Andrew Reynolds	Introduce the Node-level Datatypes API (#3462)	blob \| commitdiff \| raw \| diff to current
2019-11-11	Andrew Reynolds	Add missing utilities for Node-level Datatype API ...	blob \| commitdiff \| raw \| diff to current
2019-10-30	Mathias Preiner	Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...	blob \| commitdiff \| raw \| diff to current
2019-03-29	Andres Noetzli	Fix freeing nodes with maxed refcounts (#2903)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-08-08	Andres Noetzli	Require Swig 3 (#2283)	blob \| commitdiff \| raw \| diff to current
2018-08-02	Andrew Reynolds	Fix issues with printing parametric datatypes in smt2...	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-03-02	Aina Niemetz	Fixed typo.	blob \| commitdiff \| raw \| diff to current
2018-01-17	Tim King	Removes yet more throw specifiers. Updating the documen...	blob \| commitdiff \| raw \| diff to current
2017-09-14	Andrew Reynolds	Add isConst check for lambda expressions. (#1084)	blob \| commitdiff \| raw \| diff to current
2017-08-31	Andres Noetzli	Use thread_local instead of compiler extensions (#210)	blob \| commitdiff \| raw \| diff to current
2017-07-21	Tim King	Merge branch 'master' into cleanup-regexp	blob \| commitdiff \| raw \| diff to current
2017-07-21	Tim King	Moving from the gnu extensions for hash maps to the...	blob \| commitdiff \| raw \| diff to current
2017-07-13	Aina Niemetz	Merge pull request #188 from aniemetz/cx11	blob \| commitdiff \| raw \| diff to current
2017-07-12	ajreynol	Make type rules more strict for operators whose type...	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-04-14	ajreynol	Actively split for upwards closusure intersection....	blob \| commitdiff \| raw \| diff to current
2017-04-14	ajreynol	Fix bug related to portfolio with nullary operators.	blob \| commitdiff \| raw \| diff to current
2017-04-14	ajreynol	Fix nullary operator printers, minor.	blob \| commitdiff \| raw \| diff to current
2017-04-12	ajreynol	Add nullary operator metakind.	blob \| commitdiff \| raw \| diff to current
2017-03-02	ajreynol	Eliminate Boolean term conversion. Generalizes removeIT...	blob \| commitdiff \| raw \| diff to current
2017-01-04	Andrew Reynolds	Merge pull request #122 from 4tXJ7f/fix_lfsc_str	blob \| commitdiff \| raw \| diff to current
2017-01-04	guykatzz	Merge pull request #120 from 4tXJ7f/fix_f_pp_holes	blob \| commitdiff \| raw \| diff to current
2017-01-04	Andrew Reynolds	Merge pull request #121 from 4tXJ7f/fix_lfsc_mem_leaks	blob \| commitdiff \| raw \| diff to current
2016-12-29	Tim King	Eliminating a signed vs. unsigned comparison.	blob \| commitdiff \| raw \| diff to current
2016-11-12	Tim King	Merge pull request #105 from timothy-king/delete-maxed-out	blob \| commitdiff \| raw \| diff to current
2016-11-10	Tim King	Adding garbage collection of nodes with maxed out refer...	blob \| commitdiff \| raw \| diff to current
2016-11-01	ajreynol	Make tuple and record names unique. Do not print intern...	blob \| commitdiff \| raw \| diff to current
2016-11-01	ajreynol	Fix memory leak in TheorySetsRels. Minor cleanup.	blob \| commitdiff \| raw \| diff to current
2016-11-01	ajreynol	Revert change to datatypes API for passing pointers...	blob \| commitdiff \| raw \| diff to current
2016-11-01	ajreynol	Working memory leak free version, changes interface...	blob \| commitdiff \| raw \| diff to current
2016-10-31	ajreynol	Minor refactoring in preparation for datatypes node...	blob \| commitdiff \| raw \| diff to current
2016-10-11	Paul Meng	Merge branch 'origin' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-09-14	ajreynol	Support for unique variable generation in node manager.	blob \| commitdiff \| raw \| diff to current
2016-09-12	ajreynol	Ensure sep.nil is unique per type at NodeManager level...	blob \| commitdiff \| raw \| diff to current
2016-07-05	PaulMeng	Merge branch 'master' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
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-20	PaulMeng	update from the master	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	PaulMeng	Merge remote-tracking branch 'origin/master'	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
2016-01-09	Tim King	Adding a new Listener utility class. Changing the Resou...	blob \| commitdiff \| raw \| diff to current
2016-01-09	Tim King	Removing StatisticsRegistry's static functions current...	blob \| commitdiff \| raw \| diff to current
2015-12-24	Tim King	Miscellaneous fixes	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Breaking the include cycle between Record and Expr.	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2015-09-04	ajreynol	Fix bugs 605 and 667.	blob \| commitdiff \| raw \| diff to current
2015-05-12	barrettcw	Merge pull request #74 from finnhaedicke/namespace_minisat	blob \| commitdiff \| raw \| diff to current
2015-04-23	Clark Barrett	Merge branch 'master' into google	blob \| commitdiff \| raw \| diff to current
2015-04-21	Clark Barrett	Changes needed to compile at Google, plus some bug...	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-11	Kshitij Bansal	Merge pull request #64 from mdeters/theorysets-hashset...	blob \| commitdiff \| raw \| diff to current
2014-11-10	Tianyi Liang	Merge pull request #63 from mdeters/theorystrings-hashs...	blob \| commitdiff \| raw \| diff to current
2014-11-10	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-11-09	Morgan Deters	Work around an apparent bug in libc++ that was causing...	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-10-11	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-11	Morgan Deters	Some defensive programming at destruction time, and...	blob \| commitdiff \| raw \| diff to current
2014-10-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-07	Morgan Deters	Fix a bug in tuple-record handling. Thanks to Saumya...	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
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
next

RSS Atom