iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	g++ portability changes.	Alan Mishchenko	2011-12-13	1	-1/+2
\|
*	Implemented rollback in the main SAT solver and updated PDR to use it (saves ↵	Alan Mishchenko	2011-12-10	2	-3/+20
\| \| \| \|	about 5% of runtime).
*	Started experiments with a new solver.	Alan Mishchenko	2011-11-25	1	-0/+121
\|
*	Experiments with variable permutation.	Alan Mishchenko	2011-11-06	1	-20/+53
\|
*	C++ portability changes.	Alan Mishchenko	2011-10-27	1	-2/+2
\|
*	Changes to CNF generation code.	Alan Mishchenko	2011-10-19	2	-16/+33
\|
*	Changes to CNF generation code.	Alan Mishchenko	2011-10-19	2	-264/+176
\|
*	Changes to CNF generation code.	Alan Mishchenko	2011-10-17	3	-0/+775
\|
*	Bug fixes having to do with the use of chars.	Alan Mishchenko	2011-04-20	1	-4/+4
\|
*	Cumulative changes in the last few weeks.	Alan Mishchenko	2011-01-13	4	-2/+228
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	10	-19/+204
\|
*	Version abc90901	Alan Mishchenko	2015-06-22	2	-0/+46
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90408	Alan Mishchenko	2009-04-08	1	-1/+1
\|
*	Version abc90215	Alan Mishchenko	2009-02-15	6	-46/+46
\|
*	Version abc90118	Alan Mishchenko	2009-01-18	1	-1/+1
\|
*	Version abc81027	Alan Mishchenko	2008-10-27	2	-5/+14
\|
*	Version abc80721	Alan Mishchenko	2008-07-21	2	-3/+11
\|
*	Version abc80719	Alan Mishchenko	2008-07-19	2	-0/+17
\|
*	Version abc80717	Alan Mishchenko	2008-07-17	1	-17/+22
\|
*	Version abc80705	Alan Mishchenko	2008-07-05	3	-1/+95
\|
*	Version abc80610	Alan Mishchenko	2008-06-10	2	-3/+7
\|
*	Version abc80517	Alan Mishchenko	2008-05-17	1	-1/+1
\|
*	Version abc80510	Alan Mishchenko	2008-05-10	2	-1/+27
\|
*	Version abc80508	Alan Mishchenko	2008-05-08	3	-3/+37
\|
*	Version abc80422	Alan Mishchenko	2008-04-22	2	-0/+103
\|
*	Version abc80222	Alan Mishchenko	2008-02-22	2	-2/+3
\|
*	Version abc80202	Alan Mishchenko	2008-02-02	2	-0/+53
\|
*	Version abc80130_2	Alan Mishchenko	2008-01-30	11	-0/+7065
\|
*	Version abc80130	Alan Mishchenko	2008-01-30	11	-7063/+0
\|
*	Version abc80126	Alan Mishchenko	2008-01-26	1	-1/+1
\|
*	Version abc80116	Alan Mishchenko	2008-01-16	2	-0/+23
\|
*	Version abc71208	Alan Mishchenko	2007-12-08	3	-4/+64
\|
*	Version abc71002	Alan Mishchenko	2007-10-02	1	-2/+2
\|
*	Version abc71001	Alan Mishchenko	2007-10-01	11	-0/+6980
\|
*	Version abc70930	Alan Mishchenko	2007-09-30	11	-6980/+0
\|
*	Version abc70906	Alan Mishchenko	2007-09-06	2	-9/+9
\|
*	Version abc70731	Alan Mishchenko	2007-07-31	1	-0/+2
\|
*	Version abc70730	Alan Mishchenko	2007-07-30	5	-15/+140
\|
*	Version abc70727	Alan Mishchenko	2007-07-27	3	-15/+41
\|
*	Version abc70726	Alan Mishchenko	2007-07-26	7	-131/+319
\|
*	Version abc70712	Alan Mishchenko	2007-07-12	9	-108/+124
\|
*	Version abc70703	Alan Mishchenko	2007-07-03	11	-0/+6623