iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Improved unrolling manager.	Alan Mishchenko	2013-09-05	1	-2/+2
\|
*	Adding new line (\n) after 'c' at the beginning of the comment section in ↵	Alan Mishchenko	2013-08-29	1	-1/+4
\| \| \| \|	AIGER format.
*	Adding procedures to specify permutations with unused flops.	Alan Mishchenko	2013-08-28	2	-0/+46
\|
*	Added switch &sim -g to enable flop grouping.	Alan Mishchenko	2013-08-20	1	-16/+6
\|
*	Added switch &sim -g to enable flop grouping.	Alan Mishchenko	2013-08-20	2	-0/+37
\|
*	Extending 'permute' to handle user-specified flop permutation.	Alan Mishchenko	2013-08-16	1	-1/+1
\|
*	Enabling LUT decomposition in two special cases.	Alan Mishchenko	2013-08-14	1	-5/+5
\|
*	Enabling LUT decomposition in two special cases.	Alan Mishchenko	2013-08-14	1	-2/+2
\|
*	Enabling LUT decomposition in two special cases.	Alan Mishchenko	2013-08-14	1	-4/+4
\|
*	Enabling LUT decomposition in two special cases.	Alan Mishchenko	2013-08-14	1	-1/+1
\|
*	Enabling LUT decomposition in two special cases.	Alan Mishchenko	2013-08-14	1	-36/+46
\|
*	Bug fix in &if -z.	Alan Mishchenko	2013-08-14	1	-5/+16
\|
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-12	1	-3/+2
\|
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-12	1	-0/+29
\|
*	Tuning standard-cell mapping flow.	Alan Mishchenko	2013-07-23	1	-3/+2
\|
*	Enabling pin sorting in &if.	Alan Mishchenko	2013-07-22	1	-0/+3
\|
*	Imporvements to 'eliminate'.	Alan Mishchenko	2013-07-16	3	-3/+51
\|
*	New technology mapper.	Alan Mishchenko	2013-07-14	2	-2/+7
\|
*	New technology mapper.	Alan Mishchenko	2013-07-13	1	-0/+3
\|
*	New technology mapper.	Alan Mishchenko	2013-07-12	1	-0/+6
\|
*	New technology mapper.	Alan Mishchenko	2013-07-12	2	-1855/+0
\|
*	Fix to &era to skip synthesis and print verbose output more often.	Alan Mishchenko	2013-07-10	1	-2/+3
\|
*	Adding timeout to AIG rewriting inside 'int'.	Alan Mishchenko	2013-07-07	1	-0/+1
\|
*	Updating new mapper.	Alan Mishchenko	2013-06-30	1	-366/+379
\|
*	Updating new mapper.	Alan Mishchenko	2013-06-30	1	-76/+139
\|
*	Updating new mapper.	Alan Mishchenko	2013-06-30	1	-150/+114
\|
*	Updating new mapper.	Alan Mishchenko	2013-06-30	1	-207/+237
\|
*	Updating new mapper.	Alan Mishchenko	2013-06-30	1	-8/+29
\|
*	Updating new mapper.	Alan Mishchenko	2013-06-30	1	-13/+64
\|
*	Updating new mapper.	Alan Mishchenko	2013-06-29	1	-110/+386
\|
*	Improvemesnts to the mapper.	Alan Mishchenko	2013-06-29	1	-1/+4
\|
*	Updating new mapper.	Alan Mishchenko	2013-06-28	1	-241/+309
\|
*	Adding timeout to command 'ind'.	Alan Mishchenko	2013-06-28	2	-5/+11
\|
*	Adding timeout to the interpolant computation procedure.	Alan Mishchenko	2013-06-28	1	-1/+1
\|
*	Data-structure experiment.	Alan Mishchenko	2013-06-27	1	-85/+82
\|
*	Unifying representation of mapping in GIA.	Alan Mishchenko	2013-06-25	1	-1/+1
\|
*	Unifying representation of mapping in GIA.	Alan Mishchenko	2013-06-25	12	-448/+245
\|
*	Improving integration of the 'if' mapper with GIA.	Alan Mishchenko	2013-06-25	2	-12/+15
\|
*	Improving integration of the 'if' mapper with GIA.	Alan Mishchenko	2013-06-25	3	-225/+190
\|
*	New random FSM generation command 'genfsm'.	Alan Mishchenko	2013-06-22	1	-9/+15
\|
*	Compiler warnings.	Alan Mishchenko	2013-06-18	2	-1/+1
\|
*	Integrating new MFS package with GIA manager.	Alan Mishchenko	2013-06-04	4	-8/+438
\|
*	Multiplexer profiling.	Alan Mishchenko	2013-05-27	5	-129/+369
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	68	-581/+581
\|
*	Counter-example depth minimization.	Alan Mishchenko	2013-05-22	3	-6/+98
\|
*	Windows Visual Studio 2008 warnings.	Alan Mishchenko	2013-05-20	2	-3/+3
\|
*	g++ warnings.	Alan Mishchenko	2013-05-19	2	-2/+2
\|
*	Bug fix in &frames.	Alan Mishchenko	2013-05-19	1	-25/+6
\|
*	Bug fix in &mprove.	Alan Mishchenko	2013-05-19	1	-2/+2
\|
*	Added new switched to command &frames.	Alan Mishchenko	2013-05-19	2	-6/+45
\|