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

2010-02-04	Morgan Deters	remove -- c++ -- emacs tag from source files (it...	blob \| commitdiff \| raw
2010-02-04	Morgan Deters	Added theory output channel interfaces and "Interrupted...	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	Morgan Deters	cleanups, assert work, add a stubbed uf theory, fix...	blob \| commitdiff \| raw \| diff to current