Alan Mishchenko a2050baf6b Command to test console colors.

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

..

abc_global.h

Fix parenthesization of Abc_Clock #ifdef.

2013-11-06 16:35:02 -08:00

module.make

Command to test console colors.

2014-04-10 17:47:41 -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

Added 'abort' message in bridge mode for pdr -a timeout

2013-10-04 15:20:42 -07:00

utilCex.c

Better CEX minimization and renaming of write_counter into write_cex.

2014-04-04 13:14:16 -07:00

utilCex.h

Better CEX minimization and renaming of write_counter into write_cex.

2014-04-04 13:14:16 -07:00

utilColor.c

Command to test console colors.

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

utilFile.c

Choose Windows file operations with MINGW32.

2013-11-04 14:27:09 -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

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

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

utilNam.h

Misc changes.

2012-04-20 10:12:29 -07:00

utilSignal.c

Major restructuring of the code.

2012-01-21 04:30:10 -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

Significant improvement to LUT mappers (if, &if).

2014-02-16 19:30:38 -08:00