iCE40/abc - [no description]

	Commit message (Collapse)	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 ↵	Alan Mishchenko	2013-09-05	1	-3/+4
\| \| \| \|	AIGER files generated by ABC.
*	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 ↵	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
\|