ugh z3 options nonsense
Merge branch 'master' of github.com:ucsd-progsys/liquid-fixpoint

Conflicts:
	src/Language/Fixpoint/SmtLib2.hs
add support for cvc4's theory of finite sets.

also improve compliance with smt2 standard (wrt. printing of negative literals)
adding visitor for Expr and Pred, TODO: refactor exprSymbols etc. to use visitor
hopefully no build breaks...
basda
Merge branch 'master' of https://github.com/ucsd-progsys/liquid-fixpoint
adding visitor for Expr and Pred, TODO: refactor exprSymbols etc. to use visitor
perhaps t1, t2 are not types but more...
perhaps t1, t2 are not types but more...
ok, emp.fq works. hooray! run regrtests on lh
add dummy int arg to set_empty
ok, lets push the empty uif and no-warnings
Merge pull request #42 from ucsd-progsys/emptyuif

Emptyuif