iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	New technology mapper.	Alan Mishchenko	2013-07-13	11	-112/+1106
\|
*	New technology mapper.	Alan Mishchenko	2013-07-13	9	-11/+88
\|
*	New technology mapper.	Alan Mishchenko	2013-07-13	1	-1/+1
\|
*	New technology mapper.	Alan Mishchenko	2013-07-13	5	-67/+72
\|
*	New technology mapper.	Alan Mishchenko	2013-07-13	1	-0/+1
\|
*	New technology mapper.	Alan Mishchenko	2013-07-13	1	-2/+2
\|
*	New technology mapper.	Alan Mishchenko	2013-07-13	6	-235/+277
\|
*	New technology mapper.	Alan Mishchenko	2013-07-12	9	-138/+334
\|
*	Compiler warnings.	Alan Mishchenko	2013-07-12	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2013-07-12	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2013-07-12	2	-24/+24
\|
*	Compiler warnings.	Alan Mishchenko	2013-07-12	1	-8/+7
\|
*	New technology mapper.	Alan Mishchenko	2013-07-12	17	-1869/+2581
\|
*	Precomputing DSD functions.	Alan Mishchenko	2013-07-11	2	-10/+86
\|
*	Precomputing DSD functions.	Alan Mishchenko	2013-07-11	1	-31/+423
\|
*	Fix to &era to skip synthesis and print verbose output more often.	Alan Mishchenko	2013-07-10	1	-2/+3
\|
*	Bug fix in 'mfs2'.	Alan Mishchenko	2013-07-08	1	-2/+2
\|
*	Adding timeout to AIG rewriting inside 'int'.	Alan Mishchenko	2013-07-08	1	-2/+0
\|
*	Adding timeout to AIG rewriting inside 'int'.	Alan Mishchenko	2013-07-07	6	-1/+51
\|
*	Compiler warning.	Alan Mishchenko	2013-07-01	1	-4/+6
\|
*	Compiler problem.	Alan Mishchenko	2013-07-01	2	-150/+150
\|
*	Compiler problem.	Alan Mishchenko	2013-07-01	1	-20/+20
\|
*	Fixing a typo.	Alan Mishchenko	2013-07-01	1	-1/+1
\|
*	Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, ↵	Alan Mishchenko	2013-07-01	3	-0/+3614
\| \| \| \|	and Karem Sakallah at U Michigan.
*	Bug fix in the timeout for 'int'.	Alan Mishchenko	2013-07-01	1	-1/+1
\|
*	Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem ↵	Alan Mishchenko	2013-07-01	1	-0/+1
\| \| \| \|	on some platforms.
*	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	3	-118/+406
\|
*	Improvemesnts to the mapper.	Alan Mishchenko	2013-06-29	1	-1/+4
\|
*	Forgot that LIN64 was used in place of LIN for 64-bit architectures. Fixed.	Niklas Een	2013-06-29	1	-2/+2
\|
*	Fixed a problem in BridgeMode; it will now correctly detect if the pipe has ↵	Niklas Een	2013-06-28	1	-4/+22
\| \| \| \|	been closed and exit ABC.
*	Updating new mapper.	Alan Mishchenko	2013-06-28	2	-281/+356
\|
*	Adding timeout to command 'ind'.	Alan Mishchenko	2013-06-28	4	-13/+33
\|
*	Adding timeout to the interpolant computation procedure.	Alan Mishchenko	2013-06-28	4	-4/+23
\|
*	Data-structure experiment.	Alan Mishchenko	2013-06-27	2	-89/+86
\|
*	Saving delay information after mapping.	Alan Mishchenko	2013-06-26	2	-0/+2
\|
*	Minor compilation problem.	Alan Mishchenko	2013-06-26	1	-1/+1
\|
*	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	17	-459/+365
\|
*	Improving integration of the 'if' mapper with GIA.	Alan Mishchenko	2013-06-25	3	-13/+16
\|
*	Improving integration of the 'if' mapper with GIA.	Alan Mishchenko	2013-06-25	6	-231/+211
\|
*	Improving CEC (command 'dcec') by integrating XOR balancing.	Alan Mishchenko	2013-06-25	1	-1/+1
\|
*	Improving CEC (command 'dcec') by integrating XOR balancing.	Alan Mishchenko	2013-06-25	2	-3/+38
\|
*	New features to debug an test tech-mapping with choices.	Alan Mishchenko	2013-06-24	2	-0/+602
\|
*	New random FSM generation command 'genfsm'.	Alan Mishchenko	2013-06-22	3	-9/+235
\|