iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding API to set the number of flops after reading MiniAIG.	Alan Mishchenko	2015-09-24	2	-1/+12
\|
*	Several bug-fixed related to synthesis, library handling, and timimg info.	Alan Mishchenko	2015-09-23	3	-3/+7
\|
*	Improving bit-blasting of full-adder.	Alan Mishchenko	2015-09-23	3	-20/+71
\|
*	Threshold logic checking code by Augusto Neutzling and Jody Matos.	Alan Mishchenko	2015-09-23	3	-242/+612
\|
*	Bug fix in &rex2gia.	Alan Mishchenko	2015-09-23	1	-1/+3
\|
*	Fixing corner-cases in 'tempor' and in 'unfold'.	Alan Mishchenko	2015-09-22	2	-1/+11
\|
*	Adding new command &rex2gia.	Alan Mishchenko	2015-09-22	4	-0/+417
\|
*	Improvements to &b -das.	Alan Mishchenko	2015-09-18	3	-10/+78
\|
*	Adding switch to &b to prevent dumplicated area when used in delay-mode (&b ↵	Alan Mishchenko	2015-09-18	3	-31/+35
\| \| \| \|	-da).
*	Commenting out assertion in &b, which does not hold.	Alan Mishchenko	2015-09-18	1	-1/+1
\|
*	Tuning SAT solver for QBF instances.	Alan Mishchenko	2015-09-18	2	-2/+2
\|
*	Tuning SAT solver for QBF instances.	Alan Mishchenko	2015-09-18	3	-12/+22
\|
*	Tuning SAT solver for QBF instances.	Alan Mishchenko	2015-09-18	3	-7/+22
\|
*	Improvements to QBF solver; new quantification command &qvar.	Alan Mishchenko	2015-09-18	2	-32/+164
\|
*	New constraint manager and memory reporting 'ps'.	Alan Mishchenko	2015-09-08	16	-38/+554
\|
*	Cleaning up boolean operators; adding unique name support; minor changes.	Alan Mishchenko	2015-09-07	3	-34/+101
\|
*	More tuning in &nf.	Alan Mishchenko	2015-09-06	1	-17/+30
\|
*	More tuning in &nf.	Alan Mishchenko	2015-09-06	1	-1/+1
\|
*	More tuning in &nf.	Alan Mishchenko	2015-09-06	1	-5/+7
\|
*	More tuning in &nf.	Alan Mishchenko	2015-09-06	3	-422/+130
\|
*	More tuning in &nf.	Alan Mishchenko	2015-09-04	1	-5/+354
\|
*	Experiments with SAT-based collapsing.	Alan Mishchenko	2015-09-04	5	-53/+132
\|
*	Experiments with SAT-based collapsing.	Alan Mishchenko	2015-09-04	4	-169/+479
\|
*	Experiments with SAT-based collapsing.	Alan Mishchenko	2015-09-03	1	-0/+227
\|
*	Experiments with SAT-based collapsing.	Alan Mishchenko	2015-09-03	5	-8/+129
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-09-03	3	-8/+6
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-09-03	8	-281/+1582
\|
*	Removing unhelpful assertion in CEX minimization.	Alan Mishchenko	2015-09-01	1	-1/+1
\|
*	Experimenting with area recovery.	Alan Mishchenko	2015-08-31	1	-2/+2
\|
*	Experimenting with area recovery.	Alan Mishchenko	2015-08-31	1	-10/+10
\|
*	Experimenting with area recovery.	Alan Mishchenko	2015-08-31	1	-136/+92
\|
*	Experimenting with area recovery.	Alan Mishchenko	2015-08-31	1	-49/+287
\|
*	Performance tuning of the Nf.	Alan Mishchenko	2015-08-31	1	-1/+1
\|
*	Performance tuning of the Nf.	Alan Mishchenko	2015-08-31	2	-146/+152
\|
*	Updating Mio to use int instead of float.	Alan Mishchenko	2015-08-31	2	-2/+192
\|
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-08-30	5	-192/+763
\|
*	Alternative way to bit-blast a divisor.	Alan Mishchenko	2015-08-29	2	-5/+40
\|
*	More tuning in &nf.	Alan Mishchenko	2015-08-28	2	-2/+2
\|
*	Adding switch to control area-recovery and more tuning in &nf.	Alan Mishchenko	2015-08-28	4	-10/+24
\|
*	Important bug fixes in standard-cell library handling and mapper &nf.	Alan Mishchenko	2015-08-28	5	-335/+128
\|
*	Bug fix in Vec_IntInsert() and a couple of new APIs.	Alan Mishchenko	2015-08-26	3	-1/+34
\|
*	Changing 'refactor' to work with truth tables.	Alan Mishchenko	2015-08-25	3	-175/+188
\|
*	Changes to be able to compile ABC without CUDD.	Alan Mishchenko	2015-08-24	54	-37/+39
\|
*	Changes to be able to compile ABC without CUDD.	Alan Mishchenko	2015-08-24	5	-163/+163
\|
*	Changes to be able to compile ABC without CUDD.	Alan Mishchenko	2015-08-24	53	-262/+248
\|
*	Changes to be able to compile ABC without CUDD.	Alan Mishchenko	2015-08-24	5	-1/+43
\|
*	Changes to be able to compile ABC without CUDD.	Alan Mishchenko	2015-08-24	50	-190/+589
\|
*	New switch in 'read_lib' to replace gate/pin names by short strings.	Alan Mishchenko	2015-08-24	1	-5/+44
\|
*	New switch in 'read_lib' to replace gate/pin names by short strings.	Alan Mishchenko	2015-08-24	3	-2/+105
\|
*	Compiler warning.	Alan Mishchenko	2015-08-23	1	-1/+1
\|