iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Reducing memory usage in bmc2 and bmc3.	Alan Mishchenko	2012-07-01	2	-1/+2
\|
*	Reducing memory usage in bmc2 and bmc3.	Alan Mishchenko	2012-07-01	1	-1/+2
\|
*	Reducing memory usage in bmc2 and bmc3.	Alan Mishchenko	2012-07-01	5	-179/+229
\|
*	Bug fix in &vta.	Alan Mishchenko	2012-06-29	3	-45/+69
\|
*	Bug fix in &gla.	Alan Mishchenko	2012-06-29	1	-0/+10
\|
*	Bug fix in &gla.	Alan Mishchenko	2012-06-29	1	-1/+1
\|
*	Bug fix in &gla_refine.	Alan Mishchenko	2012-06-29	1	-8/+4
\|
*	Bug fix when &vta returns empty absraction.	Alan Mishchenko	2012-06-29	2	-16/+22
\|
*	Bug fix in &gla -d.	Alan Mishchenko	2012-06-29	2	-14/+22
\|
*	Improving printouts in &vta and &gla.	Alan Mishchenko	2012-06-28	2	-9/+14
\|
*	Gate level abstraction (command &gla).	Alan Mishchenko	2012-06-28	2	-42/+101
\|
*	Gate level abstraction (command &gla).	Alan Mishchenko	2012-06-28	1	-8/+13
\|
*	Gate level abstraction (command &gla).	Alan Mishchenko	2012-06-28	4	-10/+1074
\|
*	New computation of tents for GIA package.	Alan Mishchenko	2012-06-28	1	-2/+61
\|
*	Added min-cut-based refinement of gate-level abstraction (command &gla_refine).	Alan Mishchenko	2012-06-24	9	-0/+686
\|
*	Added memory reporting to &vta.	Alan Mishchenko	2012-06-22	17	-32/+237
\|
*	Switch -A <file_name> to specify file name for dumping abstrated model with ↵	Alan Mishchenko	2012-06-21	3	-17/+31
\| \| \| \|	&vta -d.
*	Reporing memory usage by the SAT solver in 'bmc3'.	Alan Mishchenko	2012-06-15	4	-6/+63
\|
*	Minor change to prevent assertion failure when verifying required times.	Alan Mishchenko	2012-06-15	1	-2/+2
\|
*	Added option to compile on windows without DLL support.	Alan Mishchenko	2012-06-15	1	-2/+7
\|
*	Added warning when a command is missing	Alan Mishchenko	2012-06-15	1	-0/+2
\|
*	Misc changes.	Alan Mishchenko	2012-05-21	2	-3/+4
\|
*	Changing 'if' to allow for delay optimization on sequential paths only.	Alan Mishchenko	2012-05-20	2	-8/+9
\|
*	Changing 'if' to allow for delay optimization on sequential paths only.	Alan Mishchenko	2012-05-20	9	-19/+26
\|
*	Do not allow quitting bmc3 after exploring 2^<num_ff> frames if jump-forward ↵	Alan Mishchenko	2012-05-20	1	-1/+1
\| \| \| \|	is enabled.
*	Misc changes.	Alan Mishchenko	2012-05-19	3	-1/+69
\|
*	Prevent network from being unmapped after equivalence checking.	Alan Mishchenko	2012-05-15	1	-2/+4
\|
*	Better resolution of CO drivers. Should impact the QoR after 'if'.	Alan Mishchenko	2012-05-15	6	-36/+266
\|
*	Added generation of multipliers in 'gen'.	Alan Mishchenko	2012-05-15	2	-105/+160
\|
*	Preventing 'show' from unmapping the network.	Alan Mishchenko	2012-05-14	1	-7/+12
\|
*	Included copyright statement into 'main.c'.	Alan Mishchenko	2012-05-11	1	-0/+27
\|
*	Changing the rules of assigning the names when AIG is converted into a logic ↵	Alan Mishchenko	2012-05-11	1	-4/+9
\| \| \| \|	network.
*	Making sure cec -n and dsec -n do not remove the I/O names in the current ↵	Alan Mishchenko	2012-05-08	1	-0/+30
\| \| \| \|	network.
*	Bug fix in fraig_restore.	Alan Mishchenko	2012-05-06	1	-3/+6
\|
*	Misc changes.	Alan Mishchenko	2012-05-03	3	-1/+9
\|
*	Preventing &iso from removing fanoutless PIs.	Alan Mishchenko	2012-05-03	3	-6/+14
\|
*	Misc changes.	Alan Mishchenko	2012-05-02	1	-1/+2
\|
*	Bug fixes in previous bug fixes related to &trim.	Alan Mishchenko	2012-05-01	3	-31/+60
\|
*	Misc changes.	Alan Mishchenko	2012-05-01	1	-2/+2
\|
*	Added supporting dual-output seq miters in &trim (bug fix).	Alan Mishchenko	2012-04-30	1	-2/+0
\|
*	Compilation problem caused by multiple declarations.	Alan Mishchenko	2012-04-28	1	-0/+1
\|
*	Adding on-the-fly truth-table minimization.	Alan Mishchenko	2012-04-28	4	-1/+22
\|
*	Added supporting dual-output seq miters in &trim.	Alan Mishchenko	2012-04-28	1	-0/+13
\|
*	Added supporting dual-output seq miters in &iso.	Alan Mishchenko	2012-04-28	1	-0/+8
\|
*	Added supporting dual-output seq miters in &trim.	Alan Mishchenko	2012-04-28	4	-10/+56
\|
*	Added supporting dual-output seq miters in &iso.	Alan Mishchenko	2012-04-28	1	-2/+2
\|
*	Added supporting dual-output seq miters in &iso.	Alan Mishchenko	2012-04-28	3	-9/+48
\|
*	Misc changes.	Alan Mishchenko	2012-04-27	2	-38/+44
\|
*	Set the failed output index if ORing of outputs was done in 'int'.	Alan Mishchenko	2012-04-27	1	-1/+7
\|
*	Writing status file vta.status when dumping intermediate abstraction in &vta.	Alan Mishchenko	2012-04-27	1	-1/+3
\|