Age | Commit message (Expand) | Author |
---|---|---|
2010-10-31 | enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d... | Morgan Deters |
2010-10-11 | use "forward" headers | Morgan Deters |
2010-10-06 | declare-sort, define-sort working but not thoroughly tested; define-fun half ... | Morgan Deters |
2010-10-04 | remove/shuffle some #include dependencies; fix some documentation; apply codi... | Morgan Deters |
2010-07-04 | make dist && make distcheck functional, other fixes | Morgan Deters |
2010-07-02 | re-generated comment headers of source files | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-05-12 | Adding class Smt2 to handle declaration of logic and theory symbols | Christopher L. Conway |
2010-04-14 | Marging from types 404:415, changes: Massive | Dejan Jovanović |
2010-04-13 | Merging from branches/decl-scopes (r401:411) | Christopher L. Conway |