projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9601ab6) | patch
Updating resize for occurence lists to properly resize the whole state.
authorDejan Jovanovic <dejan.jovanovic@gmail.com>
Sat, 14 Mar 2015 07:24:24 +0000 (00:24 -0700)
committerDejan Jovanovic <dejan.jovanovic@gmail.com>
Sat, 14 Mar 2015 07:24:24 +0000 (00:24 -0700)
commit01856989542f8c0e13ed11d0eec78cd122a2a7da
tree445a118c43b703c8900ac82b141150ce5d9ac809tree
parent9601ab61943ccec725fc481c74423479b61141a1commit | diff
Updating resize for occurence lists to properly resize the whole state.
src/prop/minisat/core/SolverTypes.h diff | blob | history