projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5fb1b65 d19ec05)
Merge pull request #44 from mdeters/prio-queue-updates
authorMorgan Deters <mdeters@morgandeters.com>
Tue, 1 Jul 2014 18:36:38 +0000 (14:36 -0400)
committerMorgan Deters <mdeters@morgandeters.com>
Tue, 1 Jul 2014 18:36:38 +0000 (14:36 -0400)
BinaryHeap unit test and some usability/build fixes for the data structu...


Trivial merge