Age | Commit message (Expand) | Author |
---|---|---|
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters |
2011-09-29 | Some base infrastructure for user push/pop; a few bugfixes to user push/pop a... | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-05-01 | minor fixes, plus experimental readline support in InteractiveShell | Morgan Deters |
2011-04-10 | merge from replay branch | Morgan Deters |
2010-10-26 | Cleaning up some header files | Christopher L. Conway |
2010-10-23 | Adding Parser::setInput and using it in InteractiveShell (Fixes: #225) | Christopher L. Conway |
2010-10-22 | Saving state between lines in interactive mode (Fixes: #223) | Christopher L. Conway |
2010-10-22 | Using Options in ParserBuilder and InteractiveShell | Christopher L. Conway |
2010-10-20 | Adding support for interactive mode | Christopher L. Conway |