projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0ea9a2) | patch
add a global user-context push/pop in smt engine, just like clark's addition the...
authorMorgan Deters <mdeters@gmail.com>
Fri, 1 Jun 2012 20:31:24 +0000 (20:31 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 1 Jun 2012 20:31:24 +0000 (20:31 +0000)
commit468c5bc5d8b63ec6818813270225e09383dd79ff
treeadf53aa31607de77fd240b70b114a3396dfae4d8tree
parente0ea9a22721a332be2a2354846ffdf5f72c6a6decommit | diff
add a global user-context push/pop in smt engine, just like clark's addition the other day of a push/pop of the sat context
src/smt/smt_engine.cpp diff | blob | history