improved (fixed) conversion of real values to bit vectors
authorClifford Wolf <clifford@clifford.at>
Sat, 14 Jun 2014 18:38:05 +0000 (20:38 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 14 Jun 2014 19:00:51 +0000 (21:00 +0200)
commit149fe83a8dbe37fecc16326163bbc40400147a9a
tree7e21abda6373d15b595aed693ab3f112920c5c59
parent39eb347c67056f9b56ecfdab1704362d4cd276e1
improved (fixed) conversion of real values to bit vectors
frontends/ast/ast.cc
frontends/ast/ast.h
frontends/ast/genrtlil.cc
frontends/ast/simplify.cc