projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11bb98b) | patch
reverting node manager change from 1881; also part of parameterized datatypes review
authorMorgan Deters <mdeters@gmail.com>
Sat, 14 May 2011 00:17:20 +0000 (00:17 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 14 May 2011 00:17:20 +0000 (00:17 +0000)
commitb904efd3a2bad1411099cd2a8696cbda96a37cb0
tree7071d2becf78032d9b3cebbca9c1fcef014af27dtree
parent11bb98ba5b1e9e88053a7bd6adc1d48d48a4bb21commit | diff
reverting node manager change from 1881; also part of parameterized datatypes review
src/expr/node_manager.h diff | blob | history