summaryrefslogtreecommitdiff
path: root/src/theory/ite_utilities.cpp
AgeCommit message (Expand)Author
2018-04-16RemoveTermFormulas: Remove ContainsTermITEVisitor (#1782)Andres Noetzli
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-07Update copyright headers.Mathias Preiner
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2016-10-08Adding initializers for structs internal to ite_utilities.Tim King
2016-04-03Updating the copyright headers and scripts.Tim King
2016-03-24Fixing a garbage collection issue in simplifyWithCare(). Bug 729.Tim King
2016-03-24Deleting allocated NodeVecs in ITESimplifier.Tim King
2016-01-08Removing StatisticsRegistry's static functions current() and registerStat().Tim King
2015-06-13Fixed bug in iteSimpClark Barrett
2014-07-01Update copyrights.Morgan Deters
2014-04-17simplify mkSkolem naming system: don't use $$Kshitij Bansal
2014-03-07Remove --ite-remove-quant; support pulling ground ITEs out of quantifier bodi...Morgan Deters
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-11-25Substantial Changes:Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback