projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2afbc4b) | patch
Change lemma proof step storage & iterators (#2712)
authorAlex Ozdemir <aozdemir@hmc.edu>
Tue, 20 Nov 2018 05:46:29 +0000 (21:46 -0800)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 20 Nov 2018 05:46:29 +0000 (21:46 -0800)
commit176b119d86fe34878a4c9d4d7ee8f982db311b39
tree7ae98acb8da4ed60fa13187fbbfafb83bad1725dtree
parent2afbc4bbcccf9f91439809ee0026027a432a3061commit | diff
Change lemma proof step storage & iterators (#2712)

Proof steps were in a std::list, which is a linked list, but really, we
only needed a stack, so I changed it to a vector, because LL's are
usually slower.

Also added an iterator for the proof steps, and << implementations
src/proof/lemma_proof.cpp diff | blob | history
src/proof/lemma_proof.h diff | blob | history