summaryrefslogtreecommitdiffstats
path: root/src/base/abc
Commit message (Expand)AuthorAgeFilesLines
* Updates to Cba data-structure.Alan Mishchenko2015-07-231-1/+1
* Adding new Python API 'is_func_iso2'.Alan Mishchenko2015-07-112-7/+17
* Adding new Python API 'is_func_iso'.Alan Mishchenko2015-07-112-0/+93
* Adding new Python API 'co_supp'.Alan Mishchenko2015-07-071-0/+1
* Adding new Python API 'co_supp'.Alan Mishchenko2015-07-062-0/+52
* Fixing assertion failure in Abc_NtkBddToSop.Alan Mishchenko2015-06-291-0/+4
* Making sure the CI/CO are not ordered by 'fraig_restore'.Alan Mishchenko2015-06-292-13/+104
* Adding resource limits to 'fraig_restore'.Alan Mishchenko2015-06-271-1/+1
* Making sure 0-input LUTs are supported by the DSD matching code.Alan Mishchenko2015-05-142-2/+2
* Getting default AND-node delay from Genlib library.Alan Mishchenko2015-04-061-0/+2
* Making sure the names are transfered when &get -n is used.Alan Mishchenko2015-04-041-13/+19
* Properly copying and saving the timing info in &get and &put.Alan Mishchenko2015-04-041-0/+2
* Bug fix in handling constants in the updated 'sop' command.Alan Mishchenko2015-04-031-9/+4
* Bug fix in 'move_names' related to feed-through nets.Alan Mishchenko2015-03-151-1/+20
* Compiler warnings.Alan Mishchenko2015-02-191-4/+6
* Performance bug fix in 'clp' (different way of removing redundant fanins).Alan Mishchenko2015-02-191-1/+1
* Propagating changes after updating flag of 'sop'.Alan Mishchenko2015-02-195-11/+11
* Changing semantics of switch -C in 'sop' to limit cubes at one node.Alan Mishchenko2015-02-181-15/+17
* Assertion failure in 'write_hie' with blackboxes.Alan Mishchenko2015-02-151-0/+6
* Added switch -n to 'sop'.Alan Mishchenko2015-02-141-2/+4
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-131-1/+1
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-115-23/+27
* Adding resource limit to 'sop'.Alan Mishchenko2015-02-101-2/+2
* Adding resource limit to 'sop'.Alan Mishchenko2015-02-101-1/+14
* Adding resource limit to 'fx'.Alan Mishchenko2015-02-101-4/+6
* Improvements and tuning of CBA with buffering/sizing.Alan Mishchenko2015-02-044-8/+11
* Esperiments with MO PLA optimization.Alan Mishchenko2015-02-032-4/+5
* Gate sizing with barrier buffers.Alan Mishchenko2014-12-213-0/+71
* Simplifying AIG with barrier buffers.Alan Mishchenko2014-12-192-3/+148
* Bug fix in 'testcex' when flop count in the CEX is different from the network...Alan Mishchenko2014-12-191-1/+1
* Bug fix in 'testcex' when flop count in the CEX is different from the network...Alan Mishchenko2014-12-191-2/+3
* Induced bug with in DFS computation.Alan Mishchenko2014-12-161-1/+1
* Integrating barrier buffers.Alan Mishchenko2014-12-132-15/+23
* Integrating barrier buffers.Alan Mishchenko2014-12-131-21/+124
* Integrating barrier buffers.Alan Mishchenko2014-12-132-1/+14
* New flavor of DSD-friendly 'eliminate'.Alan Mishchenko2014-12-092-1/+142
* Integrating barrier buffers.Alan Mishchenko2014-12-086-7/+32
* New parser and framework.Alan Mishchenko2014-11-291-824/+0
* Experiments with hierarchy representation.Alan Mishchenko2014-11-241-1/+91
* Fix in reading flop classes.Alan Mishchenko2014-11-211-7/+0
* Experiments with hierarchy representation.Alan Mishchenko2014-11-201-0/+741
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-161-4/+4
* Generation of barrier-buffers for hierarchical design.Alan Mishchenko2014-11-112-8/+143
* Generation of barrier-buffers for hierarchical design.Alan Mishchenko2014-11-101-10/+35
* Adding cyclicity check for netlist with boxes.Alan Mishchenko2014-11-104-0/+369
* Bug fix in move_names.Alan Mishchenko2014-10-051-0/+1
* Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter).Alan Mishchenko2014-09-281-0/+40
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-01 16:09:25 +0000