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

2010-01-26	Morgan Deters	fixes to build structure, util classes, lots of fixes...	blob \| commitdiff \| raw
2009-12-17	Morgan Deters	update-copyright.pl now retrieves and incorporates...	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 \| diff to current
2009-12-08	Morgan Deters	work on propositional layer, expression builder support...	blob \| commitdiff \| raw \| diff to current
2009-12-07	Morgan Deters	big check-in of various fixes and adjustments	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-25	Morgan Deters	additional work on parser hookup, configuration + build	blob \| commitdiff \| raw \| diff to current
2009-11-24	Morgan Deters	various fixes and updates to use and support parser	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
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