summaryrefslogtreecommitdiff
path: root/src/util/trans_closure.cpp
AgeCommit message (Expand)Author
2014-07-01Update copyrights.Morgan Deters
2013-10-08Optimizations for datatypes theory. There seems to be a bug in trans_closure...Andrew Reynolds
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-09-28rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak...Morgan Deters
2012-03-02CDMap -> CDHashMapDejan Jovanović
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-05-02minor updates to exp manager, fixed 32bit vs 64bit issues in transitive closu...Andrew Reynolds
2011-04-28more fixes/improvements to datatypes theory and transitive closureAndrew Reynolds
2011-04-27cleaned up some of the hacks in the datatypes theory solver, working on using...Andrew Reynolds
2011-04-11Transitive closure module is workingClark Barrett
2011-04-08Added util classClark Barrett
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback