summaryrefslogtreecommitdiff
path: root/src/lib
AgeCommit message (Expand)Author
2012-11-05fixes for replacement function libraryMorgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-09-28some fixes to build systemMorgan Deters
2011-09-29build system fixesMorgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-05-02another small fixMorgan Deters
2011-05-02fix broken build; sorry, all!Morgan Deters
2011-04-25Weekend work. The main points:Morgan Deters
2011-03-30Add Valuation::getSatValue() so that theories can access the currentMorgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2010-11-19Merge from ufprop branch, including:Morgan Deters
2010-10-03file header documentation regenerated with contributors names; no code modifi...Morgan Deters
2010-10-01replacement implementation for clock_gettime() on mac os x, build portability...Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback