summaryrefslogtreecommitdiff
path: root/src/theory/term_registration_visitor.cpp
AgeCommit message (Expand)Author
2013-05-10Fix erroneous results when the logic was incorrectly specified (by throwing L...Morgan Deters
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-03-19Minor cleanup of sourcesMorgan Deters
2012-12-01remove instantiator frameworkMorgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-08-31merge from fmf-devel branch. more updates to models: now with collectModelIn...Andrew Reynolds
2012-07-07Various fixes to documentation---typos, some incomplete documentation fixed, ...Morgan Deters
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
2012-05-27Committing the work on equality engine, I need to see how it does on the regr...Dejan Jovanović
2012-05-27Another expensive function call in a Debug lineClark Barrett
2012-05-16Changes to SAT solver:Dejan Jovanović
2012-05-15Fix to shared terms visitor.Tim King
2012-05-14fixes for shared term registration. previously the type was not considered wh...Dejan Jovanović
2012-05-14fixing up preregistration againDejan Jovanović
2012-05-08Merging in bvprop branch, with proper bit-vector propagation. Liana Hadarean
2012-05-04Guard for expensive Debug traceClark Barrett
2012-05-03Some cleanup starting off from trying to understand the sharing code. Changes...Dejan Jovanović
2012-04-28New LogicInfo functionality.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