summaryrefslogtreecommitdiff
path: root/src/util/trans_closure.h
AgeCommit message (Expand)Author
2015-02-13Minor cleanup, remove unused files.ajreynol
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-03-02CDMap -> CDHashMapDejan Jovanović
2011-09-28variety of visibility fixes (should clean up some of the many warnings on Mac...Morgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-05-23fixes for "make dist" and "make doc", minor cleanupsMorgan 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