summaryrefslogtreecommitdiff
path: root/src/util/hash.h
AgeCommit message (Expand)Author
2012-10-08* Models' SubstitutionMaps are now attached to the user contextMorgan Deters
2012-08-07Some items from the CVC4 public interface review:Morgan Deters
2012-07-08Bugs resolved by this commit: #314, #322, #359, #364, #365.Morgan Deters
2012-02-21fix src/util/hash.h to specialize GNU's hash template for <uint64_t> on platf...Morgan Deters
2012-02-20portfolio mergeMorgan Deters
2011-11-04STRING_TYPE and CONST_STRING and associate type infrastructure implemented.Morgan Deters
2011-09-20Merge from "swig" branch: language binding for Java is compiling and linking....Morgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2010-10-06declare-sort, define-sort working but not thoroughly tested; define-fun half ...Morgan Deters
2010-10-04remove/shuffle some #include dependencies; fix some documentation; apply codi...Morgan Deters
2010-07-02re-generated comment headers of source filesMorgan Deters
2010-06-18Merging the statistics branch into the main trunk. I'll go over how to use th...Tim King
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-05-12Adding class Smt2 to handle declaration of logic and theory symbolsChristopher L. Conway
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback