projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4d77f6) | patch
fixing a type that caused the segfaults in the regressions
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 3 Mar 2011 14:04:38 +0000 (14:04 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 3 Mar 2011 14:04:38 +0000 (14:04 +0000)
commit7cd7c850304caa12827c0deab1752293655d1248
treeb5399590c2cd3be977a4f368d42ad97ae3fb11c5tree
parentf4d77f6874d519c6e6dba9cd8dd2ac4124955c5bcommit | diff
fixing a type that caused the segfaults in the regressions
src/prop/minisat/core/Solver.cc diff | blob | history