iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding barrier buffers.	Alan Mishchenko	2014-03-16	1	-2/+2
\|
*	Patching ABC for Yosys.	Alan Mishchenko	2013-11-27	1	-2/+4
\|
*	Patching ABC for Yosys.	Alan Mishchenko	2013-11-27	3	-45/+103
\|
*	Compiler warnings.	Alan Mishchenko	2013-10-30	1	-1/+1
\|
*	Code for parsing the transcripts.	Alan Mishchenko	2013-08-02	1	-0/+18
\|
*	Code for parsing the transcripts.	Alan Mishchenko	2013-07-30	1	-0/+124
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	2	-5/+5
\|
*	Changing command 'history' to have simpler interface.	Alan Mishchenko	2013-05-18	1	-28/+11
\|
*	Making changes suggested by Mark Jarvin.	Alan Mishchenko	2013-05-04	1	-4/+1
\|
*	Misc changes.	Alan Mishchenko	2013-03-07	1	-2/+2
\|
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	1	-2/+2
\|
*	Added switch for netlist type to 'send_aig'. Changed defautl to &-space. ↵	Niklas Een	2012-10-30	1	-50/+57
\| \| \| \|	Fixed printf -> Abc_Print in some places.
*	Added command 'starter' to call ABC concurrently.	Alan Mishchenko	2012-10-02	2	-4/+4
\|
*	Added command 'starter' to call ABC concurrently.	Alan Mishchenko	2012-10-02	2	-31/+85
\|
*	Added command 'starter' to call ABC concurrently.	Alan Mishchenko	2012-10-02	5	-5/+304
\|
*	Renamed reference counting APIs in GIA package.	Alan Mishchenko	2012-10-02	1	-1/+1
\|
*	Replacing 'st_table' by 'st__table' to resolve linker problems.	Alan Mishchenko	2012-09-29	6	-40/+40
\|
*	Integrating time manager into choice computation.	Alan Mishchenko	2012-09-22	1	-2/+4
\|
*	Improved printout of command history.	Alan Mishchenko	2012-08-27	3	-2/+28
\|
*	Compiler warnings.	Alan Mishchenko	2012-08-26	1	-1/+1
\|
*	Added recording history of used commands into file 'abc.history' (Windows only).	Alan Mishchenko	2012-08-25	1	-1/+6
\|
*	Added recording history of used commands into file 'abc.history' (Windows only).	Alan Mishchenko	2012-08-25	2	-12/+9
\|
*	Added recording history of used commands into file 'abc.history' (Windows only).	Alan Mishchenko	2012-08-25	3	-5/+12
\|
*	Compiler warnings.	Alan Mishchenko	2012-08-24	1	-1/+1
\|
*	Added recording history of used commands into file 'abc.history' (Windows only).	Alan Mishchenko	2012-08-24	3	-27/+60
\|
*	Added recording history of used commands into file 'abc.history' (Windows only).	Alan Mishchenko	2012-08-24	4	-20/+78
\|
*	Allow for skipping structural hashing when reading GIA from file.	Alan Mishchenko	2012-07-25	1	-1/+1
\|
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	9	-19/+19
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-1/+2
\|
*	Added warning when a command is missing	Alan Mishchenko	2012-06-15	1	-0/+2
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	2	-3/+5
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	10	-23/+23
\|
*	completely silence the "source" command when the -s option is given	Baruch Sterin	2011-10-24	1	-1/+1
\|
*	64-bit portability changes.	Alan Mishchenko	2011-09-17	1	-2/+2
\|
*	Improving and updating the abstraction code.	Alan Mishchenko	2011-07-29	1	-2/+0
\|
*	Printing out the path/name of the resource file that is being sourced.	Alan Mishchenko	2011-07-02	1	-0/+7
\|
*	Added new options to testcex.	Alan Mishchenko	2011-04-28	1	-1/+1
\|
*	Commented out debug messages.	Alan Mishchenko	2011-04-26	1	-2/+2
\|
*	Added support for AIG returned in the output file.	Alan Mishchenko	2011-04-24	1	-8/+34
\|
*	Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF ↵	Alan Mishchenko	2011-04-17	1	-1/+83
\| \| \| \|	numbers.
*	Fixed a number of small bugs and memory leaks.	Alan Mishchenko	2011-03-27	2	-1/+4
\|
*	Unified the use of counter-examples in three packages.	Alan Mishchenko	2011-02-13	1	-6/+4
\|
*	Changes to enable C++ compilation after recent modifications.	Alan Mishchenko	2011-02-13	2	-2/+2
\|
*	1. Replace system() with a function that responds to SIGINT. 2. Add ↵	Baruch Sterin	2011-02-01	3	-18/+17
\| \| \| \|	functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling.
*	Cumulative changes in the last few weeks.	Alan Mishchenko	2011-01-13	1	-1/+1
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	11	-88/+1008
\|
*	Version abc90310	Alan Mishchenko	2009-03-10	1	-0/+67
\|
*	Version abc90217	Alan Mishchenko	2009-02-17	1	-3/+11
\|
*	Version abc90215	Alan Mishchenko	2009-02-15	6	-54/+44
\|
*	Version abc90118	Alan Mishchenko	2009-01-18	2	-4/+5
\|