iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Experiments with cube hashing.	Alan Mishchenko	2015-02-27	2	-154/+365
\|
*	Experiments with cube hashing.	Alan Mishchenko	2015-02-20	1	-1/+292
\|
*	Changing semantics of switch -C in 'sop' to limit cubes at one node.	Alan Mishchenko	2015-02-18	3	-24/+24
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-17	1	-0/+34
\|
*	Compiler warnings.	Alan Mishchenko	2015-02-15	1	-1/+1
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-13	1	-0/+1
\|
*	Adding resource limit switch -C to 'sop'.	Alan Mishchenko	2015-02-11	2	-4/+5
\|
*	Adding resource limit to 'sop'.	Alan Mishchenko	2015-02-10	2	-0/+265
\|
*	Adding binary dump to CBA.	Alan Mishchenko	2015-02-05	1	-0/+7
\|
*	Major rehash of the CBA code.	Alan Mishchenko	2015-01-31	3	-2/+56
\|
*	Preprocessing for multi-output PLA tables.	Alan Mishchenko	2015-01-31	2	-0/+19
\|
*	New assertions and bug fix in DSD balancing.	Alan Mishchenko	2015-01-27	7	-8/+79
\|
*	Experiment with prime computation.	Alan Mishchenko	2015-01-25	1	-0/+124
\|
*	Changing memory model of Cba_Ntk_t.	Alan Mishchenko	2015-01-10	2	-0/+22
\|
*	Exprimental features in tech-mapping.	Alan Mishchenko	2014-12-21	1	-2/+16
\|
*	Adding new mapping feature.	Alan Mishchenko	2014-12-11	1	-0/+266
\|
*	Changes to the parser.	Alan Mishchenko	2014-12-04	1	-0/+1
\|
*	Changes to the parser.	Alan Mishchenko	2014-12-03	2	-2/+31
\|
*	New parser and framework.	Alan Mishchenko	2014-11-29	5	-12/+126
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-24	1	-3/+9
\|
*	Improvements to handling boxes and flops.	Alan Mishchenko	2014-11-24	3	-11/+47
\|
*	Fix in reading flop classes.	Alan Mishchenko	2014-11-21	1	-0/+4
\|
*	Integrating mfs2 package to work with boxes.	Alan Mishchenko	2014-11-17	1	-6/+4
\|
*	Integrating mfs2 package to work with boxes.	Alan Mishchenko	2014-11-16	2	-0/+88
\|
*	Improvements to word-level network package.	Alan Mishchenko	2014-11-14	1	-0/+8
\|
*	Enabling AIGs with boxes for word-level and sequential designs.	Alan Mishchenko	2014-11-13	1	-9/+9
\|
*	Added minor API to clean path on a Windows computer.	Alan Mishchenko	2014-11-05	2	-2/+24
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-28	1	-1/+1
\|
*	Changes to enable building external code.	Alan Mishchenko	2014-10-28	2	-57/+0
\|
*	One bug fix and two small changes.	Alan Mishchenko	2014-10-22	2	-0/+14
\|
*	Preparing to work with C++ code.	Alan Mishchenko	2014-10-21	1	-1/+1
\|
*	Improved QBF solver.	Alan Mishchenko	2014-10-18	1	-0/+6
\|
*	Bug fix in truth table computation.	Alan Mishchenko	2014-10-15	1	-0/+6
\|
*	Recommended changes for portability.	Alan Mishchenko	2014-10-12	3	-4/+4
\|
*	Bug fix in the bit-blaster.	Alan Mishchenko	2014-10-10	1	-2/+2
\|
*	Improvements to ISOP.	Alan Mishchenko	2014-10-10	1	-278/+784
\|
*	Suggested patch for type-punned warnings	Alan Mishchenko	2014-10-10	1	-1/+8
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-08	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-08	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2014-10-08	1	-1/+1
\|
*	Detection of threshold functions.	Alan Mishchenko	2014-10-08	4	-53/+434
\|
*	New ISOP computation.	Alan Mishchenko	2014-10-07	1	-36/+196
\|
*	New ISOP computation.	Alan Mishchenko	2014-10-04	2	-0/+522
\|
*	Improvements to bit-blaster.	Alan Mishchenko	2014-09-30	1	-0/+2
\|
*	Extending resource limit.	Alan Mishchenko	2014-09-20	1	-2/+2
\|
*	Tuning the flow scripts.	Alan Mishchenko	2014-09-20	1	-0/+1
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-19	1	-0/+69
\|
*	Improvements to Boolean matching.	Alan Mishchenko	2014-09-16	1	-0/+14
\|
*	New word-level representation package.	Alan Mishchenko	2014-09-12	1	-0/+29
\|
*	Improvements to the timing manager.	Alan Mishchenko	2014-08-25	2	-3/+8
\|