summaryrefslogtreecommitdiffstats
path: root/src/base/abc
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'upstream/master' into yosys-experimentalMiodrag Milanovic2022-07-046-9/+146
|\
| * Suggested changes to properly initialize the variable array for Cudd_bddVecto...Alan Mishchenko2022-04-021-5/+16
| * Intersection a bug in rewrite/refactor.Alan Mishchenko2022-02-231-1/+1
| * Intersection a bug in rewrite/refactor.Alan Mishchenko2022-02-222-2/+5
| * Improving truth table handling.Alan Mishchenko2022-02-161-1/+1
| * Improving truth table handling.Alan Mishchenko2022-02-033-2/+116
| * Disabling choices when they are computed incorrectly.Alan Mishchenko2021-11-301-1/+4
| * Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase) (add...Alan Mishchenko2021-11-271-0/+6
* | Merge remote-tracking branch 'upstream/master' into yosys-experimentalMiodrag Milanovic2021-11-1214-42/+106
|\|
| * Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase).Alan Mishchenko2021-10-231-3/+52
| * Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-265-8/+8
| * Enable command 'pipe' for pipelining.Alan Mishchenko2021-09-131-12/+3
| * Various changes.Alan Mishchenko2021-09-041-1/+1
| * Support of pair-wise miter and other changes.Alan Mishchenko2021-08-221-2/+2
| * Experiments with LUT mapping for small functions.Alan Mishchenko2021-06-191-3/+3
| * Updating LUT synthesis code.Alan Mishchenko2021-05-161-3/+6
| * Adding switch muxes -a to create networks of ADDs.Alan Mishchenko2021-05-151-1/+1
| * Disable cube-sort when deriving SOPs.Alan Mishchenko2021-05-112-7/+8
| * Passing node labels.Alan Mishchenko2021-04-261-0/+1
| * Preventing command history from being overwritten by internal scripts.Alan Mishchenko2021-01-091-0/+6
| * Added an option to keep PI/PO names unchanged in 'short_names'.Alan Mishchenko2020-11-222-0/+12
| * Experiments with iterative synthesis.Alan Mishchenko2020-09-131-1/+2
| * Dumping BDD variable order after 'clp'.Alan Mishchenko2020-05-181-1/+1
* | Add support for WASI platform in Abc_ShowFile.whitequark2020-05-011-0/+8
|/
* Various changes.Alan Mishchenko2020-03-183-6/+35
* Adding limit on the number of live BDD nodes in command 'muxes -g'.Alan Mishchenko2020-03-121-1/+1
* Adding switch -g to use global rather than local BDDs in 'muxes'.Alan Mishchenko2020-01-141-1/+1
* Improving performance of 'lutpack'.Alan Mishchenko2020-01-102-5/+7
* Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs.Alan Mishchenko2020-01-071-6/+15
* Several suggested bug-fixes.Alan Mishchenko2019-09-131-1/+1
* Fix naming problem in converting a logic network into a netlist.Alan Mishchenko2019-04-171-1/+4
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-055-17/+17
* Visualizingn BDDs without complemented edges in 'show_bdd'.Alan Mishchenko2018-09-301-6/+25
* Adding command 'cof' to replace node by a constant.Alan Mishchenko2018-09-272-0/+25
* Adding visualization of global BDDs in 'show_bdd'.Alan Mishchenko2018-09-271-0/+52
* Adding switch 'clp -o' to reverse initial variable ordering.Alan Mishchenko2018-06-071-2/+2
* C++ comaptibility: add namespace support to GlucoseBaruch Sterin2017-11-231-0/+2
* Improvements to SAT based SOP computation.Alan Mishchenko2017-10-061-1/+3
* Uncommenting handling of initial values of the flops.Alan Mishchenko2017-09-191-2/+2
* Adding switch '-c' to 'dsec' to disable internal netlist check.Alan Mishchenko2017-09-092-3/+2
* Several small changes.Alan Mishchenko2017-09-061-2/+2
* Several small changes.Alan Mishchenko2017-09-051-1/+1
* Several changes to various packages.Alan Mishchenko2017-09-043-4/+96
* Compiler warnings.Alan Mishchenko2017-07-222-2/+2
* Several new procedures for GIA manipulation.Alan Mishchenko2017-06-011-0/+77
* Small change to gate names.Alan Mishchenko2017-05-161-1/+1
* Experiments with don't-cares.Alan Mishchenko2017-04-081-1/+5
* Experiments with don't-cares.Alan Mishchenko2017-03-262-0/+33
* Experiments with don't-cares.Alan Mishchenko2017-03-261-0/+2
* Experiments with new network data-structure.Alan Mishchenko2017-03-201-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 15:59:28 +0000