projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8ce535) | patch
Switching a large allocation to be heap allocated.
authorTim King <taking@google.com>
Sun, 13 Nov 2016 09:05:26 +0000 (01:05 -0800)
committerTim King <taking@google.com>
Sun, 13 Nov 2016 09:05:26 +0000 (01:05 -0800)
commit31c0d3b5f464983eab6e72d234934b29ef2027b6
treeb483b1b8f4cd4cf5612a276048c669cabea28749tree
parentd8ce5358ad4d40eb2d86fe17fead9dc258d155b5commit | diff
Switching a large allocation to be heap allocated.
test/unit/expr/node_builder_black.h diff | blob | history