iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	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
\|
*	Testing GIA with time manager.	Alan Mishchenko	2012-09-23	5	-28/+19
\|
*	Modified structural constraint extraction (unfold -s) to work for ↵	Alan Mishchenko	2012-09-23	1	-162/+241
\| \| \| \|	multi-output testcases.
*	Cleaing AIG manager by removing pointers to HAIG.	Alan Mishchenko	2012-09-23	7	-875/+1
\|
*	Integrating time manager into choice computation.	Alan Mishchenko	2012-09-22	5	-64/+212
\|
*	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
\|
*	Bug fix in bmc3.	Alan Mishchenko	2012-09-17	1	-1/+6
\|
*	Fixed timeout problem in bmc3 -s.	Alan Mishchenko	2012-09-17	1	-12/+7
\|
*	Created new abstraction package from the code that was all over the place.	Alan Mishchenko	2012-09-15	25	-12922/+2
\|
*	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	3	-71/+88
\|
*	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
\|