projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Set incomplete if not applying ho extensionality (#6281)
[cvc5.git] / src / util / hash.h
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) blob | commitdiff | raw
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2020-11-19 Aina NiemetzInclude stddef.h (needed for size_t) in cvc4_public... blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-06-16 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) blob | commitdiff | raw | diff to current
2019-03-26 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzUpdated copyright headers. blob | commitdiff | raw | diff to current
2017-09-29 Andres NoetzliBetter hash function for pairs (#1157) blob | commitdiff | raw | diff to current
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp blob | commitdiff | raw | diff to current
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the... blob | commitdiff | raw | diff to current
2017-07-07 Mathias PreinerUpdate copyright headers. blob | commitdiff | raw | diff to current
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw | diff to current
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-04-04 Tim KingUpdating the copyright headers and scripts. blob | commitdiff | raw | diff to current
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersUpdate copyrights. blob | commitdiff | raw | diff to current
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2013-03-27 lianahadded model generation for bv subtheories and bv-inequa... blob | commitdiff | raw | diff to current
2013-03-23 Dejan JovanovićMerge remote-tracking branch 'dddejan/c++11' blob | commitdiff | raw | diff to current
2013-03-23 Dejan Jovanovićchanging string hash function to use the gnu namespace blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing 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 DetersSome items from the CVC4 public interface review: blob | commitdiff | raw | diff to current
2012-07-08 Morgan DetersBugs resolved by this commit: #314, #322, #359, #364... blob | commitdiff | raw | diff to current
2012-02-21 Morgan Detersfix src/util/hash.h to specialize GNU's hash template... blob | commitdiff | raw | diff to current
2012-02-20 Morgan Detersportfolio merge blob | commitdiff | raw | diff to current
2011-11-04 Morgan DetersSTRING_TYPE and CONST_STRING and associate type infrast... blob | commitdiff | raw | diff to current
2011-09-20 Morgan DetersMerge from "swig" branch: language binding for Java... blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current
2010-10-06 Morgan Detersdeclare-sort, define-sort working but not thoroughly... blob | commitdiff | raw | diff to current
2010-10-04 Morgan Detersremove/shuffle some #include dependencies; fix some... blob | commitdiff | raw | diff to current
2010-07-02 Morgan Detersre-generated comment headers of source files blob | commitdiff | raw | diff to current
2010-06-18 Tim KingMerging 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. ConwayAdding class Smt2 to handle declaration of logic and... blob | commitdiff | raw | diff to current