projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dbaaa9f) | patch
Fixed a failing datatype regression with check-models
authorClark Barrett <barrett@cs.nyu.edu>
Fri, 26 Oct 2012 19:54:06 +0000 (19:54 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Fri, 26 Oct 2012 19:54:06 +0000 (19:54 +0000)
commit634b155b5716a72716836193466aac9df5ad649d
treefa56a510bdd44ecb0fc7767c592a7f56bf8b523etree
parentdbaaa9f285a2bcb5fd7a555e753968972b998f15commit | diff
Fixed a failing datatype regression with check-models
src/theory/model.cpp diff | blob | history