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

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

2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw
2021-01-11	Andrew Reynolds	Further simplifications in preparation for removing...	blob \| commitdiff \| raw \| diff to current
2020-11-06	Andrew Reynolds	Simplify printing with respect to expression types...	blob \| commitdiff \| raw \| diff to current
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-09-02	Gereon Kremer	Remove #line directives from generated files. (#5005)	blob \| commitdiff \| raw \| diff to current
2020-07-14	Andres Noetzli	Use TypeNode in EmptySet (#4740)	blob \| commitdiff \| raw \| diff to current
2020-07-14	Andres Noetzli	Use TypeNode/Node in ArrayStoreAll (#4728)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	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-10-08	Aina Niemetz	New C++ API: Add Term::getId(). (#3360)	blob \| commitdiff \| raw \| diff to current
2019-09-25	Andrew Reynolds	Add isParameterized function to Expr (#3303)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-03-26	Andres Noetzli	Fix warnings about wrong line numbers (#2899)	blob \| commitdiff \| raw \| diff to current
2019-03-23	Andres Noetzli	Fix memory leak when using subsolvers (#2893)	blob \| commitdiff \| raw \| diff to current
2018-12-17	Aina Niemetz	New C++ API: Add tests for term object. (#2755)	blob \| commitdiff \| raw \| diff to current
2018-09-11	Andres Noetzli	Set NodeManager to nullptr when exporting vars (#2445)	blob \| commitdiff \| raw \| diff to current
2018-08-31	Haniel Barbosa	Fix export of bound variables (#2409)	blob \| commitdiff \| raw \| diff to current
2018-08-16	Andres Noetzli	Move node algorithms to separate file (#2311)	blob \| commitdiff \| raw \| diff to current
2018-07-14	Andres Noetzli	exportTo only if needed for --sygus-rr-synth-check...	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-04-08	Andrew Reynolds	Check free variables in assertions (#1737)	blob \| commitdiff \| raw \| diff to current
2018-03-05	Aina Niemetz	Add support for check-sat-assuming. (#1637)	blob \| commitdiff \| raw \| diff to current
2018-03-05	Aina Niemetz	Add uniform way to serialize containers of Expr to...	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
2018-01-10	Tim King	Cleaning up throw specifiers on Exception and subclasse...	blob \| commitdiff \| raw \| diff to current
2017-09-26	Tim King	Fixing CIDs 1172012 and 1172011: Initiallzing d_exprMan...	blob \| commitdiff \| raw \| diff to current
2017-08-24	Andrew Reynolds	Merge pull request #191 from timothy-king/cleanup-regexp	blob \| commitdiff \| raw \| diff to current
2017-08-15	Andres Noetzli	Minimize includes in expr.h: remove dups, iostream...	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-07	Mathias Preiner	Update copyright headers.	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-03-16	Tim King	Fixes bug 781. Copy constructor for Expr needed to...	blob \| commitdiff \| raw \| diff to current
2017-03-02	ajreynol	Eliminate Boolean term conversion. Generalizes removeIT...	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
2015-12-30	Tim King	Shuffling around public vs. private headers	blob \| commitdiff \| raw \| diff to current
2015-12-24	Tim King	Miscellaneous fixes	blob \| commitdiff \| raw \| diff to current
2015-12-19	Tim King	Modifying emptyset.h and sexpr. Adding SetLanguage.	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	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-11	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-10	Kshitij Bansal	Merge remote-tracking branch 'origin/1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-09	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-07	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-06	Morgan Deters	Merge branch '1.4.x'	blob \| commitdiff \| raw \| diff to current
2014-10-03	Morgan Deters	Support exporting array-store-all expressions to other...	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-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-11	Morgan Deters	Merge branch '1.3.x'	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	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	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	portfolio: fix export of emptyset	blob \| commitdiff \| raw \| diff to current
2013-12-09	Kshitij Bansal	fix bug 542	blob \| commitdiff \| raw \| diff to current
2013-12-07	Kshitij Bansal	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-07	Kshitij Bansal	fix bug 542	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-21	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-20	Tim King	Changing the number of bits allocated per field in...	blob \| commitdiff \| raw \| diff to current
2013-11-11	Morgan Deters	Minor fixups to last commit	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	Minor fixups to last commit	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-12	Kshitij Bansal	fix bug 534: portfolio define-fun duplicate model	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-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-11-29	Kshitij Bansal	Hack to support global variables for CVC language exten...	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	Functions and predicates over Boolean now work with...	blob \| commitdiff \| raw \| diff to current
2012-11-09	Kshitij Bansal	export null nodes (fixes a bug in portfolio model stuff)	blob \| commitdiff \| raw \| diff to current
2012-10-14	Morgan Deters	fix #line number warnings (sorry!)	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-05	Dejan Jovanović	BoolExpr removed and replaced with Expr	blob \| commitdiff \| raw \| diff to current
2012-09-28	Kshitij Bansal	Some fixes to portfolio	blob \| commitdiff \| raw \| diff to current
2012-09-28	Morgan Deters	rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert...	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-09-08	Morgan Deters	Some minor changes after reviewing the portfolio "unifi...	blob \| commitdiff \| raw \| diff to current
2012-09-08	Kshitij Bansal	Single driver for both sequential and portfolio	blob \| commitdiff \| raw \| diff to current
2012-08-29	Morgan Deters	* Numerous documentation fixes (fix doxygen warnings...	blob \| commitdiff \| raw \| diff to current
2012-08-28	Morgan Deters	Improved compatibility layer, now supports quantifiers...	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-03	Morgan Deters	fix uses of getMetaKind() from outside the expr package...	blob \| commitdiff \| raw \| diff to current
2012-06-09	Morgan Deters	Dagification of output expressions.	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
next

RSS Atom