iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-07	3	-3/+74
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-07	1	-9/+13
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-07	4	-18/+807
*	Unifying parameters for the &ps command.	Alan Mishchenko	2013-09-05	8	-16/+26
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-05	3	-1/+24
*	Temporarily (?) undoing previous change because it is incompatible with old A...	Alan Mishchenko	2013-09-05	1	-3/+4
*	Making selecting duplication procedure creates a smaller AIG.	Alan Mishchenko	2013-09-05	1	-2/+7
*	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 AIG...	Alan Mishchenko	2013-08-29	1	-1/+4
*	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