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

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

2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2021-01-26	Haniel Barbosa	Reestablishing support for define-sort (#5810)	blob \| commitdiff \| raw \| diff to current
2021-01-05	Andrew Reynolds	Remove a few miscellaneous references to the expr layer...	blob \| commitdiff \| raw \| diff to current
2020-12-03	Andrew Reynolds	Refactor handling of global declarations (#5577)	blob \| commitdiff \| raw \| diff to current
2020-11-02	Andrew Reynolds	Avoid dynamic allocation in symbol table implementation...	blob \| commitdiff \| raw \| diff to current
2020-10-28	Andrew Reynolds	Convert symbol table from Expr-level to Term-level...	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-08-06	Andrew Reynolds	Updates not related to creation for eliminating Expr...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-10-20	Andrew V. Jones	Cleaning-up the declaration of wrapped functions/method...	blob \| commitdiff \| raw \| diff to current
2019-08-10	Andrew Reynolds	Simplify how defined functions are tracked during parsi...	blob \| commitdiff \| raw \| diff to current
2019-06-12	Andres Noetzli	Refactor parser to define fewer tokens for symbols...	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-01-22	Andrew Reynolds	Fix parsing of overloaded parametric datatype selector...	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-01-09	Tim King	Remove throw specifiers from symbol table. (#1490)	blob \| commitdiff \| raw \| diff to current
2017-10-26	Andrew Reynolds	Op overload no fun variant (#1285)	blob \| commitdiff \| raw \| diff to current
2017-10-02	Tim King	Removing throw specifiers from SymbolTable::Implementat...	blob \| commitdiff \| raw \| diff to current
2017-09-29	Andrew Reynolds	Update symbol table to support operator overloading...	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-07-30	Andres Noetzli	Fix memory leak in symbol table (#209)	blob \| commitdiff \| raw \| diff to current
2017-07-23	Tim King	Consolidating the opaque pointers in SymbolTable. ...	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
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-24	Tim King	Miscellaneous fixes	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-06	Morgan Deters	Support for RESET command in CVC native language (and...	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
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-10-26	Morgan Deters	better parametric datatype arity checking; fixes bug 433	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-09-28	Morgan Deters	Public interface review items:	blob \| commitdiff \| raw \| diff to current
2012-09-19	Morgan Deters	General subscriber infrastructure for NodeManager,...	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

RSS Atom