projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 629d04c) | patch
Bug fix:
authorMorgan Deters <mdeters@gmail.com>
Wed, 28 Nov 2012 17:37:57 +0000 (17:37 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 28 Nov 2012 17:37:57 +0000 (17:37 +0000)
commit83cf3909b50af1d37735a252e79d550aac08cf7a
treec4d09b7aef51e8f38aeb5953e0d091c9fc0fb03ctree
parent629d04c45e1606a4d0ecef2717924e839d5daec3commit | diff
Bug fix:
* Fix creation of bound variables in CVC native language parser
* This corrects a problem with misleading model output

(this commit was certified error- and warning-free by the test-and-commit script.)
src/parser/cvc/Cvc.g diff | blob | history
src/parser/parser.cpp diff | blob | history
src/parser/parser.h diff | blob | history