iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Deriving CEX after phase/tempor/reparam.	Alan Mishchenko	2012-12-09	4	-4/+290
\|
*	Deriving CEX after phase/tempor/reparam.	Alan Mishchenko	2012-12-08	2	-10/+17
\|
*	Restoring correct behavior of 'tempor' after a change in counting BMC frames ↵	Alan Mishchenko	2012-12-07	1	-1/+1
\| \| \| \|	in 'bmc2'.
*	Enabling additional stat printouts.	Alan Mishchenko	2012-12-02	1	-1/+0
\|
*	Enabling command &append for combiming multiple AIGs.	Alan Mishchenko	2012-12-01	2	-0/+33
\|
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-28	2	-0/+20
\|
*	Added switch 'cexcut -m' to generate bad states for all frames after G.	Alan Mishchenko	2012-11-15	2	-3/+6
\|
*	Added switch 'cexcut -n' to generate only one bad state.	Alan Mishchenko	2012-11-15	1	-0/+2
\|
*	Added command 'cexcut' and 'cexmerge'.	Alan Mishchenko	2012-11-14	1	-3/+3
\|
*	Added command 'cexcut' and 'cexmerge'.	Alan Mishchenko	2012-11-14	2	-0/+54
\|
*	Isolating BMC code into a separate package.	Alan Mishchenko	2012-11-14	1	-1/+1
\|
*	Isolating BMC code into a separate package.	Alan Mishchenko	2012-11-14	10	-3771/+3
\|
*	Made print-out of frontier cut an option ('-c') in '&ps'.	Alan Mishchenko	2012-11-12	6	-10/+10
\|
*	Extending GIA to represent pintypes and pins.	Alan Mishchenko	2012-11-12	5	-4/+32
\|
*	Performance bug fix in choice generation.	Alan Mishchenko	2012-11-09	2	-1/+15
\|
*	Improvements to LMS code.	Alan Mishchenko	2012-11-06	3	-7/+24
\|
*	Fixing out-of-bound problem when collecting GIA nodes.	Alan Mishchenko	2012-11-02	2	-7/+17
\|
*	Changing default parameter in &if.	Alan Mishchenko	2012-11-02	1	-1/+1
\|
*	External APIs needed to use ABC as a static library.	Alan Mishchenko	2012-10-31	1	-0/+66
\|
*	Merge	Niklas Een	2012-10-30	9	-357/+901
\|\
\| *	Improvements to LMS code.	Alan Mishchenko	2012-10-28	2	-0/+34
\| \|
\| *	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-25	1	-2/+2
\| \|
\| *	Added hierarchical BLIF output for mapping with LUT structures (write_blif ↵	Alan Mishchenko	2012-10-24	1	-2/+3
\| \| \| \| \| \| \| \|	-a -S <XYZ>).
\| *	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	1	-19/+41
\| \|
\| *	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	4	-328/+629
\| \|
\| *	Creating dedicated choice representation for GIA.	Alan Mishchenko	2012-10-24	5	-21/+118
\| \|
\| *	Adding frontier comptuation based on reversed CO order in &ps.	Alan Mishchenko	2012-10-24	4	-9/+59
\| \|
\| *	Fixing frontier computation in &ps.	Alan Mishchenko	2012-10-24	1	-4/+43
\| \|
* \|	Replaced printfs with Abc_Print	Niklas Een	2012-10-29	1	-48/+47
\| \|
* \|	Replaced printfs with Abc_Print	Niklas Een	2012-10-29	1	-89/+88
\|/
*	Commenting out printout.	Alan Mishchenko	2012-10-10	1	-2/+2
\|
*	Added procedure to check correctness of the topo order during AIG construction.	Alan Mishchenko	2012-10-10	1	-0/+27
\|
*	Making report about the number of correcty covered frames consistent across ↵	Alan Mishchenko	2012-10-09	2	-4/+4
\| \| \| \|	the engines.
*	Making explicit cast to 64-bit unsigned in a few places.	Alan Mishchenko	2012-10-09	1	-1/+1
\|
*	Extending the default GIA writing buffer.	Alan Mishchenko	2012-10-09	1	-1/+1
\|
*	Bug fix in reading AIGER with both signal names and extensions.	Alan Mishchenko	2012-10-08	1	-79/+79
\|
*	Simplification in AIG manager object counting.	Alan Mishchenko	2012-10-05	2	-4/+3
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	3	-5/+5
\|
*	Minor bug fixes.	Alan Mishchenko	2012-10-03	1	-3/+8
\|
*	Renamed reference counting APIs in GIA package.	Alan Mishchenko	2012-10-02	16	-72/+64
\|
*	Combined old reparametrization command with the new one.	Alan Mishchenko	2012-10-02	3	-206/+0
\|
*	Structural reparametrization.	Alan Mishchenko	2012-10-02	2	-1/+11
\|
*	Separated truth table computation for GIA manager and added new procedures.	Alan Mishchenko	2012-10-02	2	-0/+57
\|
*	Separated truth table computation for GIA manager and added new procedures.	Alan Mishchenko	2012-10-02	4	-149/+301
\|
*	Structural reparametrization.	Alan Mishchenko	2012-10-01	2	-0/+2
\|
*	Fixed several important problems in choice computation (command 'dch').	Alan Mishchenko	2012-10-01	3	-387/+68
\|
*	Added serialization of Mini AIG.	Alan Mishchenko	2012-09-29	1	-6/+62
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	2	-0/+194
\|
*	Replacing 'st_table' by 'st__table' to resolve linker problems.	Alan Mishchenko	2012-09-29	2	-15/+15
\|
*	Improving computation of choices from equivalence classes.	Alan Mishchenko	2012-09-23	7	-150/+529
\|