iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Counter-example depth minimization.	Alan Mishchenko	2013-05-22	1	-4/+89
\|
*	Adding support of XOR/MUX in GIA.	Alan Mishchenko	2013-05-17	1	-1/+136
\|
*	Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.	Alan Mishchenko	2013-05-17	1	-3/+1
\|
*	Reading/writing MiniAIG and several minor changes.	Alan Mishchenko	2013-05-03	1	-0/+35
\|
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-28	1	-3/+36
\|
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-28	1	-1/+1
\|
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-27	1	-0/+41
\|
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-25	1	-14/+71
\|
*	Adding command &miter2 to derive a specified sequential miter.	Alan Mishchenko	2013-03-28	1	-18/+28
\|
*	Adding command &miter2 to derive a specified sequential miter.	Alan Mishchenko	2013-03-27	1	-0/+152
\|
*	Fixing a bug in &cycle, which could generate an unreachable state.	Alan Mishchenko	2013-03-26	1	-9/+8
\|
*	Modified command 'init' to allow for specific init values.	Alan Mishchenko	2013-03-07	1	-3/+9
\|
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	1	-1/+1
\|
*	Integrating sweeping information.	Alan Mishchenko	2013-02-20	1	-0/+34
\|
*	New command &cycle, which is faster than 'cycle'.	Alan Mishchenko	2013-02-19	1	-0/+49
\|
*	Integration of timing manager.	Alan Mishchenko	2013-02-06	1	-0/+6
\|
*	Integration of timing manager.	Alan Mishchenko	2013-02-03	1	-265/+0
\|
*	Integration of timing manager.	Alan Mishchenko	2013-02-01	1	-2/+9
\|
*	Integration of timing manager.	Alan Mishchenko	2013-01-30	1	-0/+134
\|
*	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	1	-3/+23
\|
*	Deriving CEX after phase/tempor/reparam.	Alan Mishchenko	2012-12-09	1	-0/+104
\|
*	Enabling additional stat printouts.	Alan Mishchenko	2012-12-02	1	-1/+0
\|
*	Enabling command &append for combiming multiple AIGs.	Alan Mishchenko	2012-12-01	1	-0/+32
\|
*	Added switch 'cexcut -m' to generate bad states for all frames after G.	Alan Mishchenko	2012-11-15	1	-3/+3
\|
*	Added command 'cexcut' and 'cexmerge'.	Alan Mishchenko	2012-11-14	1	-3/+3
\|
*	Added command 'cexcut' and 'cexmerge'.	Alan Mishchenko	2012-11-14	1	-0/+53
\|
*	Extending GIA to represent pintypes and pins.	Alan Mishchenko	2012-11-12	1	-1/+3
\|
*	C++ portability changes.	Alan Mishchenko	2012-10-03	1	-1/+1
\|
*	Renamed reference counting APIs in GIA package.	Alan Mishchenko	2012-10-02	1	-4/+4
\|
*	Integrating time manager into choice computation.	Alan Mishchenko	2012-09-22	1	-7/+19
\|
*	Added GIA normalization using timing manager.	Alan Mishchenko	2012-09-22	1	-5/+87
\|
*	Created new abstraction package from the code that was all over the place.	Alan Mishchenko	2012-09-15	1	-257/+0
\|
*	Enabled recording the name of the file GIA is coming from.	Alan Mishchenko	2012-09-04	1	-0/+28
\|
*	Added switch &trim -c to additionally remove direct connections (POs fed by ↵	Alan Mishchenko	2012-07-20	1	-0/+52
\| \| \| \|	PIs).
*	Added command &gla_purify.	Alan Mishchenko	2012-07-08	1	-1/+1
\|
*	Performance improvement in &gla_refine.	Alan Mishchenko	2012-07-03	1	-104/+79
\|
*	Added min-cut-based refinement of gate-level abstraction (command &gla_refine).	Alan Mishchenko	2012-06-24	1	-0/+46
\|
*	Preventing &iso from removing fanoutless PIs.	Alan Mishchenko	2012-05-03	1	-3/+11
\|
*	Bug fixes in previous bug fixes related to &trim.	Alan Mishchenko	2012-05-01	1	-30/+58
\|
*	Added supporting dual-output seq miters in &trim (bug fix).	Alan Mishchenko	2012-04-30	1	-2/+0
\|
*	Added supporting dual-output seq miters in &trim.	Alan Mishchenko	2012-04-28	1	-0/+13
\|
*	Added supporting dual-output seq miters in &trim.	Alan Mishchenko	2012-04-28	1	-5/+46
\|
*	Isomorphism checking code.	Alan Mishchenko	2012-02-20	1	-1/+1
\|
*	Isomorphism checking code.	Alan Mishchenko	2012-02-19	1	-1/+1
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-2/+2
\|
*	Isomorphism checking code.	Alan Mishchenko	2012-02-15	1	-0/+77
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-53/+53
\|
*	Bug fix in GLA PBA.	Alan Mishchenko	2011-11-13	1	-0/+1
\|
*	Bug fix in GLA PBA.	Alan Mishchenko	2011-11-13	1	-0/+3
\|