summaryrefslogtreecommitdiffstats
path: root/src/base/abci
Commit message (Expand)AuthorAgeFilesLines
* Extending truth table support in &jf for more than 6 inputs.Alan Mishchenko2013-10-101-3/+3
* Improvements to the canonical form computation.Alan Mishchenko2013-10-102-3/+20
* CNF generating using new mapper.Alan Mishchenko2013-10-101-0/+1
* Upgrading 'mfs2' to consider some nodes as having no level.Alan Mishchenko2013-10-091-1/+1
* Towards better Boolean matching.Alan Mishchenko2013-10-092-1/+15
* Towards better Boolean matching.Alan Mishchenko2013-10-091-1/+1
* Resubstitution code.Alan Mishchenko2013-10-061-0/+1
* Towards better Boolean matching.Alan Mishchenko2013-10-051-14/+23
* Bug fix and performance improvement in &iso.Alan Mishchenko2013-10-031-4/+8
* Experiment with the AIG package.Alan Mishchenko2013-10-031-2/+4
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-2/+7
* Enabling counter-example generation in the new BMC engine.Alan Mishchenko2013-10-021-1/+3
* Changing default values.Alan Mishchenko2013-10-022-7/+15
* Changes in specialized matching.Alan Mishchenko2013-10-021-1/+1
* Changes in specialized matching.Alan Mishchenko2013-10-011-2/+14
* Converting mapped AIG into strashed AIG.Alan Mishchenko2013-09-301-5/+0
* Changing default values.Alan Mishchenko2013-09-301-7/+8
* Changing default values.Alan Mishchenko2013-09-301-3/+53
* Changing default values.Alan Mishchenko2013-09-301-3/+8
* New logic sharing extraction.Alan Mishchenko2013-09-292-17/+103
* Changing default values.Alan Mishchenko2013-09-281-3/+9
* Changing default values.Alan Mishchenko2013-09-282-6/+6
* Improving printouts in sharing extraction.Alan Mishchenko2013-09-283-14/+21
* New logic sharing extraction.Alan Mishchenko2013-09-281-3/+8
* New logic sharing extraction.Alan Mishchenko2013-09-281-11/+21
* Performance balancing command &b.Alan Mishchenko2013-09-271-0/+74
* Generation of plain AIG after mapping.Alan Mishchenko2013-09-271-1/+1
* Generation of plain AIG after mapping.Alan Mishchenko2013-09-271-4/+7
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-251-3/+5
* Changes to enable decomposition of non-DSD functions.Alan Mishchenko2013-09-251-1/+9
* Changing switch -R <num> in &gla to mean the max allowed size of abstraction....Alan Mishchenko2013-09-231-3/+15
* Adding API to return the mapped network.Alan Mishchenko2013-09-221-3/+4
* Adding API to return the mapped network.Alan Mishchenko2013-09-222-2/+160
* Adding resource limit to stop &gla when the number of remaining objects is le...Alan Mishchenko2013-09-211-1/+1
* Added bridge integration for multi-output 'bmc3 -a'.Alan Mishchenko2013-09-171-0/+1
* Unifying standard cell library representations.Alan Mishchenko2013-09-172-3/+13
* Adding switch to enable reuse of proof-obligations in the last timeframe.Alan Mishchenko2013-09-161-1/+5
* Adding new switch to &if to relax the delay.Alan Mishchenko2013-09-161-2/+14
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-1/+1
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-2/+3
* Infrastructure to support full Liberty format and unitification of library re...Alan Mishchenko2013-09-152-1/+5
* Enabling additional printouts in 'pdr'.Alan Mishchenko2013-09-131-0/+7
* Added command &struct for profiling non-dec structures.Alan Mishchenko2013-09-131-0/+61
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-2/+14
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-4/+12
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-2/+6
* Command '&slice' to cut out the bottom part of the AIG.Alan Mishchenko2013-09-111-0/+60
* Small performance bug in new 'fx'.Alan Mishchenko2013-09-111-1/+1
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-2/+15
* New API to return the set of all reachable states as an AIG.Alan Mishchenko2013-09-101-1/+4
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 15:48:20 +0000