iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	7	-10/+12
\|
*	Added min-cut-based refinement of gate-level abstraction (command &gla_refine).	Alan Mishchenko	2012-06-24	1	-0/+204
\|
*	Misc changes.	Alan Mishchenko	2012-05-21	1	-1/+2
\|
*	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	3	-12/+13
\|
*	Misc changes.	Alan Mishchenko	2012-05-03	1	-0/+2
\|
*	Adding on-the-fly truth-table minimization.	Alan Mishchenko	2012-04-28	4	-1/+22
\|
*	Misc changes.	Alan Mishchenko	2012-04-22	1	-2/+2
\|
*	Bug fix in SOP balancing with structural choices.	Alan Mishchenko	2012-04-12	1	-0/+2
\|
*	Enabling mapping into multi-input AND/OR gates.	Alan Mishchenko	2012-03-27	5	-14/+98
\|
*	Alternative way of computing delay in SOP balancing.	Alan Mishchenko	2012-03-16	3	-3/+161
\|
*	Experiment with technology mapping.	Alan Mishchenko	2012-02-22	1	-0/+13
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-17	1	-1/+1
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-17	2	-5/+5
\|
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	6	-63/+52
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	6	-15/+15
\|
*	Changes to the lazy man's synthesis code.	Alan Mishchenko	2012-01-17	3	-7/+7
\|
*	Several small bug fixes in the mapper.	Alan Mishchenko	2012-01-15	2	-3/+6
\|
*	Changes to the lazy man's synthesis code.	Alan Mishchenko	2012-01-11	2	-1/+2
\|
*	Configuration changes in the Boolean matching code.	Alan Mishchenko	2012-01-05	1	-1/+1
\|
*	Delay optimization using precomputed library.	Alan Mishchenko	2011-12-29	2	-7/+19
\|
*	Added new switch to the LUT matching code.	Alan Mishchenko	2011-12-06	1	-13/+5
\|
*	Performance bug fix in SOP balancing.	Alan Mishchenko	2011-12-06	3	-31/+38
\|
*	Fixed performance bug in matching code.	Alan Mishchenko	2011-12-05	1	-3/+18
\|
*	Modifications to the matching procedure	Alan Mishchenko	2011-11-22	1	-6/+126
\|
*	Temporary debugging change.	Alan Mishchenko	2011-11-12	1	-28/+6
\|
*	Temporary debugging change.	Alan Mishchenko	2011-11-12	1	-1/+1
\|
*	Temporary debugging change.	Alan Mishchenko	2011-11-12	1	-0/+2
\|
*	Temporary debugging change.	Alan Mishchenko	2011-11-12	1	-2/+4
\|
*	Temporary debugging change.	Alan Mishchenko	2011-11-12	1	-0/+1
\|
*	Temporary debugging change.	Alan Mishchenko	2011-11-12	1	-3/+18
\|
*	Temporary debugging change.	Alan Mishchenko	2011-11-12	1	-0/+1
\|
*	Temporary debugging change.	Alan Mishchenko	2011-11-12	1	-0/+1
\|
*	C++ portability changes.	Alan Mishchenko	2011-10-27	2	-2/+9
\|
*	Changes to the matching procedure.	Alan Mishchenko	2011-10-12	1	-41/+217
\|
*	Changes to the matching procedure.	Alan Mishchenko	2011-10-10	1	-9/+9
\|
*	Changes to the matching procedure.	Alan Mishchenko	2011-10-10	3	-66/+311
\|
*	Changes to the matching procedure.	Alan Mishchenko	2011-10-06	1	-73/+231
\|
*	Modified write_blif to output LUT structures.	Alan Mishchenko	2011-10-04	2	-20/+87
\|
*	Changes to the matching procedure.	Alan Mishchenko	2011-10-03	2	-10/+214
\|
*	Changes to the matching procedure.	Alan Mishchenko	2011-10-02	7	-22/+90
\|
*	Changes to the matching procedure.	Alan Mishchenko	2011-10-01	8	-208/+655
\|
*	Changes to the matching procedure and new abstraction code.	Alan Mishchenko	2011-09-27	2	-151/+248
\|
*	Changes to Boolean matching.	Alan Mishchenko	2011-09-24	3	-123/+351
\|
*	Added new feature to bmc3.	Alan Mishchenko	2011-09-23	1	-15/+22
\|
*	64-bit portability changes.	Alan Mishchenko	2011-09-17	3	-3/+6
\|
*	Other changes to enable new features in the mapper (bug fix).	Alan Mishchenko	2011-07-20	2	-7/+17
\|
*	Other changes to enable new features in the mapper (bug fix).	Alan Mishchenko	2011-07-13	1	-1/+1
\|
*	Other changes to enable new features in the mapper (bug fix).	Alan Mishchenko	2011-07-11	1	-1/+1
\|
*	Other changes to enable new features in the mapper.	Alan Mishchenko	2011-07-10	7	-28/+440
\|