projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d145937) | patch
removing an obsolete assertion in model-generation framework, per Andy's request
authorMorgan Deters <mdeters@gmail.com>
Wed, 18 Jul 2012 17:37:41 +0000 (17:37 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 18 Jul 2012 17:37:41 +0000 (17:37 +0000)
commit4228332c346147daa83c0c4123c8781909a23a03
tree6cfe2a00be69ba8188b362d70002f84856a54329tree
parentd1459372b7d5f766cd20fb5546ce82bfbb5726b5commit | diff
removing an obsolete assertion in model-generation framework, per Andy's request
src/theory/model.cpp diff | blob | history