iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Counter-example depth minimization.	Alan Mishchenko	2013-05-22	1	-1/+4
*	Added new switched to command &frames.	Alan Mishchenko	2013-05-19	1	-0/+14
*	Adding support of XOR/MUX in GIA.	Alan Mishchenko	2013-05-17	1	-12/+69
*	Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.	Alan Mishchenko	2013-05-17	1	-20/+0
*	Adding new command &mprove for proving groups of properties.	Alan Mishchenko	2013-05-17	1	-0/+3
*	SAT sweeping under constraints (bug fix).	Alan Mishchenko	2013-05-07	1	-1/+1
*	Reading/writing MiniAIG and several minor changes.	Alan Mishchenko	2013-05-03	1	-0/+7
*	Faster isomorphism detection (command &iso).	Alan Mishchenko	2013-05-01	1	-1/+2
*	Changing the print-out of &iso.	Alan Mishchenko	2013-04-30	1	-1/+1
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-28	1	-0/+1
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-28	1	-0/+1
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-27	1	-0/+3
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-25	1	-2/+19
*	Shrink for 6-LUTs.	Alan Mishchenko	2013-04-01	1	-1/+1
*	Shrink for 6-LUTs.	Alan Mishchenko	2013-04-01	1	-1/+1
*	Shrink for 6-LUTs.	Alan Mishchenko	2013-03-31	1	-0/+1
*	Adding command &miter2 to derive a specified sequential miter.	Alan Mishchenko	2013-03-28	1	-1/+1
*	Adding command &miter2 to derive a specified sequential miter.	Alan Mishchenko	2013-03-27	1	-0/+2
*	Modified command 'init' to allow for specific init values.	Alan Mishchenko	2013-03-07	1	-1/+1
*	Improvements to the hierarchy/timing manager.	Alan Mishchenko	2013-03-05	1	-1/+1
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-03-04	1	-1/+1
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-03-03	1	-1/+1
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-27	1	-3/+4
*	User-controlable SAT sweeper and other small changes.	Alan Mishchenko	2013-02-27	1	-3/+5
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-27	1	-0/+2
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-0/+1
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-3/+5
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-3/+3
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-0/+4
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-26	1	-2/+10
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-0/+10
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-1/+7
*	Integrating sweeping information.	Alan Mishchenko	2013-02-23	1	-1/+5
*	K-hot STG encoding.	Alan Mishchenko	2013-02-23	1	-1/+1
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	1	-3/+2
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	1	-0/+2
*	New command &cycle, which is faster than 'cycle'.	Alan Mishchenko	2013-02-19	1	-0/+1
*	Adding STG generation (&era -d) and STG encoding (&read_stg <file>).	Alan Mishchenko	2013-02-19	1	-0/+3
*	Integrating sweeping information.	Alan Mishchenko	2013-02-19	1	-0/+2
*	Integrating sweeping information.	Alan Mishchenko	2013-02-18	1	-0/+1
*	Integrating packing information.	Alan Mishchenko	2013-02-17	1	-0/+1
*	Integration of timing manager.	Alan Mishchenko	2013-02-03	1	-3/+8
*	Integration of timing manager.	Alan Mishchenko	2013-02-01	1	-1/+1
*	Integration of timing manager.	Alan Mishchenko	2013-01-30	1	-0/+1
*	Added switch &trim -V <num> to remove const POs with specific value <num>.	Alan Mishchenko	2013-01-25	1	-1/+1
*	Integration of timing manager.	Alan Mishchenko	2013-01-23	1	-0/+1
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	1	-2/+0
*	Fixing C++ compilation issues.	Alan Mishchenko	2013-01-08	1	-1/+2
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	1	-6/+56
*	Deriving CEX after phase/tempor/reparam.	Alan Mishchenko	2012-12-09	1	-0/+4