Age | Commit message (Expand) | Author |
---|---|---|
2011-03-30 | Add Valuation::getSatValue() so that theories can access the current | Morgan Deters |
2011-03-27 | fixes to attribute-internals warnings on 64-bit; also some GCC function attri... | Morgan Deters |
2011-03-26 | fix for bug 253, was propagating an asserted literal | Dejan Jovanović |
2011-03-25 | This is a merge from the "theoryfixes+cdattrhash" branch. The changes | Morgan Deters |
2010-10-04 | remove/shuffle some #include dependencies; fix some documentation; apply codi... | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-04-14 | Marging from types 404:415, changes: Massive | Dejan Jovanović |
2010-04-01 | reran update-copyright.pl to get new contributors and add new header comments... | Morgan Deters |
2010-04-01 | PARSER STUFF: | Morgan Deters |