projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 611c12a) | 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>
Mon, 20 May 2013 20:55:59 +0000 (16:55 -0400)
commit3913e813456fc6cabb1208044fd36c92c0056385
tree0809c76ecd8302ea030c5e152370e4a4a8ec200ctree
parent611c12a19eaf359dd26da9d0a2b2e2215066180dcommit | 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