Robert Ou 8d472cd55e Rename new flag to ABC_USE_STDINT_H

2018-03-29 19:08:24 -07:00

..

abc_global.h

Rename new flag to ABC_USE_STDINT_H

2018-03-29 19:08:24 -07:00

abc_namespaces.h

C++ comaptibility: add namespace support to Glucose

2017-11-23 23:32:44 -08:00

module.make

New ISOP computation.

2014-10-04 17:56:08 -07:00

util_hack.h

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

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

utilBridge.c

Rename new flag to ABC_USE_STDINT_H

2018-03-29 19:08:24 -07:00

utilCex.c

Improving CEX minimization.

2017-02-10 13:20:20 -08:00

utilCex.h

Added transformation of CEX after 'fix_aig' and checking of transformed CEXes using 'testcex -a'.

2014-06-17 12:21:48 -07:00

utilColor.c

Command to test console colors.

2014-04-10 18:07:54 -07:00

utilDouble.h

Movinng custom floating-point implementations, etc.

2017-02-11 13:55:41 -08:00

utilFile.c

Recommended changes for portability.

2014-10-12 09:10:27 -07:00

utilFloat.h

Movinng custom floating-point implementations, etc.

2017-02-11 13:55:41 -08:00

utilIsop.c

Improvements to storing and reusing simulation info.

2015-11-05 15:27:33 -08:00

utilMem.c

initial commit of public abc

2010-11-01 01:35:04 -07:00

utilMem.h

Major restructuring of the code.

2012-01-21 04:30:10 -08:00

utilNam.c

Experiments with hashing.

2017-04-10 14:17:03 -07:00

utilNam.h

Experiments with hashing.

2017-04-10 14:17:03 -07:00

utilSignal.c

pyabc: remove python integration from abc, it is moved to a separate extension

2015-11-05 01:24:26 -08:00

utilSignal.h

Major restructuring of the code.

2012-01-21 04:30:10 -08:00

utilSort.c

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

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

utilTruth.h

Updating &mfs to support hard objects.

2018-03-23 21:32:14 -07:00