iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Bug fix in 'move_names' related to feed-through nets.	Alan Mishchenko	2015-03-15	1	-1/+20
\|
*	Adding silent mode to &cec -m.	Alan Mishchenko	2015-03-15	3	-15/+41
\|
*	Adding flop-input-only switch -f in &fftest.	Alan Mishchenko	2015-03-14	3	-15/+41
\|
*	Adding silent mode to &splitprove.	Alan Mishchenko	2015-03-14	1	-12/+19
\|
*	Adding silent mode to &splitprove.	Alan Mishchenko	2015-03-14	3	-20/+33
\|
*	Fix incorrect transfer of box copy ID.	Alan Mishchenko	2015-03-13	1	-2/+2
\|
*	Adding new command 'abcrc' to load "abc.rc" on demand.	Alan Mishchenko	2015-03-10	1	-5/+25
\|
*	Support for representing programmable cell configuration data (bug fix).	Alan Mishchenko	2015-03-09	1	-1/+4
\|
*	Compiler warnings.	Alan Mishchenko	2015-03-08	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2015-03-08	2	-4/+4
\|
*	Support for representing programmable cell configuration data.	Alan Mishchenko	2015-03-08	1	-1/+2
\|
*	Support for representing programmable cell configuration data.	Alan Mishchenko	2015-03-08	9	-100/+333
\|
*	Experiments with SAT-based cube enumeration.	Alan Mishchenko	2015-03-06	1	-57/+103
\|
*	Experiments with SAT-based cube enumeration.	Alan Mishchenko	2015-03-05	1	-1/+1
\|
*	Experiments with SAT-based cube enumeration.	Alan Mishchenko	2015-03-05	1	-0/+1
\|
*	Experiments with SAT-based cube enumeration.	Alan Mishchenko	2015-03-05	8	-33/+812
\|
*	Bug fix in reader/writer of 'r' section.	Alan Mishchenko	2015-03-05	1	-2/+5
\|
*	Improvements to the CBA package.	Alan Mishchenko	2015-03-04	10	-70/+175
\|
*	Bug fix WLC package (reusing name buffer, resulting in wrong print-outs).	Alan Mishchenko	2015-03-03	1	-3/+2
\|
*	Improvements to the CBA package.	Alan Mishchenko	2015-03-03	4	-18/+29
\|
*	Improvements to the CBA package.	Alan Mishchenko	2015-03-02	2	-2/+2
\|
*	Improvements to the CBA package.	Alan Mishchenko	2015-03-01	12	-422/+680
\|
*	Improvements to the SMTLIB parser.	Alan Mishchenko	2015-02-28	2	-533/+687
\|
*	Experiments with cube hashing.	Alan Mishchenko	2015-02-27	2	-154/+365
\|
*	Adding switch -x to command &fadds.	Alan Mishchenko	2015-02-26	2	-12/+21
\|
*	Compiler warnings.	Alan Mishchenko	2015-02-21	1	-9/+9
\|
*	Adding fflush() to make sure stdout responses appear on time.	Alan Mishchenko	2015-02-20	1	-0/+2
\|
*	Experiments with cube hashing.	Alan Mishchenko	2015-02-20	1	-1/+292
\|
*	Compiler warnings.	Alan Mishchenko	2015-02-19	6	-17/+22
\|
*	Committed by mistake.	Alan Mishchenko	2015-02-19	1	-1/+1
\|
*	Performance bug fix in 'clp' (different way of removing redundant fanins).	Alan Mishchenko	2015-02-19	2	-2/+69
\|
*	Propagating changes after updating flag of 'sop'.	Alan Mishchenko	2015-02-19	21	-37/+41
\|
*	Modifications to read SMTLIB file from stdin.	Alan Mishchenko	2015-02-18	1	-1/+0
\|
*	Modifications to read SMTLIB file from stdin.	Alan Mishchenko	2015-02-18	2	-27/+18
\|
*	Modifications to read SMTLIB file from stdin.	Alan Mishchenko	2015-02-18	1	-1/+1
\|
*	Modifications to read SMTLIB file from stdin.	Alan Mishchenko	2015-02-18	7	-117/+265
\|
*	Changing semantics of switch -C in 'sop' to limit cubes at one node.	Alan Mishchenko	2015-02-18	5	-47/+49
\|
*	Corner case bug in wire-cap estimation.	Alan Mishchenko	2015-02-18	1	-0/+2
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-17	5	-211/+334
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-16	2	-0/+91
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-16	7	-16/+552
\|
*	Modifications to read SMTLIB file from stdin.	Alan Mishchenko	2015-02-15	7	-81/+237
\|
*	Assertion failure in 'write_hie' with blackboxes.	Alan Mishchenko	2015-02-15	1	-0/+6
\|
*	Compiler warnings.	Alan Mishchenko	2015-02-15	3	-3/+2
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-15	8	-266/+629
\|
*	Added switch -n to 'sop'.	Alan Mishchenko	2015-02-14	2	-7/+11
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-13	9	-55/+55
\|
*	Modifications to read SMTLIB file from stdin.	Alan Mishchenko	2015-02-11	5	-13/+106
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-11	8	-69/+200
\|
*	Adding resource limit switch -C to 'sop'.	Alan Mishchenko	2015-02-11	23	-62/+79
\|