iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-07	1	-12/+46
\|
*	Unifying parameters for the &ps command.	Alan Mishchenko	2013-09-05	1	-1/+10
\|
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-05	1	-0/+1
\|
*	Adding procedures to specify permutations with unused flops.	Alan Mishchenko	2013-08-28	1	-0/+1
\|
*	Added switch &sim -g to enable flop grouping.	Alan Mishchenko	2013-08-20	1	-0/+1
\|
*	New technology mapper.	Alan Mishchenko	2013-07-13	1	-0/+3
\|
*	Unifying representation of mapping in GIA.	Alan Mishchenko	2013-06-25	1	-14/+7
\|
*	Improving integration of the 'if' mapper with GIA.	Alan Mishchenko	2013-06-25	1	-1/+1
\|
*	Improving integration of the 'if' mapper with GIA.	Alan Mishchenko	2013-06-25	1	-1/+1
\|
*	Integrating new MFS package with GIA manager.	Alan Mishchenko	2013-06-04	1	-0/+1
\|
*	Multiplexer profiling.	Alan Mishchenko	2013-05-27	1	-1/+6
\|
*	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
\|