summaryrefslogtreecommitdiff
path: root/src/theory/term_registration_visitor.h
AgeCommit message (Expand)Author
2020-06-16Update copyright headers.Aina Niemetz
2019-03-26Update copyright headers.Aina Niemetz
2018-06-25Updated copyright headers.Aina Niemetz
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-07Update copyright headers.Mathias Preiner
2016-04-20update from the masterPaulMeng
2014-07-01Update copyrights.Morgan Deters
2013-05-10Fix erroneous results when the logic was incorrectly specified (by throwing L...Morgan Deters
2013-05-01removed tracing code causing slowdown; cleaned up some codelianah
2013-04-30added some bv rewrite ruleslianah
2013-04-30innd examples are solved fast, but destruction assertion faillianah
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-07-07Various fixes to documentation---typos, some incomplete documentation fixed, ...Morgan Deters
2012-05-14fixing up preregistration againDejan Jovanović
2012-05-03Some cleanup starting off from trying to understand the sharing code. Changes...Dejan Jovanović
2012-03-02CDMap -> CDHashMapDejan Jovanović
2011-09-28variety of visibility fixes (should clean up some of the many warnings on Mac...Morgan Deters
2011-09-15additional stuff for sharing, Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback