git.libre-soc.org Git - cvc5.git/history - src/main/interactive

[cvc5.git] / src / main / interactive_shell.cpp

2011-11-01	Morgan Deters	Improvements to header installation on user machines...	blob \| commitdiff \| raw
2011-10-04	Morgan Deters	add a guard for history saving, to enable building...	blob \| commitdiff \| raw \| diff to current
2011-09-29	Morgan Deters	Some base infrastructure for user push/pop; a few bugfi...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-05-02	Morgan Deters	Minor fixes to various parts of CVC4, including the...	blob \| commitdiff \| raw \| diff to current
2011-05-01	Morgan Deters	minor fixes, plus experimental readline support in...	blob \| commitdiff \| raw \| diff to current
2011-04-15	Morgan Deters	parser/driver fixes for last commit	blob \| commitdiff \| raw \| diff to current
2011-04-10	Morgan Deters	merge from replay branch	blob \| commitdiff \| raw \| diff to current
2011-03-30	Morgan Deters	Add Valuation::getSatValue() so that theories can acces...	blob \| commitdiff \| raw \| diff to current
2010-10-26	Christopher L. Conway	Cleaning up some header files	blob \| commitdiff \| raw \| diff to current
2010-10-24	Christopher L. Conway	Adding unit test for InteractiveShell	blob \| commitdiff \| raw \| diff to current
2010-10-23	Christopher L. Conway	Adding Parser::setInput and using it in InteractiveShel...	blob \| commitdiff \| raw \| diff to current
2010-10-22	Christopher L. Conway	Saving state between lines in interactive mode (Fixes...	blob \| commitdiff \| raw \| diff to current
2010-10-20	Christopher L. Conway	Adding support for interactive mode	blob \| commitdiff \| raw \| diff to current

RSS Atom