projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a63efde) | patch
Allow CDHashMaps for objects without default constructors (#1092)
authorMartin <martin.brain@cs.ox.ac.uk>
Thu, 5 Oct 2017 09:08:53 +0000 (10:08 +0100)
committerAndres Noetzli <andres.noetzli@gmail.com>
Thu, 5 Oct 2017 09:08:53 +0000 (02:08 -0700)
commit3c5c0c2287203b61acc94bb83fac1b91ae290007
treeb95533ffbe6b6b25855de9ec6f99c1f7af06e9c7tree
parenta63efde07c65a3a0499f85c13757643ff52f154ccommit | diff
Allow CDHashMaps for objects without default constructors (#1092)

This is a patch, originally from mdeters/cdhashmap-default-constructibility that allows CDHashMaps to be declared for objects that don't have default constructors.
src/context/cdhashmap.h diff | blob | history