Provide an integer implementation of decimal_digits().
authorHenner Zeller <h.zeller@acm.org>
Mon, 1 Feb 2021 19:23:44 +0000 (11:23 -0800)
committerHenner Zeller <h.zeller@acm.org>
Mon, 1 Feb 2021 19:23:44 +0000 (11:23 -0800)
commit5eff0b73ae82ee490be3e732241eb22cb4bff952
tree3bce75dfd8d64f87dca2018c5fd483960faa0b14
parent7d014902ec579eccd04446131fea4772dd715daf
Provide an integer implementation of decimal_digits().

Signed-off-by: Henner Zeller <h.zeller@acm.org>
frontends/aiger/aigerparse.cc