iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Improvements to Cba data-structure.	Alan Mishchenko	2015-07-31	1	-0/+1
\|
*	Renaming Cba into Bac.	Alan Mishchenko	2015-07-21	1	-0/+4
\|
*	Scalable SOP manipulation package.	Alan Mishchenko	2015-03-18	2	-0/+5
\|
*	Modifications to read SMTLIB file from stdin.	Alan Mishchenko	2015-02-18	1	-16/+1
\|
*	Modifications to read SMTLIB file from stdin.	Alan Mishchenko	2015-02-11	1	-2/+31
\|
*	New parser and framework.	Alan Mishchenko	2014-11-29	2	-0/+5
\|
*	Changes to enable building external code.	Alan Mishchenko	2014-10-28	3	-32/+2
\|
*	Changes to enable building external code.	Alan Mishchenko	2014-10-27	3	-378/+376
\|
*	make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd()	Baruch Sterin	2014-10-22	2	-0/+45
\|
*	Adding commands backup/restore.	Alan Mishchenko	2014-10-21	2	-0/+2
\|
*	Replacing tabs with spaces.	Alan Mishchenko	2014-09-12	1	-1/+1
\|
*	New word-level representation package.	Alan Mishchenko	2014-09-12	2	-0/+5
\|
*	Improvements to DSD balancing.	Alan Mishchenko	2014-08-27	3	-1/+7
\|
*	Adding commands to save/load best network.	Alan Mishchenko	2014-08-26	1	-0/+4
\|
*	Cleanup and bug fixing in hierarchy handling.	Alan Mishchenko	2014-04-09	3	-5/+0
\|
*	Renamed Abc_Lib_t into Abc_Des_t and removed some dead code.	Alan Mishchenko	2014-04-09	1	-1/+1
\|
*	Adding a warning when the current network or AIG has no POs.	Alan Mishchenko	2014-03-10	1	-0/+3
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	1	-1/+1
\|
*	Changes to LUT mappers.	Alan Mishchenko	2014-02-28	3	-1/+9
\|
*	Extendig the size of command line when running ABC in batch mode.	Alan Mishchenko	2014-02-12	1	-1/+1
\|
*	Experiments with inductive don't-cares.	Alan Mishchenko	2014-02-11	2	-0/+4
\|
*	add a new command line option to ABC, -q, same as -c, but without echoing ↵	Baruch Sterin	2013-12-07	2	-15/+29
\| \| \| \|	the command
*	Upgrading 'mfs2' to consider some nodes as having no level.	Alan Mishchenko	2013-10-09	1	-1/+1
\|
*	Upgrading 'mfs2' to consider some nodes as having no level.	Alan Mishchenko	2013-10-09	1	-1/+1
\|
*	Adding commands to set and print timing constraints.	Alan Mishchenko	2013-09-17	3	-0/+14
\|
*	Added Python API status_get_vector() similar to cex_get_vector().	Alan Mishchenko	2013-09-04	2	-0/+2
\|
*	Tuning standard-cell mapping flow.	Alan Mishchenko	2013-07-24	2	-0/+2
\|
*	Limiting runtime limit checks in 'pdr'.	Alan Mishchenko	2013-06-22	1	-1/+1
\|
*	Limiting runtime limit checks in 'pdr'.	Alan Mishchenko	2013-06-22	1	-1/+1
\|
*	Adding new command &mprove for proving groups of properties.	Alan Mishchenko	2013-05-17	3	-0/+9
\|
*	Making changes suggested by Mark Jarvin.	Alan Mishchenko	2013-05-04	1	-5/+0
\|
*	Adding command &filter_equiv to filter candidate equivalence classes using ↵	Alan Mishchenko	2013-04-17	3	-0/+5
\| \| \| \|	indexes of disproved POs after handling SRM as a multi-output miter.
*	Improvements to the hierarchy/timing manager.	Alan Mishchenko	2013-03-05	1	-1/+1
\|
*	Improvements to the hierarchy/timing manager.	Alan Mishchenko	2013-03-05	1	-1/+1
\|
*	User-controlable SAT sweeper.	Alan Mishchenko	2013-03-04	1	-0/+2
\|
*	Added new Python API is_const_po( int iPoNum ), which returns 0/1 if current ↵	Alan Mishchenko	2013-01-25	2	-2/+35
\| \| \| \|	network is an AIG and the given PO has const 0/1 function.
*	Renaming If_Lut_t into If_LibLut_t.	Alan Mishchenko	2012-12-10	1	-1/+0
\|
*	Adding box library.	Alan Mishchenko	2012-12-10	4	-4/+9
\|
*	Added command 'cexsave' and 'cexload'.	Alan Mishchenko	2012-11-14	2	-0/+2
\|
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	1	-1/+1
\|
*	Updating readme.	Alan Mishchenko	2012-10-06	1	-3/+3
\|
*	Updating readme.	Alan Mishchenko	2012-10-06	1	-2/+6
\|
*	Changed 'readline' declaration rules.	Alan Mishchenko	2012-10-04	1	-2/+2
\|
*	Minor bug fix.	Alan Mishchenko	2012-10-04	1	-0/+3
\|
*	Added command 'starter' to call ABC concurrently.	Alan Mishchenko	2012-10-02	2	-3/+2
\|
*	Added detection of 'readline' library at compile-time.	Alan Mishchenko	2012-10-02	1	-2/+2
\|
*	Added detection of 'readline' library at compile-time.	Alan Mishchenko	2012-10-02	1	-2/+2
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-4/+0
\|
*	Compiler warnings.	Alan Mishchenko	2012-09-29	1	-1/+4
\|
*	Added detection of 'readline' library at compile-time.	Alan Mishchenko	2012-09-29	1	-10/+9
\|