iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	Added switch -I <file_name> to &sim to perform simulation with the user's sim...	Alan Mishchenko	2013-05-18	1	-0/+95
*	Adding support of XOR/MUX in GIA.	Alan Mishchenko	2013-05-17	1	-1/+1