summaryrefslogtreecommitdiffstats
path: root/src/base/abc
Commit message (Expand)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2013-10-171-1/+1
* Fix for writing choices into a BLIF file.Alan Mishchenko2013-10-161-2/+8
* Improvements to buffering and sizing.Alan Mishchenko2013-10-121-1/+4
* Improving printouts in sharing extraction.Alan Mishchenko2013-09-281-1/+1
* Bug fix.Alan Mishchenko2013-09-271-1/+1
* Fix a bug in 'zeropo'.Alan Mishchenko2013-09-131-1/+1
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-3/+3
* Adding switch 'ps -s' to skip counting buffers/inverters as nodes.Alan Mishchenko2013-09-023-2/+23
* Removing some old useless code.Alan Mishchenko2013-09-023-44/+1
* Adding interpolant computation sat_solver2.Alan Mishchenko2013-09-021-1/+1
* Modify level computation to take discretized arrival times into account.Alan Mishchenko2013-09-021-3/+7
* Adding switch &get -m to import mapped network into the &-space.Alan Mishchenko2013-09-011-2/+2
* Adding switch &get -m to import mapped network into the &-space.Alan Mishchenko2013-09-012-0/+113
* Extending 'permute' to handle user-specified flop permutation.Alan Mishchenko2013-08-162-3/+60
* Integrated buffering and sizing.Alan Mishchenko2013-08-082-0/+5
* Improvements to buffering and sizing.Alan Mishchenko2013-08-062-0/+8
* Improvements to buffering and sizing.Alan Mishchenko2013-08-061-2/+2
* Adding new (un)buffering with phase information.Alan Mishchenko2013-08-053-1/+35
* Added commands 'maxsize' and 'unbuffer'.Alan Mishchenko2013-07-291-0/+6
* Adding support for input slew and output capacitance to timer and gate-sizer ...Alan Mishchenko2013-07-241-2/+2
* Adding support for input slew and output capacitance to timer and gate-sizer.Alan Mishchenko2013-07-211-1/+0
* Adding support for input slew (.input_drive) and output capacitance (.output_...Alan Mishchenko2013-07-212-4/+17
* Imporvements to 'eliminate'.Alan Mishchenko2013-07-161-2/+20
* Adding another network duplicator.Alan Mishchenko2013-07-161-2/+2
* Adding another network duplicator.Alan Mishchenko2013-07-161-0/+58
* Fix constant propagation after 'if'.Alan Mishchenko2013-06-181-0/+14
* Moving one declaration to the header file.Alan Mishchenko2013-05-272-1/+2
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-276-43/+43
* Adding 'zeropo -o' to replace a given PO by const 1.Alan Mishchenko2013-05-151-2/+2
* Extending cube representation to handle SOPs with many cubes.Alan Mishchenko2013-05-121-0/+4
* Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ca...Alan Mishchenko2013-05-111-1/+1
* Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ca...Alan Mishchenko2013-05-112-74/+122
* Making fanin ordering available for netlists, not only networks.Alan Mishchenko2013-05-071-6/+6
* Procedures for sorting fanins of the nodes.Alan Mishchenko2013-05-061-0/+4
* Procedures for sorting fanins of the nodes.Alan Mishchenko2013-05-063-47/+434
* New fast extract.Alan Mishchenko2013-05-051-0/+47
* New fast extract.Alan Mishchenko2013-05-051-1/+1
* Improving local BDD construction from local SOPs and local AIGs.Alan Mishchenko2013-04-281-1/+4
* Modified command 'eliminate' to perform traditional 'eliminate -1'.Alan Mishchenko2013-04-281-4/+26
* Modified command 'eliminate' to perform traditional 'eliminate -1'.Alan Mishchenko2013-04-281-28/+160
* Improving local BDD construction from local SOPs and local AIGs.Alan Mishchenko2013-04-281-22/+84
* Updating 'sim3' to move the design into the last rare state.Alan Mishchenko2013-04-011-0/+1
* Compiler warnings.Alan Mishchenko2013-03-301-0/+1
* Changed to 'print_level' to be less verbose by default.Alan Mishchenko2013-03-281-1/+1
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-282-0/+33
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-0/+1
* Fixing performance problem in 'cone -s'Alan Mishchenko2013-02-133-10/+46
* Added switch 'zeropo -s' to skip comb sweep after removing a PO.Alan Mishchenko2013-02-011-1/+3
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-301-15/+15
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-0/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 05:07:46 +0000