Age | Commit message (Expand) | Author |
---|---|---|
2021-04-22 | Remove unused stuff from options setup (#6422) | Gereon Kremer |
2018-09-04 | Remove CVC3 compatibility layer (#2418) | Andres Noetzli |
2018-04-02 | Remove references to nyu (#1721) | Clark Barrett |
2018-03-21 | Refactor mkoptions (#1631) | Mathias Preiner |
2017-08-21 | Updated NYU -> Stanford | Clark Barrett |
2017-08-21 | Change Bugzilla urls to Github issues. | Mathias Preiner |
2014-08-05 | Fix for manpages. | Morgan Deters |
2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
2012-10-06 | * Clean up some options documentation | Morgan Deters |
2012-09-29 | draft RELEASE-NOTES file, and minor release stuff | Morgan Deters |