projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35f4cd5) | patch
Remove CDDenseSet data structure (#7890)
authorMatthew Sotoudeh <masotoudeh@ucdavis.edu>
Fri, 7 Jan 2022 20:12:18 +0000 (12:12 -0800)
committerGitHub <noreply@github.com>
Fri, 7 Jan 2022 20:12:18 +0000 (20:12 +0000)
commit2092b9a3f73762253dbf0e237a198dc989292acb
tree60d4488dd059eb776553ba94e1aaad402ab92c7atree
parent35f4cd5a28d0a499f7ffdfcb88d6df0032b1c14acommit | diff
Remove CDDenseSet data structure (#7890)

It was not used anywhere, and does not appear to build under, at least,
GCC/9.1.0.

Signed-off-by: Matthew Sotoudeh <sotoudeh@stanford.edu>
src/context/CMakeLists.txt diff | blob | history
src/context/cddense_set.h [deleted file] blob | history