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

2013-03-23	Dejan Jovanović	changing string hash function to use the gnu namespace	blob \| commitdiff \| raw
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-10-08	Morgan Deters	* Models' SubstitutionMaps are now attached to the...	blob \| commitdiff \| raw \| diff to current
2012-08-07	Morgan Deters	Some items from the CVC4 public interface review:	blob \| commitdiff \| raw \| diff to current
2012-07-08	Morgan Deters	Bugs resolved by this commit: #314, #322, #359, #364...	blob \| commitdiff \| raw \| diff to current
2012-02-21	Morgan Deters	fix src/util/hash.h to specialize GNU's hash template...	blob \| commitdiff \| raw \| diff to current
2012-02-20	Morgan Deters	portfolio merge	blob \| commitdiff \| raw \| diff to current
2011-11-04	Morgan Deters	STRING_TYPE and CONST_STRING and associate type infrast...	blob \| commitdiff \| raw \| diff to current
2011-09-20	Morgan Deters	Merge from "swig" branch: language binding for Java...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2010-10-06	Morgan Deters	declare-sort, define-sort working but not thoroughly...	blob \| commitdiff \| raw \| diff to current
2010-10-04	Morgan Deters	remove/shuffle some #include dependencies; fix some...	blob \| commitdiff \| raw \| diff to current
2010-07-02	Morgan Deters	re-generated comment headers of source files	blob \| commitdiff \| raw \| diff to current
2010-06-18	Tim King	Merging the statistics branch into the main trunk....	blob \| commitdiff \| raw \| diff to current
2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw \| diff to current
2010-05-12	Christopher L. Conway	Adding class Smt2 to handle declaration of logic and...	blob \| commitdiff \| raw \| diff to current

RSS Atom