iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	17	-37/+37
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-1/+2
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	3	-5/+3
\|
*	Diabling compact AIGER writing by default.	Alan Mishchenko	2012-07-07	1	-1/+1
\|
*	Improving printouts of critical path.	Alan Mishchenko	2012-04-09	1	-2/+4
\|
*	Silencing a gcc warning.	Alan Mishchenko	2012-03-23	1	-1/+1
\|
*	Additional features for delay optimization	Alan Mishchenko	2012-03-21	2	-0/+44
\|
*	Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...	Alan Mishchenko	2012-03-09	1	-1/+1
\|
*	Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ↵	Alan Mishchenko	2012-03-09	1	-1/+1
\| \| \| \|	...Ci/Co.
*	Enabling user-specified required times in 'map'.	Alan Mishchenko	2012-03-02	2	-2/+106
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	2	-5/+9
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	4	-6/+17
\|
*	Graph isomorphism checking code.	Alan Mishchenko	2012-02-11	4	-11/+46
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	20	-51/+51
\|
*	Added switch 'write_counter -f' to output flop values in each time frame.	Alan Mishchenko	2012-01-18	1	-20/+31
\|
*	Bug fixes in the Verilog parser.	Alan Mishchenko	2012-01-14	1	-4/+10
\|
*	New hierarchy manager.	Alan Mishchenko	2012-01-13	1	-1/+1
\|
*	Added warning when the network from file has no primary inputs.	Alan Mishchenko	2012-01-06	1	-0/+5
\|
*	Improvements to hierarchical BLIF parser.	Alan Mishchenko	2011-12-22	1	-4/+6
\|
*	Improvements to hierarchical BLIF parser.	Alan Mishchenko	2011-12-21	1	-7/+34
\|
*	Fixed a bug in matching code.	Alan Mishchenko	2011-12-17	1	-1/+4
\|
*	Added support for generating a library of real-life truth-tables.	Alan Mishchenko	2011-12-09	1	-2/+0
\|
*	Added support for generating a library of real-life truth-tables.	Alan Mishchenko	2011-12-09	1	-0/+2
\|
*	Temporary debugging change.	Alan Mishchenko	2011-11-12	1	-1/+1
\|
*	Enabled counter-example minimization in 'write_counter'.	Alan Mishchenko	2011-11-11	1	-5/+31
\|
*	Preventing scripts from aborting if reading has failed.	Alan Mishchenko	2011-11-08	1	-1/+1
\|
*	Changes to read multi-output testcases described using AIGER 1.9.	Alan Mishchenko	2011-11-06	2	-27/+120
\|
*	C++ portability changes.	Alan Mishchenko	2011-10-27	2	-5/+2
\|
*	Changes to CNF generation code.	Alan Mishchenko	2011-10-17	1	-6/+26
\|
*	Changes to the matching procedure.	Alan Mishchenko	2011-10-12	1	-36/+58
\|
*	Modified write_blif to output LUT structures.	Alan Mishchenko	2011-10-04	3	-13/+177
\|
*	Other changes to enable new features in the mapper (bug fix).	Alan Mishchenko	2011-08-06	1	-1/+3
\|
*	Other changes to enable new features in the mapper (bug fix).	Alan Mishchenko	2011-08-06	1	-0/+12
\|
*	Other changes to enable new features in the mapper (bug fix).	Alan Mishchenko	2011-07-28	1	-1/+167
\|
*	Other changes to enable new features in the mapper (bug fix).	Alan Mishchenko	2011-07-20	1	-0/+104
\|
*	Other changes to enable new features in the mapper (bug fix).	Alan Mishchenko	2011-07-13	1	-0/+6
\|
*	Initial changes to enable new features in the mapper	Alan Mishchenko	2011-07-08	1	-0/+1
\|
*	Added dumping CEXes in AIGER format.	Alan Mishchenko	2011-06-21	3	-0/+134
\|
*	Special BLIF writing (bug fixes).	Alan Mishchenko	2011-05-18	2	-23/+41
\|
*	Special BLIF writing.	Alan Mishchenko	2011-05-18	3	-4/+255
\|
*	Commented out debug messages.	Alan Mishchenko	2011-04-26	1	-1/+1
\|
*	Fixed a number of small bugs and memory leaks.	Alan Mishchenko	2011-03-27	7	-1/+17
\|
*	Fixed memory leak.	Alan Mishchenko	2011-03-27	1	-0/+1
\|
*	Several bug fixes and other improvements.	Alan Mishchenko	2011-03-12	4	-50/+0
\|
*	Made abc.h independent of CUDD and Extra.	Alan Mishchenko	2011-03-03	8	-53/+54
\|
*	Eneabled writing/reading pAbc->nFrames into/from status files.	Alan Mishchenko	2011-02-04	1	-6/+4
\|
*	Cumulative changes in the last few weeks.	Alan Mishchenko	2011-01-13	2	-2/+12
\|
*	Bug fix to read flops with init state 3 (don't know)	Alan Mishchenko	2010-11-29	1	-1/+1
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	32	-592/+1461
\|
*	Version abc90714	Alan Mishchenko	2015-06-22	1	-1/+2
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>