projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3af0d64) | patch
fixing the failure from last nigth, due to using a reference to an element in a growi...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Sun, 20 Mar 2011 16:31:19 +0000 (16:31 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Sun, 20 Mar 2011 16:31:19 +0000 (16:31 +0000)
commit8dd7462696b1d354f2dbdf840e9f50226f4c489a
tree2f36f252ee66df2508def7add42f18366f0e0833tree
parent3af0d6493cdea4be4130076fee93ebbeff669545commit | diff
fixing the failure from last nigth, due to using a reference to an element in a growing vector
src/theory/bv/equality_engine.h diff | blob | history