iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	Integrated buffering and sizing.	Alan Mishchenko	2013-08-08	1	-0/+5
*	New technology mapper.	Alan Mishchenko	2013-07-14	1	-7/+17
*	New technology mapper.	Alan Mishchenko	2013-07-13	1	-3/+12
*	Precomputing DSD functions.	Alan Mishchenko	2013-07-11	1	-0/+13
*	New MFS package.	Alan Mishchenko	2013-05-30	1	-0/+8
*	New DSD detection code.	Alan Mishchenko	2013-05-30	1	-9/+18
*	New MFS package.	Alan Mishchenko	2013-05-27	1	-0/+19
*	New MFS package.	Alan Mishchenko	2013-05-23	1	-1/+18
*	New MFS package.	Alan Mishchenko	2013-05-12	2	-3/+11
*	Changing the queue to work in the same the array of costs is realloced.	Alan Mishchenko	2013-05-05	3	-5/+13
*	New fast extract.	Alan Mishchenko	2013-05-05	3	-7/+198
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-2/+4
*	Adding new API to the queue.	Alan Mishchenko	2013-05-04	1	-0/+4
*	Compiler warnings.	Alan Mishchenko	2013-05-03	1	-1/+0
*	Reading/writing MiniAIG and several minor changes.	Alan Mishchenko	2013-05-03	1	-0/+19
*	Minor changes and improvement in PO partitioning (command &popart).	Alan Mishchenko	2013-05-01	1	-0/+14
*	Faster isomorphism detection (command &iso).	Alan Mishchenko	2013-05-01	1	-1/+92
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-28	1	-0/+20
*	New fast extract.	Alan Mishchenko	2013-04-27	5	-1/+860
*	PO partitioning algorithm.	Alan Mishchenko	2013-03-09	1	-12/+10
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-0/+8
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-0/+5
*	Enabled detecting CEXes in multiple POs without stopping (sim3 -a).	Alan Mishchenko	2013-01-23	1	-1/+2
*	Integration of timing manager.	Alan Mishchenko	2013-01-23	1	-2/+4
*	Improvements to LMS code.	Alan Mishchenko	2012-10-27	1	-8/+7
*	Improvements to LMS code.	Alan Mishchenko	2012-10-27	1	-5/+78
*	Improvements to gate sizing.	Alan Mishchenko	2012-10-09	1	-0/+3
*	Improvements to gate sizing.	Alan Mishchenko	2012-10-08	1	-0/+360
*	Minor bug fix.	Alan Mishchenko	2012-10-04	1	-3/+3
*	Minor bug fixes.	Alan Mishchenko	2012-10-03	1	-3/+3
*	Modified structural constraint extraction (unfold -s) to work for multi-outpu...	Alan Mishchenko	2012-09-23	1	-0/+22