iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding support for black boxes in extended AIG.	Alan Mishchenko	2015-10-04	4	-7/+25
*	Bug with in not property copying box info in &save/&load.	Alan Mishchenko	2015-03-25	1	-0/+18
*	Fix incorrect transfer of box copy ID.	Alan Mishchenko	2015-03-13	1	-2/+2
*	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
*	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
*	Enabling AIGs with boxes for word-level and sequential designs.	Alan Mishchenko	2014-11-13	1	-9/+9
*	Improvements to the timing manager.	Alan Mishchenko	2014-08-25	2	-3/+8
*	Propagating timing support to the new synthesis/mapping commands.	Alan Mishchenko	2014-08-20	2	-2/+2
*	Buf fixes and minor changes to the &if mapper.	Alan Mishchenko	2013-08-29	1	-2/+2
*	Improvements to the hierarchy/timing manager.	Alan Mishchenko	2013-03-05	2	-0/+10
*	Improvements to the hierarchy/timing manager.	Alan Mishchenko	2013-03-05	4	-20/+78
*	User-controlable SAT sweeper and other small changes.	Alan Mishchenko	2013-02-27	1	-2/+1
*	Integrating sweeping information.	Alan Mishchenko	2013-02-23	1	-1/+3
*	Integrating sweeping information.	Alan Mishchenko	2013-02-23	2	-3/+5
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	1	-0/+1
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	1	-7/+8
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	1	-1/+1
*	Integrating hierarchy information (reporting incorrect topological order).	Alan Mishchenko	2013-02-20	2	-0/+24
*	Adding STG generation (&era -d) and STG encoding (&read_stg <file>).	Alan Mishchenko	2013-02-19	1	-0/+1
*	Integrating sweeping information.	Alan Mishchenko	2013-02-19	1	-27/+35
*	Integrating sweeping information.	Alan Mishchenko	2013-02-18	2	-6/+136
*	Integration of timing manager.	Alan Mishchenko	2013-02-03	1	-1/+1
*	Integration of timing manager.	Alan Mishchenko	2013-02-01	1	-0/+1
*	Integration of timing manager.	Alan Mishchenko	2013-01-30	1	-0/+2
*	Integration of timing manager.	Alan Mishchenko	2013-01-25	1	-3/+10
*	Assembling timing/hierarchy manager from input data.	Alan Mishchenko	2012-12-15	2	-5/+51
*	Assembling timing/hierarchy manager from input data.	Alan Mishchenko	2012-12-13	2	-10/+22
*	Assembling timing/hierarchy manager from input data.	Alan Mishchenko	2012-12-10	2	-0/+62
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	2	-4/+8
*	Bug fix in loading the timing manager.	Alan Mishchenko	2012-10-05	1	-0/+8
*	Testing GIA with time manager.	Alan Mishchenko	2012-09-24	2	-9/+54
*	Testing GIA with time manager.	Alan Mishchenko	2012-09-23	5	-18/+75
*	Integrating time manager into choice computation.	Alan Mishchenko	2012-09-22	4	-53/+76
*	Upgrading hierarchy timing manager.	Alan Mishchenko	2012-09-21	9	-989/+1372
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-2/+2
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-1/+0
*	Misc changes.	Alan Mishchenko	2012-05-03	1	-1/+1
*	Misc changes.	Alan Mishchenko	2012-04-22	1	-2/+3
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	3	-0/+1107