git.libre-soc.org Git - cvc5.git/history

[cvc5.git] / src / expr / expr_manager.h

2010-02-22	Christopher L. Conway	Switching to types-as-attributes in parser	blob \| commitdiff \| raw
2010-02-22	Morgan Deters	* configure.ac: Remove doc/ from search path for Makefi...	blob \| commitdiff \| raw \| diff to current
2010-02-22	Morgan Deters	resolve bug 32; public-facing interface functions in...	blob \| commitdiff \| raw \| diff to current
2010-02-19	Morgan Deters	* Attribute infrastructure -- static design. Documenta...	blob \| commitdiff \| raw \| diff to current
2010-02-07	Christopher L. Conway	Documenting type.h/cpp	blob \| commitdiff \| raw \| diff to current
2010-02-06	Christopher L. Conway	Preliminary support for types in parser	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	remove -- c++ -- emacs tag from source files (it...	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	minor fix for update-copyright.pl; ran update-copyright...	blob \| commitdiff \| raw \| diff to current
2009-12-17	Morgan Deters	update-copyright.pl now retrieves and incorporates...	blob \| commitdiff \| raw \| diff to current
2009-12-16	Tim King	Small refactoring changes for the expr package.	blob \| commitdiff \| raw \| diff to current
2009-12-11	Dejan Jovanović	Extracted the public Expr and ExprManager interface...	blob \| commitdiff \| raw \| diff to current
2009-12-10	Dejan Jovanović	killing expr into node...	blob \| commitdiff \| raw
2009-12-09	Dejan Jovanović	A mess of changes in the expression manager, simple...	blob \| commitdiff \| raw \| diff to current
2009-12-08	Morgan Deters	work on propositional layer, expression builder support...	blob \| commitdiff \| raw \| diff to current
2009-12-03	Morgan Deters	parsing/expr/command/result/various other fixes	blob \| commitdiff \| raw \| diff to current
2009-11-24	Morgan Deters	configure option adjustments as per 11/24 meeting;...	blob \| commitdiff \| raw \| diff to current
2009-11-19	Morgan Deters	testing framework, configure fixes, incorporations...	blob \| commitdiff \| raw \| diff to current
2009-11-18	Morgan Deters	work on exprs, driver, util	blob \| commitdiff \| raw \| diff to current
2009-11-17	Morgan Deters	from meeting	blob \| commitdiff \| raw \| diff to current

RSS Atom