iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	User-controlable SAT sweeper and other small changes.	Alan Mishchenko	2013-02-27	3	-16/+197
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-27	2	-2/+56
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	2	-7/+7
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	2	-62/+82
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-0/+6
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-18/+29
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-2/+8
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-2/+6
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-2/+12
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-0/+2
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-3/+25
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-15/+15
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-2/+7
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-0/+3
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	2	-77/+139
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	2	-11/+15
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	2	-59/+91
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	2	-71/+66
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	2	-4/+399
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	3	-1/+289
*	Started PO partitioning command.	Alan Mishchenko	2013-02-25	1	-0/+168
*	Started PO partitioning command.	Alan Mishchenko	2013-02-24	2	-0/+121
*	Integrating sweeping information.	Alan Mishchenko	2013-02-23	2	-5/+14
*	Integrating sweeping information.	Alan Mishchenko	2013-02-23	7	-33/+68
*	K-hot STG encoding.	Alan Mishchenko	2013-02-23	2	-10/+72
*	K-hot STG encoding.	Alan Mishchenko	2013-02-23	1	-1/+178
*	Compiler warnings.	Alan Mishchenko	2013-02-21	3	-4/+5
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	1	-1/+1
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	1	-2/+2
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	6	-182/+56
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	2	-34/+25
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	4	-69/+139
*	Integrating hierarchy information (reporting incorrect topological order).	Alan Mishchenko	2013-02-20	3	-13/+53
*	Adding STG generation (&era -d) and STG encoding (&read_stg <file>).	Alan Mishchenko	2013-02-20	1	-18/+54
*	New command &cycle, which is faster than 'cycle'.	Alan Mishchenko	2013-02-19	2	-0/+50
*	Adding STG generation (&era -d) and STG encoding (&read_stg <file>).	Alan Mishchenko	2013-02-19	4	-8/+299
*	Integrating sweeping information.	Alan Mishchenko	2013-02-19	2	-2/+59
*	Integrating sweeping information.	Alan Mishchenko	2013-02-18	5	-0/+348
*	Integrating packing information.	Alan Mishchenko	2013-02-17	5	-4/+427
*	Integration of timing manager.	Alan Mishchenko	2013-02-06	3	-0/+62
*	Integration of timing manager.	Alan Mishchenko	2013-02-03	7	-281/+596
*	Integration of timing manager.	Alan Mishchenko	2013-02-01	4	-13/+137
*	Integration of timing manager.	Alan Mishchenko	2013-01-30	3	-0/+144
*	Added a fix for the writing an AIG that is not normalized.	Alan Mishchenko	2013-01-30	1	-1/+1
*	Fixing compilation problems on Linux-32 related to constants of type unsigned...	Alan Mishchenko	2013-01-30	1	-6/+6
*	Added switch &trim -V <num> to remove const POs with specific value <num>.	Alan Mishchenko	2013-01-25	1	-2/+2
*	Added switch &trim -V <num> to remove const POs with specific value <num>.	Alan Mishchenko	2013-01-25	2	-4/+24
*	Integration of timing manager.	Alan Mishchenko	2013-01-23	4	-8/+64
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	1	-2/+0
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	1	-1/+2