iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	68	-581/+581
*	Counter-example depth minimization.	Alan Mishchenko	2013-05-22	3	-6/+98
*	Windows Visual Studio 2008 warnings.	Alan Mishchenko	2013-05-20	2	-3/+3
*	g++ warnings.	Alan Mishchenko	2013-05-19	2	-2/+2
*	Bug fix in &frames.	Alan Mishchenko	2013-05-19	1	-25/+6
*	Bug fix in &mprove.	Alan Mishchenko	2013-05-19	1	-2/+2
*	Added new switched to command &frames.	Alan Mishchenko	2013-05-19	2	-6/+45
*	Added switch -I <file_name> to &sim to perform simulation with the user's sim...	Alan Mishchenko	2013-05-18	1	-0/+95
*	Adding support of XOR/MUX in GIA.	Alan Mishchenko	2013-05-17	1	-1/+1
*	Adding support of XOR/MUX in GIA.	Alan Mishchenko	2013-05-17	7	-48/+341
*	Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.	Alan Mishchenko	2013-05-17	5	-32/+5
*	Adding new command &mprove for proving groups of properties.	Alan Mishchenko	2013-05-17	2	-0/+92
*	Commenting assertion that does not hold in AIGER 1.9, accoring to Baruch Sterin.	Alan Mishchenko	2013-05-13	1	-1/+1
*	Bug fix in the sweeper.	Alan Mishchenko	2013-05-08	1	-1/+5
*	Bug fix in the sweeper.	Alan Mishchenko	2013-05-07	1	-2/+6
*	Bug fix in 'blockpo'.	Alan Mishchenko	2013-05-07	1	-0/+1
*	SAT sweeping under constraints (bug fix).	Alan Mishchenko	2013-05-07	3	-5/+6
*	SAT sweeping under constraints.	Alan Mishchenko	2013-05-06	1	-0/+1
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-1/+1
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-47/+48
*	C++ compiler errors.	Alan Mishchenko	2013-05-04	1	-1/+1