iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	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	3	-363/+1
\|
*	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
\|