iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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, and...	Alan Mishchenko	2013-07-01	3	-0/+3614
*	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 o...	Alan Mishchenko	2013-07-01	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	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 b...	Niklas Een	2013-06-28	1	-4/+22
*	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
*	Limiting runtime limit checks in 'pdr'.	Alan Mishchenko	2013-06-22	1	-1/+1