iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Bug fix in Vec_IntInsert() and a couple of new APIs.	Alan Mishchenko	2015-08-26	2	-1/+16
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-08-09	1	-5/+18
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-08-09	1	-2/+16
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-08-08	1	-0/+41
*	Updates to the Cba data-structure.	Alan Mishchenko	2015-07-25	1	-1/+1
*	Renaming Cba into Bac.	Alan Mishchenko	2015-07-21	1	-0/+21
*	Print-out for char arrays.	Alan Mishchenko	2015-07-12	1	-2/+2
*	Print-out for char arrays.	Alan Mishchenko	2015-07-12	1	-0/+20
*	Scalable SOP manipulation package.	Alan Mishchenko	2015-03-23	4	-1/+79
*	Scalable SOP manipulation package.	Alan Mishchenko	2015-03-18	1	-0/+8
*	Improvements to the CBA package.	Alan Mishchenko	2015-03-01	1	-0/+33
*	Experiments with cube hashing.	Alan Mishchenko	2015-02-27	1	-0/+25
*	Adding binary dump to CBA.	Alan Mishchenko	2015-02-05	1	-0/+7
*	Major rehash of the CBA code.	Alan Mishchenko	2015-01-31	2	-1/+55
*	New assertions and bug fix in DSD balancing.	Alan Mishchenko	2015-01-27	6	-0/+60
*	Changing memory model of Cba_Ntk_t.	Alan Mishchenko	2015-01-10	2	-0/+22
*	Changes to the parser.	Alan Mishchenko	2014-12-03	1	-0/+12
*	New parser and framework.	Alan Mishchenko	2014-11-29	1	-0/+42
*	Improvements to word-level network package.	Alan Mishchenko	2014-11-14	1	-0/+8
*	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	1	-2/+2
*	Suggested patch for type-punned warnings	Alan Mishchenko	2014-10-10	1	-1/+8
*	Tuning the flow scripts.	Alan Mishchenko	2014-09-20	1	-0/+1
*	Bug fix in &fraig -L <num>.	Alan Mishchenko	2014-08-12	1	-0/+11
*	Small changes in several packages.	Alan Mishchenko	2014-07-17	1	-0/+8
*	Changes and improvements to different packages.	Alan Mishchenko	2014-06-26	1	-4/+15
*	Experiments with MUX profiling.	Alan Mishchenko	2014-06-19	2	-2/+48
*	Various changes to enable better CNF generation.	Alan Mishchenko	2014-06-17	2	-12/+141
*	Various modifications.	Alan Mishchenko	2014-06-10	2	-3/+12
*	Improvements to technology mapping.	Alan Mishchenko	2014-04-02	1	-2/+5
*	Experiments with mapping.	Alan Mishchenko	2014-03-22	2	-0/+33
*	Adding barrier buffers.	Alan Mishchenko	2014-03-18	1	-0/+2
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-19	1	-5/+6
*	Significant improvement to LUT mappers (if, &if).	Alan Mishchenko	2014-02-16	1	-0/+39
*	Structural mapper into structures.	Alan Mishchenko	2013-11-12	1	-0/+8
*	Changes to Liberty parser.	Alan Mishchenko	2013-10-30	1	-0/+22
*	Compiler warnings.	Alan Mishchenko	2013-10-30	1	-4/+3
*	Resubstitution code.	Alan Mishchenko	2013-10-06	2	-20/+43
*	Changing default values.	Alan Mishchenko	2013-10-02	1	-13/+13
*	Changing default values.	Alan Mishchenko	2013-09-30	1	-0/+17
*	Changing default values.	Alan Mishchenko	2013-09-29	1	-0/+13
*	New logic sharing extraction.	Alan Mishchenko	2013-09-26	2	-213/+253
*	Improving DAG-aware unmapping.	Alan Mishchenko	2013-09-25	1	-4/+6
*	Improving DAG-aware unmapping.	Alan Mishchenko	2013-09-25	1	-0/+3
*	Changes to enable decomposition of non-DSD functions.	Alan Mishchenko	2013-09-25	1	-0/+18
*	Infrastructure to support full Liberty format and unitification of library re...	Alan Mishchenko	2013-09-15	1	-0/+20
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-10	1	-0/+208
*	Adding procedures to specify permutations with unused flops.	Alan Mishchenko	2013-08-28	1	-0/+21