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

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

2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw
2020-12-07	Andrew Reynolds	Fix bugs in getFreeVariables (#5601)	blob \| commitdiff \| raw \| diff to current
2020-11-10	Andrew Reynolds	Add getSubtermKinds to node algorithm (#5398)	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-06-20	Abdalrhman Mohamed	Add Match utility function. (#4632)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-05-20	Andrew Reynolds	Do not eliminate variables that are equal to unevaluata...	blob \| commitdiff \| raw \| diff to current
2020-05-19	mudathirmahgoub	Renamed operator CHOICE to WITNESS (#4207)	blob \| commitdiff \| raw \| diff to current
2020-02-26	Andrew Reynolds	Infrastructure for tautological literals in nonlinear...	blob \| commitdiff \| raw \| diff to current
2020-02-06	Andrew Reynolds	Generalize containsQuantifiers to hasClosure (#3722)	blob \| commitdiff \| raw \| diff to current
2020-02-03	Andrew Reynolds	Utility function for getting component types (#3703)	blob \| commitdiff \| raw \| diff to current
2019-09-12	Andrew Reynolds	Update to standard implementation of contains term...	blob \| commitdiff \| raw \| diff to current
2019-09-04	yoni206	More details in substitution function documentation...	blob \| commitdiff \| raw \| diff to current
2019-07-23	yoni206	Get operators in node (#3094)	blob \| commitdiff \| raw \| diff to current
2019-06-05	Andres Noetzli	Prevent letification from shadowing variables (#3042)	blob \| commitdiff \| raw \| diff to current
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-03-15	Haniel Barbosa	Adding capture avoiding substitution (#2867)	blob \| commitdiff \| raw \| diff to current
2019-03-14	Andrew Reynolds	Add getFreeVariables method to node algorithm (#2852)	blob \| commitdiff \| raw \| diff to current
2018-10-12	Andrew Reynolds	Improvements to rewrite rules from inputs (#2625)	blob \| commitdiff \| raw \| diff to current
2018-09-05	Andrew Reynolds	Finer-grained inference of substitutions in incremental...	blob \| commitdiff \| raw \| diff to current
2018-08-16	Andres Noetzli	Move node algorithms to separate file (#2311)	blob \| commitdiff \| raw \| diff to current

RSS Atom