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

2010-02-22	Cesare Tinelli	* Add virtual destructors to CnfStream, Theory, OutputC...	blob \| commitdiff \| raw
2010-02-17	Tim King	Initial draft of TheoryUF. Should compile without probl...	blob \| commitdiff \| raw \| diff to current
2010-02-10	Morgan Deters	note on setup(); for discussion at 2010.02.11 meeting	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	minor interface changes to TheoryEngine/Theory after...	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	Added theory output channel interfaces and "Interrupted...	blob \| commitdiff \| raw \| diff to current
2010-01-29	Morgan Deters	fixed CNF conversion, and more modular; CNF conversion...	blob \| commitdiff \| raw \| diff to current
2010-01-19	Morgan Deters	minor changes to Theory	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-10	Dejan Jovanović	killing expr into node...	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-23	Morgan Deters	fixups, file comments	blob \| commitdiff \| raw \| diff to current
2009-11-19	Morgan Deters	testing framework, configure fixes, incorporations...	blob \| commitdiff \| raw \| diff to current
2009-11-17	Morgan Deters	from meeting	blob \| commitdiff \| raw \| diff to current

RSS Atom