summaryrefslogtreecommitdiff
path: root/src/expr/node_algorithm.cpp
AgeCommit message (Expand)Author
2020-02-06Generalize containsQuantifiers to hasClosure (#3722)Andrew Reynolds
2020-02-03Utility function for getting component types (#3703)Andrew Reynolds
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-09-12Update to standard implementation of contains term (#3270)Andrew Reynolds
2019-08-24fix misuse of iterator with a different container (#3214)Piotr Trojanek
2019-07-22Get operators in node (#3094)yoni206
2019-06-05Prevent letification from shadowing variables (#3042)Andres Noetzli
2019-04-17More use of isClosure (#2959)Andrew Reynolds
2019-03-26Update copyright headers.Aina Niemetz
2019-03-15Adding capture avoiding substitution (#2867)Haniel Barbosa
2019-03-14 Add getFreeVariables method to node algorithm (#2852)Andrew Reynolds
2018-10-12Improvements to rewrite rules from inputs (#2625)Andrew Reynolds
2018-09-26Fix bug in getSymbols. (#2544)Andrew Reynolds
2018-09-05Finer-grained inference of substitutions in incremental mode (#2403)Andrew Reynolds
2018-08-16Move node algorithms to separate file (#2311)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback