iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Infrastructure to support full Liberty format and unitification of library ↵	Alan Mishchenko	2013-09-15	1	-2/+10
\| \| \| \|	representations.
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-10	1	-0/+4
\|
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-09	1	-0/+4
\|
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-07	1	-0/+4
\|
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-05	1	-0/+4
\|
*	Adding interpolant computation sat_solver2.	Alan Mishchenko	2013-09-05	1	-0/+4
\|
*	Enabling additional matching feature in the LUT mapper.	Alan Mishchenko	2013-08-12	1	-0/+4
\|
*	Integrated buffering and sizing.	Alan Mishchenko	2013-08-08	1	-0/+4
\|
*	SAT solver with dynamic CNF loading.	Alan Mishchenko	2013-08-01	1	-0/+4
\|
*	Improved buffering.	Alan Mishchenko	2013-07-29	1	-4/+0
\|
*	Improved gate-sizing.	Alan Mishchenko	2013-07-29	1	-0/+4
\|
*	Restructuring gate-sizing code trying to separate timing analysis.	Alan Mishchenko	2013-07-21	1	-4/+8
\|
*	Added command 'dnsize' to complement command 'upsize'.	Alan Mishchenko	2013-07-20	1	-0/+4
\|
*	New technology mapper.	Alan Mishchenko	2013-07-17	1	-0/+4
\|
*	New technology mapper.	Alan Mishchenko	2013-07-13	1	-0/+8
\|
*	New technology mapper.	Alan Mishchenko	2013-07-12	1	-8/+52
\|
*	Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, ↵	Alan Mishchenko	2013-07-01	1	-0/+4
\| \| \| \|	and Karem Sakallah at U Michigan.
*	Unifying representation of mapping in GIA.	Alan Mishchenko	2013-06-25	1	-4/+0
\|
*	New features to debug an test tech-mapping with choices.	Alan Mishchenko	2013-06-24	1	-0/+20
\|
*	Limiting runtime limit checks in 'pdr'.	Alan Mishchenko	2013-06-22	1	-0/+4
\|
*	Integrating new MFS package with GIA manager.	Alan Mishchenko	2013-06-04	1	-0/+4
\|
*	New DSD detection code.	Alan Mishchenko	2013-05-30	1	-0/+4
\|
*	Multiplexer profiling.	Alan Mishchenko	2013-05-27	1	-0/+4
\|
*	Counter-example depth minimization.	Alan Mishchenko	2013-05-22	1	-0/+4
\|
*	New MFS package.	Alan Mishchenko	2013-05-12	1	-3/+7
\|
*	Procedures for sorting fanins of the nodes.	Alan Mishchenko	2013-05-06	1	-0/+28
\|
*	Reading/writing MiniAIG and several minor changes.	Alan Mishchenko	2013-05-03	1	-0/+4
\|
*	Faster isomorphism detection (command &iso).	Alan Mishchenko	2013-05-01	1	-0/+4
\|
*	New fast extract.	Alan Mishchenko	2013-04-27	1	-0/+12
\|
*	SAT sweeping under constraints.	Alan Mishchenko	2013-04-25	1	-0/+32
\|
*	New MFS package.	Alan Mishchenko	2013-04-02	1	-0/+32
\|
*	Shrink for 6-LUTs.	Alan Mishchenko	2013-03-31	1	-0/+24
\|
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-02-25	1	-0/+4
\|
*	Started PO partitioning command.	Alan Mishchenko	2013-02-24	1	-0/+4
\|
*	Adding STG generation (&era -d) and STG encoding (&read_stg <file>).	Alan Mishchenko	2013-02-19	1	-0/+4
\|
*	Integrating sweeping information.	Alan Mishchenko	2013-02-18	1	-0/+4
\|
*	Integration of timing manager.	Alan Mishchenko	2013-02-03	1	-0/+4
\|
*	Technology mapper.	Alan Mishchenko	2013-01-08	1	-0/+8
\|
*	New unrolling manager.	Alan Mishchenko	2012-12-24	1	-0/+4
\|
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	1	-0/+4
\|
*	Retiring old 'fpga' command and package.	Alan Mishchenko	2012-12-10	1	-8/+0
\|
*	Retiring old 'fpga' command and package.	Alan Mishchenko	2012-12-10	1	-64/+0
\|
*	Adding box library.	Alan Mishchenko	2012-12-10	1	-1/+9
\|
*	Removed useless code from the sizing package.	Alan Mishchenko	2012-12-04	1	-8/+0
\|
*	Counter-example analysis and optimization.	Alan Mishchenko	2012-11-28	1	-0/+4
\|
*	Isolating BMC code into a separate package.	Alan Mishchenko	2012-11-14	1	-20/+36
\|
*	DSD manager.	Alan Mishchenko	2012-11-13	1	-0/+4
\|
*	Improved DSD.	Alan Mishchenko	2012-11-11	1	-0/+4
\|
*	Improved DSD.	Alan Mishchenko	2012-11-10	1	-0/+4
\|
*	Improvements to the truth table computations.	Alan Mishchenko	2012-11-01	1	-0/+4
\|