diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-08-15 21:00:06 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-08-15 21:00:06 +0200 |
| commit | a860efa8ac37dfe20cd74324dd02136082aa2c1c (patch) | |
| tree | 699a9c13f5d9df33ae6de845134ed2f94dc8d8e4 /frontends/ast/simplify.cc | |
| parent | 78658199e662979c8f9223be53b04c9d87a1d6f7 (diff) | |
Implemented same div-by-zero behavior as found in other synthesis tools
Diffstat (limited to 'frontends/ast/simplify.cc')
0 files changed, 0 insertions, 0 deletions