projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0b6815) | patch
Applying Dejan's patch for bug #369, which resolves it by adding a new (let..) form...
authorMorgan Deters <mdeters@gmail.com>
Sat, 14 Jul 2012 21:14:39 +0000 (21:14 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 14 Jul 2012 21:14:39 +0000 (21:14 +0000)
commit1c42109395b566a0068cc3ae9067fc87ab8f8e7b
tree3f1d0969cf11e48a19bbdb52542e90e51e62e034tree
parentc0b6815fc17bf798988be66931ea7ba914956fc4commit | diff
Applying Dejan's patch for bug #369, which resolves it by adding a new (let..) form for each introduced binding.
src/printer/smt2/smt2_printer.cpp diff | blob | history