Added support for math functions
authorClifford Wolf <clifford@clifford.at>
Sat, 14 Jun 2014 11:36:23 +0000 (13:36 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 14 Jun 2014 11:36:23 +0000 (13:36 +0200)
commitf3b4a9dd2466d243fdb1b4ebf8c5e1e0d05d21af
tree272546d4c5ab6869bf502ee33fa9f68e90f8dde0
parent406f86a91ec0ed024037e27d1cbf2a1bc73777d9
Added support for math functions
frontends/ast/simplify.cc
tests/simple/realexpr.v