diff options
author | Alex Ozdemir <aozdemir@hmc.edu> | 2018-11-19 21:46:29 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-11-19 21:46:29 -0800 |
commit | 176b119d86fe34878a4c9d4d7ee8f982db311b39 (patch) | |
tree | 7ae98acb8da4ed60fa13187fbbfafb83bad1725d /test | |
parent | 2afbc4bbcccf9f91439809ee0026027a432a3061 (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
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions