projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4969cc) | patch
GetValueCommand now gives a TUPLE as output, with the first operand the input express...
authorMorgan Deters <mdeters@gmail.com>
Tue, 26 Oct 2010 19:24:09 +0000 (19:24 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 26 Oct 2010 19:24:09 +0000 (19:24 +0000)
commit118b6163f42af017a5ea7f9229df0a9e584c0050
tree2f840f4ccfed6a616db8dfd063936e0134146e18tree
parentf4969cca302fe640fed334cf9cbf8e032b468ae6commit | diff
GetValueCommand now gives a TUPLE as output, with the first operand the input expression and the second the value (resolves bug 227)
src/expr/command.cpp diff | blob | history