summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Changes to LUT mappers.Alan Mishchenko2014-02-288-41/+201
|
* Changes to LUT mappers.Alan Mishchenko2014-02-278-36/+394
|
* Changes to LUT mappers.Alan Mishchenko2014-02-258-51/+295
|
* g++ compiler errors.Alan Mishchenko2014-02-254-8/+15
|
* g++ compiler errors.Alan Mishchenko2014-02-251-1/+1
|
* g++ compiler errors.Alan Mishchenko2014-02-251-4/+4
|
* Changes to LUT mappers.Alan Mishchenko2014-02-253-6/+10
|
* Changes to LUT mappers.Alan Mishchenko2014-02-195-163/+247
|
* Changes to LUT mappers.Alan Mishchenko2014-02-179-52/+820
|
* Changes to LUT mappers.Alan Mishchenko2014-02-176-42/+37
|
* Adding Python API n_area() to report area after standard cell mapping.Alan Mishchenko2014-02-171-0/+14
|
* Removing unused LMS code.Alan Mishchenko2014-02-168-6523/+6
|
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-1620-823/+292
|
* Changing 'miter' to compute SEQUENTIAL miter by default.Alan Mishchenko2014-02-151-1/+1
|
* Fixing timeout in &icheck.Alan Mishchenko2014-02-152-25/+44
|
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-151-2/+2
|
* Experiments with inductive don't-cares.Alan Mishchenko2014-02-151-2/+13
|
* 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 ↵Baruch Sterin2013-12-072-15/+29
| | | | the command
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 14:00:23 +0000