projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a982d0a) | patch
mark a quantifiers global var as "static" so we can find it easier later
authorMorgan Deters <mdeters@gmail.com>
Mon, 11 Jun 2012 18:27:58 +0000 (18:27 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 11 Jun 2012 18:27:58 +0000 (18:27 +0000)
commite148b0a99917b21499b2f596aa22403559baf677
tree930cf9e3813ccc9c399cde39070418177de0789etree
parenta982d0ab03118e31c40052c9beae6ffaec5318aacommit | diff
mark a quantifiers global var as "static" so we can find it easier later
src/theory/quantifiers/instantiation_engine.cpp diff | blob | history