iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Added min-cut-based refinement of gate-level abstraction (command &gla_refine).	Alan Mishchenko	2012-06-24	10	-0/+690
\|
*	.	Baruch Sterin	2012-06-22	2	-1542/+2612
\|
*	Added memory reporting to &vta.	Alan Mishchenko	2012-06-22	17	-32/+237
\|
*	Updated default BIP version.	Alan Mishchenko	2012-06-21	1	-1/+1
\|
*	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
\|
*	Updating the counter of finished frames when dumping intermediate ↵	Alan Mishchenko	2012-04-27	3	-4/+9
\| \| \| \|	abstraction in &vta.
*	Disallow the circiut-based solver in &scorr to run with more than 1000 ↵	Alan Mishchenko	2012-04-24	1	-0/+3
\| \| \| \|	conflicts.
*	Misc changes.	Alan Mishchenko	2012-04-22	3	-2/+7
\|
*	Misc changes.	Alan Mishchenko	2012-04-22	3	-6/+11
\|
*	pyabc: minor fixes to make API changes work	Baruch Sterin	2012-04-20	1	-1/+3
\|
*	Added Python APIs for node/level counts.	Alan Mishchenko	2012-04-20	1	-3/+29
\|
*	Misc changes.	Alan Mishchenko	2012-04-20	3	-14/+5
\|
*	Adding dumping abstractions in &vta.	Alan Mishchenko	2012-04-15	1	-2/+5
\|
*	Adding iterative refinement to 'addbuffs'.	Alan Mishchenko	2012-04-14	1	-0/+43
\|
*	Adding iterative refinement to 'addbuffs'.	Alan Mishchenko	2012-04-13	2	-10/+37
\|
*	Updated used message for 'back_reach'.	Alan Mishchenko	2012-04-13	1	-1/+1
\|
*	Bug fix in SOP balancing with structural choices.	Alan Mishchenko	2012-04-12	1	-0/+2
\|