iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Extending MiniLUT to return attributes.	Alan Mishchenko	2018-02-11	1	-0/+19
*	Experiments with LUT mapping.	Alan Mishchenko	2018-02-10	2	-9/+47
*	Experiments with circuit-based SAT.	Alan Mishchenko	2018-01-27	1	-26/+225
*	Experiments with circuit-based SAT.	Alan Mishchenko	2018-01-27	1	-132/+94
*	Experiments with circuit-based SAT.	Alan Mishchenko	2018-01-27	1	-31/+38
*	Experiments with circuit-based SAT.	Alan Mishchenko	2018-01-27	1	-130/+161
*	Experiments with circuit-based SAT.	Alan Mishchenko	2018-01-27	4	-0/+1293
*	Experiments with SAT-based simulation.	Alan Mishchenko	2018-01-25	3	-8/+42
*	Experiments with SAT-based simulation.	Alan Mishchenko	2018-01-23	3	-3/+122
*	Fixed crash in &nf when there is no buffer gate.	Alan Mishchenko	2018-01-12	1	-0/+5
*	Corner-case bug fixed in CNF generation.	Alan Mishchenko	2017-12-28	1	-0/+1
*	Corner-case bug fixed in CNF generation.	Alan Mishchenko	2017-12-28	1	-1/+6
*	Experiments with AIG-based simulation.	Alan Mishchenko	2017-12-05	3	-11/+244
*	Portability changes for gcc-6 suggested by Clifford.	Alan Mishchenko	2017-12-02	1	-6/+4
*	Improvements to AIG-based quantification.	Alan Mishchenko	2017-11-26	5	-247/+548
*	C++ compatibility: fix incompatible parameter list	Baruch Sterin	2017-11-23	1	-1/+1
*	C++ compatibility: cast returned void*	Baruch Sterin	2017-11-23	1	-2/+2
*	Experimental CEX minimization code.	Alan Mishchenko	2017-11-23	1	-0/+116
*	Extracting CSAT interface and several cleanups.	Alan Mishchenko	2017-11-13	4	-10/+26
*	Changes to make GIA structural hashing use a dedicated array instead of pObj-...	Alan Mishchenko	2017-11-13	5	-71/+75
*	Improvements to quantification.	Alan Mishchenko	2017-11-13	3	-0/+251
*	Profiling quantification and other changes.	Alan Mishchenko	2017-11-06	2	-0/+6
*	Profiling quantification and other changes.	Alan Mishchenko	2017-11-06	4	-1/+212
*	Improvements to quantification.	Alan Mishchenko	2017-10-29	2	-0/+80
*	Small fix. Garanteeing pPars is not NULL before checking pPars->fSlacks	Bruno Schmitt	2017-10-24	1	-1/+1
*	Adding API to dump MiniAIG into a Verilog file and other small changes.	Alan Mishchenko	2017-10-22	2	-0/+55
*	Integrating Glucose into &qbf.	Alan Mishchenko	2017-10-17	1	-3/+3
*	Integrating Glucose into &qbf.	Alan Mishchenko	2017-10-17	1	-9/+32
*	Improvements to SAT based SOP computation.	Alan Mishchenko	2017-10-06	2	-0/+8
*	Updates and bug fixes.	Alan Mishchenko	2017-10-04	1	-1/+1
*	Adding printout of slack distribution for mapped networks.	Alan Mishchenko	2017-10-02	2	-0/+321
*	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 use...	Bruno Schmitt	2017-08-29	2	-6/+4
*	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