iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Maintenance and updates.	Alan Mishchenko	2017-09-24	2	-4/+10
\|
*	Maintenance and updates.	Alan Mishchenko	2017-09-20	2	-1/+6
\|
*	Uncommenting handling of initial values of the flops.	Alan Mishchenko	2017-09-19	1	-2/+2
\|
*	Adding support for Dimacs input to &satoko.	Alan Mishchenko	2017-09-16	1	-21/+91
\|
*	Experiment with mapping.	Alan Mishchenko	2017-09-15	2	-0/+56
\|
*	Several small changes.	Alan Mishchenko	2017-09-05	1	-0/+3
\|
*	Useful AIG duplication procedure.	Alan Mishchenko	2017-09-05	1	-0/+36
\|
*	Several changes to various packages.	Alan Mishchenko	2017-09-04	1	-0/+21
\|
*	Corner-case sitution in truth-table computation.	Alan Mishchenko	2017-08-30	1	-0/+2
\|
*	Fixing bronken C++ build; Satoko internal header, solver.h, should not be ↵	Bruno Schmitt	2017-08-29	2	-6/+4
\| \| \| \|	used in other packages
*	Integrating Satoko into 'bmc' and 'bmc2'.	Alan Mishchenko	2017-08-16	1	-1/+1
\|
*	Fixing non-scalability in CNF generation.	Alan Mishchenko	2017-08-13	1	-1/+1
\|
*	Fixing non-scalability in CNF generation.	Alan Mishchenko	2017-08-13	1	-1/+1
\|
*	Fixing non-scalability in CNF generation.	Alan Mishchenko	2017-08-13	1	-1/+1
\|
*	Fixing non-scalability in CNF generation.	Alan Mishchenko	2017-08-13	1	-1/+25
\|
*	Experiments with BMC.	Alan Mishchenko	2017-08-09	1	-0/+1
\|
*	Transforming miter by swapping sides.	Alan Mishchenko	2017-07-23	1	-0/+61
\|
*	Compiler warnings.	Alan Mishchenko	2017-07-22	8	-11/+11
\|
*	Experiments with logic optimization.	Alan Mishchenko	2017-07-21	1	-0/+54
\|
*	Commenting out things in GIA constant sweeping.	Alan Mishchenko	2017-07-14	1	-3/+3
\|
*	Bug fix in MiniLUT APIs.	Alan Mishchenko	2017-07-12	1	-1/+31
\|
*	Supporting CO attributes in GIA.	Alan Mishchenko	2017-07-12	3	-1/+10
\|
*	Making MiniLUT work for more than 6 inputs.	Alan Mishchenko	2017-07-08	1	-17/+38
\|
*	Adding new command line options for &verify and &synch2.	Alan Mishchenko	2017-07-06	2	-2/+14
\|
*	Commenting out useless assertion.	Alan Mishchenko	2017-07-06	1	-1/+1
\|
*	Merged in boschmitt/abc (pull request #77)	Alan Mishchenko	2017-07-04	1	-1/+1
\|\ \| \| \| \| \| \|	Small fixes for C++ compilers
\| *	Small fixes for C++ compilers	Bruno Schmitt	2017-07-04	1	-1/+1
\| \|
* \|	Synchronizing various data-structures.	Alan Mishchenko	2017-07-04	6	-13/+277
\|/
*	Saturating floating point computation.	Alan Mishchenko	2017-07-01	2	-2/+10
\|
*	Not calling a changed API until it is fixed.	Alan Mishchenko	2017-06-27	2	-2/+2
\|
*	Temp changes	Alan Mishchenko	2017-06-15	1	-0/+25
\|
*	Outputting cell configurations.	Alan Mishchenko	2017-06-02	1	-3/+51
\|
*	Several new procedures for GIA manipulation.	Alan Mishchenko	2017-06-01	1	-0/+51
\|
*	Experiments with support minimization.	Alan Mishchenko	2017-04-29	2	-0/+553
\|
*	Experiments with support minimization.	Alan Mishchenko	2017-04-27	3	-0/+345
\|
*	Two small fixes.	Alan Mishchenko	2017-04-24	1	-1/+1
\|
*	Experiments with don't-cares.	Alan Mishchenko	2017-04-08	1	-1/+1
\|
*	Adding stand-alone cut computation to GIA.	Alan Mishchenko	2017-04-05	1	-1/+1
\|
*	Adding stand-alone cut computation to GIA.	Alan Mishchenko	2017-04-05	1	-0/+1
\|
*	Adding stand-alone cut computation to GIA.	Alan Mishchenko	2017-04-05	1	-0/+646
\|
*	Code for structural unateness checking.	Alan Mishchenko	2017-03-18	1	-0/+255
\|
*	Code for structural unateness checking.	Alan Mishchenko	2017-03-18	1	-0/+1
\|
*	Clone of the main SAT solver to eneable independent work.	Alan Mishchenko	2017-03-03	1	-0/+1
\|
*	Clone of the main SAT solver to eneable independent work.	Alan Mishchenko	2017-03-03	1	-0/+136
\|
*	changed int to unsigned / narrowing conversion error	Heinz Riener	2017-03-03	2	-2/+2
\|
*	Adding command 'glitch' for glitch simulation.	Alan Mishchenko	2017-03-02	1	-10/+9
\|
*	Removing unused procedure.	Alan Mishchenko	2017-02-22	2	-20/+0
\|
*	Compiler warnings.	Alan Mishchenko	2017-02-18	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2017-02-18	1	-1/+1
\|
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	3	-6/+29
\|