projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41c388a) | patch
As per SMT-LIB standard: make - and xor take n>2 args and be left-assoc; => takes...
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 15:18:12 +0000 (11:18 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 15:18:12 +0000 (11:18 -0400)
commit3ad29c402d240432032b9ddf18d9133f438e1236
treef867c3502109e2d6e6b7a7a618aa2d3893e344b5tree
parent41c388ad28f54fbd27fd954bc1486453dcbf1e84commit | diff
As per SMT-LIB standard: make - and xor take n>2 args and be left-assoc; => takes n>2 args and is right-assoc.

Thanks to David Cok for pointing out this issue.
src/parser/smt2/Smt2.g diff | blob | history