projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ea35cd) | patch
Fixing a memory leak in bv_subtheory_algebraic.cpp. Also formatting the file.
authorTim King <taking@google.com>
Mon, 1 Feb 2016 19:22:12 +0000 (11:22 -0800)
committerTim King <taking@google.com>
Mon, 1 Feb 2016 19:22:12 +0000 (11:22 -0800)
commitcbfd4e87765b716e8d21bd115f5917edef63f8a4
tree3190d395bb891658c4df354579d95d2307e28046tree
parent6ea35cde2df4a01c2ce5c41b62a43e741c80acc1commit | diff
Fixing a memory leak in bv_subtheory_algebraic.cpp. Also formatting the file.
src/theory/bv/bv_subtheory_algebraic.cpp diff | blob | history