projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 37812f8) | patch
Context::ScopedPush implemented (in support of theory speculation, like upcoming...
authorMorgan Deters <mdeters@gmail.com>
Sat, 5 Nov 2011 20:16:06 +0000 (20:16 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 5 Nov 2011 20:16:06 +0000 (20:16 +0000)
commit4c7de64f3367940faf9c6af48631bc837795c46d
tree13e8e23e26a79a930c427c1bbc896ff062d17326tree
parent37812f8ad9743b372608e871efe3e336c4ebd631commit | diff
Context::ScopedPush implemented (in support of theory speculation, like upcoming internal branch-&-bound for integers)
src/context/context.h diff | blob | history