summaryrefslogtreecommitdiff
path: root/src/theory/bv/abstraction.cpp
AgeCommit message (Expand)Author
2019-03-26Update copyright headers.Aina Niemetz
2018-06-25Updated copyright headers.Aina Niemetz
2018-06-20Fix warnings and enable -Wnon-virtual-dtor warning (#2079)Andres Noetzli
2018-06-02Fix BV-abstraction check to consider SKOLEM. (#2042)Mathias Preiner
2018-05-30Fix bv-abstraction check for AND with non bit-vector atoms. (#2024)Mathias Preiner
2018-03-06Make statistics output consistent. (#1647)Mathias Preiner
2018-02-09Remove mkNode from bv::utils (#1587)Aina Niemetz
2017-07-07Update copyright headers.Mathias Preiner
2016-06-01Merge from proof branchGuy
2016-06-01Revert "Merging proof branch"Guy
2016-06-01Merging proof branchGuy
2016-04-03Updating the copyright headers and scripts.Tim King
2016-02-02Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ...Tim King
2016-01-08Removing StatisticsRegistry's static functions current() and registerStat().Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2014-07-01Update copyrights.Morgan Deters
2014-06-10Merging CAV14 paper bit-vector work.lianah
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback