summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
Commit message (Expand)AuthorAgeFilesLines
* Multi-output property solver.Alan Mishchenko2013-10-231-5/+57
* Adding new synthesis scripts.Alan Mishchenko2013-10-231-3/+161
* Adding switch 'pdr -i' to start push_clauses from an intermediate timeframe.Alan Mishchenko2013-10-151-3/+7
* Improvements to buffering and sizing.Alan Mishchenko2013-10-131-2/+2
* Improvements to buffering and sizing.Alan Mishchenko2013-10-121-4/+4
* 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-101-0/+1
* CNF generating using new mapper.Alan Mishchenko2013-10-101-0/+1
* Towards better Boolean matching.Alan Mishchenko2013-10-091-0/+1
* 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-021-1/+5
* 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-3/+8
* New logic sharing extraction.Alan Mishchenko2013-09-291-11/+97
* Changing default values.Alan Mishchenko2013-09-281-3/+9
* Changing default values.Alan Mishchenko2013-09-281-5/+5
* Improving printouts in sharing extraction.Alan Mishchenko2013-09-281-6/+10
* 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
* Changing switch -R <num> in &gla to mean the max allowed size of abstraction....Alan Mishchenko2013-09-231-3/+15
* 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
* 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-151-0/+4
* 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
* 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
* Updates for the new BMC engine.Alan Mishchenko2013-09-091-3/+52
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-1/+32
* Improvements to the &ps.Alan Mishchenko2013-09-081-2/+6
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-18 03:06:00 +0000