iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix parenthesization of Abc_Clock #ifdef.	Aaron Tomb	2013-11-06	1	-1/+1
*	Don't assume MSVC when __MINGW32__ set.	Aaron Tomb	2013-11-04	1	-0/+2
*	Make definition of Abc_Clock work with MINGW32.	Aaron Tomb	2013-11-04	1	-1/+1
*	Compiler warnings.	Alan Mishchenko	2013-10-30	1	-3/+3
*	Small changes to compile on Mac.	Alan Mishchenko	2013-08-15	1	-1/+1
*	Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem o...	Alan Mishchenko	2013-07-01	1	-0/+1
*	Suggested changes to counting time in Abc_Clock()	Alan Mishchenko	2013-06-18	1	-10/+10
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-1/+1
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	1	-12/+30
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-1/+2
*	Fixing compilation problems on Linux-32 related to constants of type unsigned...	Alan Mishchenko	2013-01-30	1	-0/+6
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	1	-0/+4
*	DSD manager.	Alan Mishchenko	2012-11-19	1	-0/+1
*	Improvements to the truth table computations.	Alan Mishchenko	2012-10-30	1	-0/+1
*	Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixe...	Niklas Een	2012-10-30	1	-4/+13
*	Adding #ifdef to guard windows-specific debugging option.	Alan Mishchenko	2012-10-20	1	-3/+5
*	C++ portability changes.	Alan Mishchenko	2012-10-03	1	-5/+6
*	New package to read/write a subset of Liberty for STA.	Alan Mishchenko	2012-08-25	1	-0/+1
*	Added purification of UNSAT core in &gla.	Alan Mishchenko	2012-08-10	1	-6/+6
*	Fixing the integer print-out problem.	Alan Mishchenko	2012-07-13	1	-13/+13
*	Fixing the integer print-out problem.	Alan Mishchenko	2012-07-13	1	-12/+18
*	Improvements in the proof-logging SAT solver.	Alan Mishchenko	2012-07-11	1	-0/+19
*	Replacing Mb/Gb to be MB/GB.	Alan Mishchenko	2012-07-09	1	-4/+4
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	1	-4/+4
*	Fixing time printouts in 'pdr'.	Alan Mishchenko	2012-07-07	1	-4/+4
*	Added memory reporting to &vta.	Alan Mishchenko	2012-06-22	1	-6/+8
*	Added option to compile on windows without DLL support.	Alan Mishchenko	2012-06-15	1	-2/+7
*	Removed warning in Abc_Print	Niklas Een	2012-03-02	1	-28/+27
*	Redirecting printf messages.	Alan Mishchenko	2012-03-02	1	-6/+6
*	Redirecting printf messages.	Alan Mishchenko	2012-03-02	1	-18/+6
*	Adding features related to the communication bridge.	Alan Mishchenko	2012-03-02	1	-8/+8
*	Created a communication bridge.	Alan Mishchenko	2012-03-01	1	-3/+15
*	Added QuickSort based on 3-way partitioning.	Alan Mishchenko	2012-02-19	1	-5/+5
*	Added QuickSort based on 3-way partitioning.	Alan Mishchenko	2012-02-19	1	-2/+10
*	Removed unused 'bool' definition and unused memory management macros.	Alan Mishchenko	2012-02-07	1	-19/+0
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-18/+34
*	Added new name manager and modified hierarchy manager to use it.	Alan Mishchenko	2012-01-13	1	-0/+27
*	Added new sorting procedures.	Alan Mishchenko	2011-07-31	1	-0/+3
*	Added Max/Min/Abs as static inline functions.	Alan Mishchenko	2011-03-27	1	-0/+11
*	Unified the use of counter-examples in three packages.	Alan Mishchenko	2011-02-13	1	-12/+0
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-8/+125
*	Version abc90804	Alan Mishchenko	2015-06-22	1	-0/+1
*	Version abc90714	Alan Mishchenko	2015-06-22	1	-5/+19
*	Version abc90215	Alan Mishchenko	2009-02-15	1	-0/+178