iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-12/+5
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-6/+17
\|
*	Added command 'cubeenum'.	Alan Mishchenko	2014-04-23	1	-0/+53
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	2	-0/+36
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-3/+3
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-22/+10
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-15/+13
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	1	-3/+3
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-23	2	-54/+115
\|
*	Bug fix in if -g when choices are used.	Alan Mishchenko	2014-04-22	2	-2/+2
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-21	4	-0/+154
\|
*	Experiments with permutations.	Alan Mishchenko	2014-04-20	2	-0/+868
\|
*	Adding color to sizing stats.	Alan Mishchenko	2014-04-19	3	-5/+22
\|
*	Adding color to sizing stats.	Alan Mishchenko	2014-04-19	1	-0/+26
\|
*	Added optimization for average rather than maximum delay.	Alan Mishchenko	2014-04-19	5	-274/+263
\|
*	Added structural hashing by default after if -g and &if -g.	Alan Mishchenko	2014-04-19	2	-4/+10
\|
*	Adding color to mapping stats.	Alan Mishchenko	2014-04-19	2	-3/+20
\|
*	Adding color to mapping stats.	Alan Mishchenko	2014-04-19	1	-3/+27
\|
*	Improvements to DSD balancing.	Alan Mishchenko	2014-04-19	3	-3/+21
\|
*	Improvements to DSD balancing.	Alan Mishchenko	2014-04-19	9	-38/+174
\|
*	Fix SOP balancing.	Alan Mishchenko	2014-04-19	1	-1/+1
\|
*	Adding print-out of average level.	Alan Mishchenko	2014-04-19	3	-3/+19
\|
*	Preserving outputs names in the &-space.	Alan Mishchenko	2014-04-18	1	-0/+12
\|
*	Improvements in technology mapping.	Alan Mishchenko	2014-04-17	3	-20/+19
\|
*	Changes in the LUT mapper data-structures.	Alan Mishchenko	2014-04-14	9	-78/+33
\|
*	New feature to optimize delay during mapping.	Alan Mishchenko	2014-04-13	2	-10/+45
\|
*	New feature to optimize delay during mapping.	Alan Mishchenko	2014-04-11	3	-12/+9
\|
*	New feature to optimize delay during mapping.	Alan Mishchenko	2014-04-11	3	-6/+9
\|
*	Improvements to DSD in technology mapping.	Alan Mishchenko	2014-04-11	5	-24/+15
\|
*	New feature to optimize delay during mapping.	Alan Mishchenko	2014-04-11	8	-15/+124
\|
*	Correcting internal check.	Alan Mishchenko	2014-04-11	3	-31/+41
\|
*	Removed obsolete code for sequential mapping.	Alan Mishchenko	2014-04-11	11	-77/+16
\|
*	Improvements to DSD in technology mapping.	Alan Mishchenko	2014-04-11	6	-26/+26
\|
*	Improving K-map printout.	Alan Mishchenko	2014-04-10	1	-0/+30
\|
*	Command to test console colors.	Alan Mishchenko	2014-04-10	1	-6/+5
\|
*	Command to test console colors.	Alan Mishchenko	2014-04-10	1	-4/+4
\|
*	Command to test console colors.	Alan Mishchenko	2014-04-10	1	-0/+2
\|
*	Command to test console colors.	Alan Mishchenko	2014-04-10	4	-0/+148
\|
*	Pass file name correctly.	Alan Mishchenko	2014-04-10	1	-3/+4
\|
*	Adding new code to support barrier buffers.	Alan Mishchenko	2014-04-09	3	-3/+133
\|
*	Updating cost function to be the number of edges in ps -b.	Alan Mishchenko	2014-04-09	1	-1/+4
\|
*	Cleanup and bug fixing in hierarchy handling.	Alan Mishchenko	2014-04-09	8	-17/+57
\|
*	Renamed Abc_Lib_t into Abc_Des_t and removed some dead code.	Alan Mishchenko	2014-04-09	11	-452/+105
\|
*	Adding switch to control area/delay quality tradeoff in 'amap'.	Alan Mishchenko	2014-04-08	1	-1/+1
\|
*	Adding switch to control area/delay quality tradeoff in 'amap'.	Alan Mishchenko	2014-04-08	3	-7/+92
\|
*	Adding command to dump UNSAT core of BMC instance.	Alan Mishchenko	2014-04-07	1	-0/+1
\|
*	Adding command to dump UNSAT core of BMC instance.	Alan Mishchenko	2014-04-07	1	-2/+2
\|
*	Adding command to dump UNSAT core of BMC instance.	Alan Mishchenko	2014-04-07	12	-20/+501
\|
*	Implementation of DSD balancing.	Alan Mishchenko	2014-04-06	9	-583/+586
\|
*	Improvement in SOP balancing.	Alan Mishchenko	2014-04-06	3	-23/+24
\|