write_xaiger: cache arrival times
authorEddie Hung <eddie@fpgeh.com>
Mon, 13 Jan 2020 17:50:50 +0000 (09:50 -0800)
committerEddie Hung <eddie@fpgeh.com>
Mon, 13 Jan 2020 17:50:50 +0000 (09:50 -0800)
commit0d2c06ee47a5008ba79d14d52f72d9b08ac2c7fc
treef31a7b25fd39e94269b9725ab583e3d7babf5815
parent808b388e34f3cededd450de35555476874cf2799
write_xaiger: cache arrival times
backends/aiger/xaiger.cc