summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Enabling default no output in &icheck.Alan Mishchenko2014-02-151-0/+8
* Handing trivially UNSAT outputs in 'pdr'.Alan Mishchenko2014-02-131-0/+10
* Bug fix in arrival/departure time representation.Alan Mishchenko2014-02-131-12/+13
* Handling latches in combinational sizing.Alan Mishchenko2014-02-131-3/+4
* Adding APIs to specified input/output arrival/required times.Alan Mishchenko2014-02-122-0/+45
* Extendig the size of command line when running ABC in batch mode.Alan Mishchenko2014-02-121-1/+1
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-122-9/+22
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-111-0/+4
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-112-127/+133
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-111-10/+71
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-116-24/+75
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-101-0/+153
* Fix in represneting constants in a platform-independent way.Alan Mishchenko2014-02-101-12/+12
* Commenting out warnings about combinational network during retiming.Alan Mishchenko2014-02-091-3/+3
* Fixing assertion failure when all POs have constant functions.Alan Mishchenko2014-02-062-1/+4
* Fixing Liberty parser to handle 'scalar' delay/slew tables.Alan Mishchenko2014-02-063-0/+33
* Initial new interpolation code.Alan Mishchenko2014-01-287-0/+1254
* Handling C++-style comments in Liberty parser.Alan Mishchenko2014-01-281-0/+26
* Improving switching activity computation.Alan Mishchenko2013-12-301-1/+1
* Improving switching activity computation.Alan Mishchenko2013-12-301-1/+3
* Adding check for the presence of precomputed data.Alan Mishchenko2013-12-292-0/+10
* Improving switching activity computation.Alan Mishchenko2013-12-264-27/+26
* Fixed problem with timeout in &bmc.Alan Mishchenko2013-12-181-0/+2
* New command &write_cnf.Alan Mishchenko2013-12-183-2/+95
* add a new command line option to ABC, -q, same as -c, but without echoing the...Baruch Sterin2013-12-072-15/+29
* Making 'fold' and 'unfold' skip constant POs (another fix).Alan Mishchenko2013-12-041-6/+18
* Upgrading command 'print_supp'.Alan Mishchenko2013-12-041-3/+12
* Making 'fold' and 'unfold' skip constant POs (fixed).Alan Mishchenko2013-12-041-4/+5
* Bug fixes in the above patches.Alan Mishchenko2013-12-032-6/+7
* Suggested patch of AIG writers.Alan Mishchenko2013-12-032-34/+116
* Making 'fold' and 'unfold' skip constant POs.Alan Mishchenko2013-12-031-0/+4
* New canonical DSD form.Alan Mishchenko2013-12-021-0/+660
* Bug fix in &b when reference counters are given.Alan Mishchenko2013-11-301-0/+1
* Commeting out an assertion in sizing.Alan Mishchenko2013-11-271-1/+1
* Patching ABC for Yosys.Alan Mishchenko2013-11-271-1/+2
* Patching ABC for Yosys.Alan Mishchenko2013-11-271-2/+2
* Patching ABC for Yosys.Alan Mishchenko2013-11-272-4/+6
* Patching ABC for Yosys.Alan Mishchenko2013-11-275-59/+129
* Structural mapper into structures.Alan Mishchenko2013-11-262-42/+65
* Explanation for one assetion.Alan Mishchenko2013-11-261-1/+1
* Bug fix in timing update.Alan Mishchenko2013-11-261-1/+1
* Structural mapper into structures.Alan Mishchenko2013-11-243-81/+191
* Bug fix in technology mapper.Alan Mishchenko2013-11-241-4/+13
* Bug fix in liberty parser.Alan Mishchenko2013-11-231-2/+4
* Add command 'splitsop' to split large node SOPs into smaller ones.Alan Mishchenko2013-11-232-0/+152
* Several changes to allow Liberty files without delay info.Alan Mishchenko2013-11-216-19/+67
* Fixing several simple bugs in library handling.Alan Mishchenko2013-11-213-1/+3
* Bug fix in writing constants in write_verilog.Alan Mishchenko2013-11-211-1/+1
* Propagating initial PI level during balancing.Alan Mishchenko2013-11-151-0/+45
* Adding switch to control the number of nodes tried in mfs2.Alan Mishchenko2013-11-144-14/+29