summaryrefslogtreecommitdiffstats
path: root/src/base/abc
Commit message (Expand)AuthorAgeFilesLines
* Dumping BDD variable order after 'clp'.Alan Mishchenko2020-05-181-1/+1
* 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
* Experiments with new network data-structure.Alan Mishchenko2017-03-193-0/+94
* Adding command 'glitch' for glitch simulation.Alan Mishchenko2017-03-021-0/+1
* Adding API for generating a monitor of a set of internal signals in a sequent...Alan Mishchenko2017-01-311-0/+154
* Adding an option to not add buffers to decouple COs driven by the same intern...Alan Mishchenko2017-01-071-0/+7
* BMS fixes and start gates parameter.Mathias Soeken2016-08-251-1/+1
* Resource constraints in exact synthesis, arrival times in exact command.Mathias Soeken2016-08-081-1/+1
* Handling constant and buffer cut in exact synthesis.Alan Mishchenko2016-08-051-1/+1
* Infrastructure for using the results of exact SAT-based synthesis during mapp...Alan Mishchenko2016-07-291-0/+3
* Several updates to exact synthesis.Mathias Soeken2016-07-281-1/+1
* Extending command 'exact' to handle delay constraints.Alan Mishchenko2016-07-231-1/+1
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-211-6/+5
* Adding command 'exact' developed by Mathias Soeken to implement Knuth's exact...Alan Mishchenko2016-07-161-0/+2
* Several corner-case bugs in %read, &cec, and st.Alan Mishchenko2016-07-161-2/+3
* Small fixes and improvements in reporting node counts.Alan Mishchenko2016-07-152-1/+22
* Detecting properties of internal nodes.Alan Mishchenko2016-06-122-0/+2
* Enabling AIGs without structural hashing (&get -c to import logic network).Alan Mishchenko2016-05-202-11/+14
* Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving AIG...Alan Mishchenko2016-04-111-4/+13
* Preserving internal signal names when 'strash' is not used.Alan Mishchenko2016-02-032-0/+7
* Bug fix in 'aig', for the case of non-min-base SOPs.Alan Mishchenko2016-01-201-0/+1
* Better print-out of SOPs. Changing default of 'fx'. Updating 'satclp' to fine...Alan Mishchenko2016-01-123-8/+181
* Improvements to timing optimization.Alan Mishchenko2015-11-112-0/+29
* Improvements to 'satclp'.Alan Mishchenko2015-11-091-1/+1
* silence clang errors when compiling as C++Baruch Sterin2015-11-052-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 01:16:10 +0000