summaryrefslogtreecommitdiffstats
path: root/src/base/abc/abcNtk.c
Commit message (Expand)AuthorAgeFilesLines
* Experiments with new network data-structure.Alan Mishchenko2017-03-191-0/+39
* Detecting properties of internal nodes.Alan Mishchenko2016-06-121-0/+1
* Additional improvements in 'satclp'.Alan Mishchenko2015-10-181-0/+35
* Bug fix in &nf and in propagating timing info.Alan Mishchenko2015-09-271-2/+2
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+1
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-0/+9
* Getting default AND-node delay from Genlib library.Alan Mishchenko2015-04-061-0/+2
* Gate sizing with barrier buffers.Alan Mishchenko2014-12-211-0/+44
* 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 dumping original object names into a file.Alan Mishchenko2014-04-261-0/+1
* Cleanup and bug fixing in hierarchy handling.Alan Mishchenko2014-04-091-3/+0
* Renamed Abc_Lib_t into Abc_Des_t and removed some dead code.Alan Mishchenko2014-04-091-1/+1
* Adding barrier buffers.Alan Mishchenko2014-03-161-0/+4
* Compiler warnings.Alan Mishchenko2013-10-171-1/+1
* Fix a bug in 'zeropo'.Alan Mishchenko2013-09-131-1/+1
* Removing some old useless code.Alan Mishchenko2013-09-021-26/+0
* Extending 'permute' to handle user-specified flop permutation.Alan Mishchenko2013-08-161-2/+59
* Integrated buffering and sizing.Alan Mishchenko2013-08-081-0/+2
* Improvements to buffering and sizing.Alan Mishchenko2013-08-061-0/+7
* Adding new (un)buffering with phase information.Alan Mishchenko2013-08-051-0/+7
* Adding another network duplicator.Alan Mishchenko2013-07-161-2/+2
* Adding another network duplicator.Alan Mishchenko2013-07-161-0/+58
* Adding 'zeropo -o' to replace a given PO by const 1.Alan Mishchenko2013-05-151-2/+2
* Fixing performance problem in 'cone -s'Alan Mishchenko2013-02-131-10/+16
* Added switch 'zeropo -s' to skip comb sweep after removing a PO.Alan Mishchenko2013-02-011-1/+3
* Adding support of flops to the conversion of MiniAIG into ABC network.Alan Mishchenko2013-01-081-0/+116
* Migrating to array-based traversal ID.Alan Mishchenko2012-09-231-0/+1
* Cleaing AIG manager by removing pointers to HAIG.Alan Mishchenko2012-09-231-3/+0
* Added buffering based on combinational merging.Alan Mishchenko2012-08-281-3/+36
* Added precomputation of TFO ordering for incremental network updates.Alan Mishchenko2012-08-271-0/+1
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-1/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-4/+4
* Improving printouts of critical path.Alan Mishchenko2012-04-061-2/+1
* Additional features for delay optimizationAlan Mishchenko2012-03-211-1/+18
* Added command 'nodedup' to duplicate nodes with high fanout.Alan Mishchenko2012-03-111-0/+44
* Enabling user-specified required times in 'map'.Alan Mishchenko2012-03-021-0/+7
* Added switch -z to command 'removepo' to enable removing const1 outputs.Alan Mishchenko2012-02-271-2/+2
* Major restructuring of the code.Alan Mishchenko2012-01-211-3/+4
* 64-bit portability changes.Alan Mishchenko2011-09-171-7/+7
* Fixed the problem with blackboxes not preserving their names after duplication.Alan Mishchenko2011-09-081-1/+1
* Added switch '-t' to 'miter' to create regular miter from dual-output miter.Alan Mishchenko2011-08-141-0/+55
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-08-061-6/+21
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-08-061-0/+1
* Enabled saving vector of counter-examples in the ABC framework.Alan Mishchenko2011-08-021-2/+2
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-201-0/+3
* Initial changes to enable new features in the mapperAlan Mishchenko2011-07-081-0/+2
* Added permute/unpermute.Alan Mishchenko2011-06-201-0/+168
* Adding command 'removepo'.Alan Mishchenko2011-06-031-0/+18
* Bug fix in 'swappos'.Alan Mishchenko2011-06-031-0/+9
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-14 05:34:23 +0000