Alan Mishchenko b91c41659e Bug fix in gate sizing.

2013-06-16 22:41:40 -07:00

..

amap

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

cov

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

fpga

Updating project settings to have simpler include paths.

2012-07-07 20:14:12 -07:00

if

New DSD detection code.

2013-05-30 09:46:13 -07:00

mapper

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00

mio

Modified SCL gate library to read/write gate formula.

2013-03-26 20:19:50 -07:00

scl

Bug fix in gate sizing.

2013-06-16 22:41:40 -07:00

super

Adding a wrapper around clock() for more accurate time counting in ABC.

2013-05-27 15:09:23 -07:00