iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	New MFS package.	Alan Mishchenko	2013-05-12	15	-221/+937
\|
*	SAT sweeping under constraints (bug fix).	Alan Mishchenko	2013-05-12	1	-0/+3
\|
*	Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ↵	Alan Mishchenko	2013-05-11	1	-1/+1
\| \| \| \|	case of non-prime SOPs.
*	Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ↵	Alan Mishchenko	2013-05-11	4	-79/+139
\| \| \| \|	case of non-prime SOPs.
*	Enabled switch 'fx -N <num>' to extract a fixed number of divisors.	Alan Mishchenko	2013-05-09	2	-8/+9
\|
*	Typo in the comment.	Alan Mishchenko	2013-05-09	2	-4/+4
\|
*	Adding comment about using 'dprove' for sequential synthesis.	Alan Mishchenko	2013-05-09	1	-1/+1
\|
*	Changing per-output runtime limit to be in miliseconds.	Alan Mishchenko	2013-05-09	4	-30/+30
\|
*	Bug fix in the sweeper.	Alan Mishchenko	2013-05-08	2	-2/+8
\|
*	Bug fix in the sweeper.	Alan Mishchenko	2013-05-07	1	-2/+6
\|
*	Making fanin ordering available for netlists, not only networks.	Alan Mishchenko	2013-05-07	1	-6/+6
\|
*	Bug fix in 'blockpo'.	Alan Mishchenko	2013-05-07	1	-0/+1
\|
*	SAT sweeping under constraints (bug fix).	Alan Mishchenko	2013-05-07	5	-13/+16
\|
*	Procedures for sorting fanins of the nodes.	Alan Mishchenko	2013-05-06	3	-6/+15
\|
*	Procedures for sorting fanins of the nodes.	Alan Mishchenko	2013-05-06	5	-54/+473
\|
*	SAT sweeping under constraints.	Alan Mishchenko	2013-05-06	5	-22/+201
\|
*	Integration of the liveness property prover developed by Sayak Ray.	Alan Mishchenko	2013-05-05	8	-4/+3283
\|
*	New fast extract.	Alan Mishchenko	2013-05-05	1	-17/+71
\|
*	New fast extract.	Alan Mishchenko	2013-05-05	3	-260/+332
\|
*	Making changes suggested by Mark Jarvin.	Alan Mishchenko	2013-05-05	3	-4/+3
\|
*	Changing the queue to work in the same the array of costs is realloced.	Alan Mishchenko	2013-05-05	6	-16/+17
\|
*	New fast extract.	Alan Mishchenko	2013-05-05	1	-1/+1
\|
*	New fast extract.	Alan Mishchenko	2013-05-05	10	-226/+749
\|
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-1/+1
\|
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-47/+48
\|
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-1/+1
\|
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-2/+2
\|
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-1/+1
\|
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-2/+4
\|
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-2/+2
\|
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-1/+1
\|
*	Adding new API to the queue.	Alan Mishchenko	2013-05-04	1	-0/+4
\|
*	Temporarily disabling one change to Makefile.	Alan Mishchenko	2013-05-04	1	-2/+2
\|
*	Adding link to the tutorial.	Alan Mishchenko	2013-05-04	1	-0/+3
\|
*	Reducing page width in 'readme.md'.	Alan Mishchenko	2013-05-04	1	-3/+3
\|
*	Making changes suggested by Mark Jarvin.	Alan Mishchenko	2013-05-04	1	-2/+2
\|
*	Making changes suggested by Mark Jarvin.	Alan Mishchenko	2013-05-04	10	-133/+126
\|
*	Changes to the ABC data-structures to allow for larger designs.	Alan Mishchenko	2013-05-04	2	-6/+6
\|
*	Fix to return equiv classes after improving &iso.	Alan Mishchenko	2013-05-03	1	-1/+1
\|
*	Allowing 'constr' to reset remove currently defined constraints.	Alan Mishchenko	2013-05-03	1	-20/+18
\|
*	Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).	Alan Mishchenko	2013-05-03	8	-22/+117
\|
*	Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>).	Alan Mishchenko	2013-05-03	3	-12/+59
\|
*	Reading/writing MiniAIG and several minor changes.	Alan Mishchenko	2013-05-03	1	-0/+2
\|
*	Compiler warnings.	Alan Mishchenko	2013-05-03	1	-1/+0
\|
*	Reading/writing MiniAIG and several minor changes.	Alan Mishchenko	2013-05-03	9	-42/+304
\|
*	Commenting out a warning.	Alan Mishchenko	2013-05-02	1	-1/+1
\|
*	Minor changes and improvement in PO partitioning (command &popart).	Alan Mishchenko	2013-05-01	3	-33/+47
\|
*	Adding the link to Ana's ABC tutorial.	Alan Mishchenko	2013-05-01	1	-0/+2
\|
*	Compiler warnings.	Alan Mishchenko	2013-05-01	2	-4/+3
\|
*	Faster isomorphism detection (command &iso).	Alan Mishchenko	2013-05-01	8	-16/+938
\|