Age | Commit message (Expand) | Author |
---|---|---|
2014-07-01 | Update copyrights. | Morgan Deters |
2014-04-11 | Better support for building with mingw64; thanks to Nicolas Roche @ Altran fo... | Morgan Deters |
2013-07-24 | Fixes for building with mingw win64. | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-01-28 | Fixes for Win32 (closes bugs 488 and 489) | Morgan Deters |
2013-01-24 | Add win32 support (merge from mdeters/win32, with some cleanup). | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2011-03-30 | Add Valuation::getSatValue() so that theories can access the current | Morgan Deters |
2010-10-03 | file header documentation regenerated with contributors names; no code modifi... | Morgan Deters |
2010-10-01 | replacement implementation for clock_gettime() on mac os x, build portability... | Morgan Deters |