projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5272664 cb4b1b9)
Merge pull request #29 from kbansal/alternatefix
authorKshitij Bansal <kshitij@cs.nyu.edu>
Mon, 9 Jun 2014 17:32:51 +0000 (13:32 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Mon, 9 Jun 2014 17:32:51 +0000 (13:32 -0400)
Fix for emptyset in smt2 parser, sets translator to quantified logic, misc

1  2 
src/parser/smt2/Smt2.g patch | diff1 | diff2 | blob | history

diff --cc src/parser/smt2/Smt2.g
Simple merge