projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 595eb7e) | patch
Updates to context:
authorClark Barrett <barrett@cs.nyu.edu>
Tue, 2 Feb 2010 02:04:39 +0000 (02:04 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Tue, 2 Feb 2010 02:04:39 +0000 (02:04 +0000)
commit21dec26be1ecc86a0c73df26e2397b7674df50a7
treebd64e8a7d11b29f46b721323715f68daf1a78373tree
parent595eb7e203d27a9b24a2b71808bc79dab76fa7bacommit | diff
Updates to context:
  Use vector instead of linked list for Scopes
  Added CDO and CDList templates
src/context/context.cpp diff | blob | history
src/context/context.h diff | blob | history