iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	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	1	-0/+1
\|
*	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
\|
*	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	-89/+88
\|/
*	Commenting out printout.	Alan Mishchenko	2012-10-10	1	-2/+2
\|
*	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
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	2	-3/+3
\|
*	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
\|
*	Improving computation of choices from equivalence classes.	Alan Mishchenko	2012-09-23	7	-150/+529
\|
*	Testing GIA with time manager.	Alan Mishchenko	2012-09-23	3	-21/+10
\|
*	Integrating time manager into choice computation.	Alan Mishchenko	2012-09-22	4	-64/+211
\|
*	Added GIA normalization using timing manager.	Alan Mishchenko	2012-09-22	3	-8/+96
\|
*	Upgrading hierarchy timing manager.	Alan Mishchenko	2012-09-21	2	-2/+32
\|
*	Created new abstraction package from the code that was all over the place.	Alan Mishchenko	2012-09-15	16	-9827/+1
\|
*	Corrected &gla -a to work as expected.	Alan Mishchenko	2012-09-15	1	-33/+52
\|
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	3	-3/+7
\|
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	1	-1/+1
\|
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	2	-70/+86
\|
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	1	-1/+1
\|
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	2	-11/+106
\|
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	5	-55/+187
\|
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	2	-2/+2
\|
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	2	-2/+2
\|
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	2	-2/+2
\|
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	2	-4/+4
\|
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	2	-2/+2
\|
*	Added code to collect experimental results.	Alan Mishchenko	2012-09-11	5	-16/+71
\|
*	Unified print-out of property failures produced by all engines.	Alan Mishchenko	2012-09-09	4	-6/+5
\|
*	Disable printing refinement statistics by default.	Alan Mishchenko	2012-09-09	2	-2/+2
\|
*	Added switch '-p' to '&gla -n' to use full proof for UNSAT core computation ↵	Alan Mishchenko	2012-09-09	2	-2/+5
\| \| \| \|	(for experiments).