summaryrefslogtreecommitdiffstats
path: root/src/base/abc
Commit message (Expand)AuthorAgeFilesLines
* New word-level representation package.Alan Mishchenko2014-09-121-4/+6
* Added command 'move_names'.Alan Mishchenko2014-08-281-0/+27
* Added DSD-based collapsing &dsd.Alan Mishchenko2014-08-161-1/+1
* Changes to align node IDs in Abc_Ntk_t representing a logic network with Abc_...Alan Mishchenko2014-06-301-14/+12
* Changes to align node IDs in Abc_Ntk_t representing a logic network with Abc_...Alan Mishchenko2014-06-301-10/+14
* Added transformation of CEX after 'fix_aig' and checking of transformed CEXes...Alan Mishchenko2014-06-171-0/+51
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-071-1/+1
* Adding duplicator of the design manager.Alan Mishchenko2014-05-121-1/+9
* Bug fix in handling barrier buffers.Alan Mishchenko2014-05-111-2/+8
* Adding duplicator of the design manager.Alan Mishchenko2014-05-102-0/+25
* Bug fix in a recent code for mapping.Alan Mishchenko2014-05-041-1/+1
* Added dumping original object names into a file.Alan Mishchenko2014-04-281-2/+2
* Added dumping original object names into a file.Alan Mishchenko2014-04-263-1/+139
* Adding new code to support barrier buffers.Alan Mishchenko2014-04-092-0/+119
* Cleanup and bug fixing in hierarchy handling.Alan Mishchenko2014-04-094-5/+30
* Renamed Abc_Lib_t into Abc_Des_t and removed some dead code.Alan Mishchenko2014-04-095-192/+77
* Integrating barrier buffers into the mapper.Alan Mishchenko2014-03-233-0/+109
* Updating code to support barrier buffers.Alan Mishchenko2014-03-182-4/+4
* Updating code to support barrier buffers.Alan Mishchenko2014-03-184-4/+28
* Adding barrier buffers.Alan Mishchenko2014-03-181-29/+59
* Adding barrier buffers.Alan Mishchenko2014-03-181-110/+76
* Adding barrier buffers.Alan Mishchenko2014-03-172-98/+72
* Adding barrier buffers.Alan Mishchenko2014-03-162-2/+4
* Adding barrier buffers.Alan Mishchenko2014-03-164-4/+381
* g++ compiler errors.Alan Mishchenko2014-02-251-4/+4
* Removing unused LMS code.Alan Mishchenko2014-02-161-23/+0
* Add command 'splitsop' to split large node SOPs into smaller ones.Alan Mishchenko2013-11-231-0/+74
* Fixing the wire-load approximation problem.Alan Mishchenko2013-11-072-0/+12
* Compiler warnings.Alan Mishchenko2013-10-301-1/+1
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-20 15:37:18 +0000