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

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

2021-04-12	Aina Niemetz	Refactor and update copyright headers. (#6316)	blob \| commitdiff \| raw
2021-04-09	Aina Niemetz	Rename CVC4__ header guards to CVC5__. (#6326)	blob \| commitdiff \| raw \| diff to current
2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw \| diff to current
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-16	Mathias Preiner	cmake: Generate cvc4_export.h and set visibility to...	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2020-11-11	Andrew Reynolds	Move symbol manager to src/expr/ (#5420)	blob \| commitdiff \| raw \| diff to current
2020-11-09	Andrew Reynolds	Add symbol manager (#5380)	blob \| commitdiff \| raw \| diff to current
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-07-17	Andrew V. Jones	Support for using 'libedit' over 'readline' #4571 ...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-08-09	Aina Niemetz	Plug solver API object into parser. (#2240)	blob \| commitdiff \| raw \| diff to current
2018-08-01	Aina Niemetz	InteractiveShell: Remove redundant options argument...	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-01-09	Tim King	Removing more miscellaneous throw specifiers. (#1488)	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2015-12-24	Tim King	Miscellaneous fixes	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2014-11-27	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-11-17	Liana Hadarean	Resource-limiting work.	blob \| commitdiff \| raw \| diff to current
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-10-09	Morgan Deters	* make Model class private (as discussed at meeting...	blob \| commitdiff \| raw \| diff to current
2012-07-31	Morgan Deters	Options merge. This commit:	blob \| commitdiff \| raw \| diff to current
2012-03-01	Morgan Deters	Partial merge from kind-backend branch, including Minis...	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-01	Morgan Deters	minor fixes, plus experimental readline support in...	blob \| commitdiff \| raw \| diff to current
2011-04-10	Morgan Deters	merge from replay branch	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-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-22	Christopher L. Conway	Using Options in ParserBuilder and InteractiveShell	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