summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
Commit message (Expand)AuthorAgeFilesLines
* Added command &read_blif to read hierarchical BLIF directly into the &-space.Alan Mishchenko2011-12-121-0/+71
* Integrated new proof-logging into proof-based gate-level abstraction.Alan Mishchenko2011-12-081-3/+8
* Added recording of AIG subgraphs.Alan Mishchenko2011-12-061-13/+12
* Started experiments with a new solver.Alan Mishchenko2011-11-251-6/+12
* Making GLA PBA and GLA CBA communicate information.Alan Mishchenko2011-11-221-7/+6
* Enabled skipping random decisions in PBA, which are performed by default.Alan Mishchenko2011-11-121-2/+7
* Do not allow interpolation with constraints.Alan Mishchenko2011-11-121-0/+5
* Dump inductive invariant or last interpolant after interpolation.Alan Mishchenko2011-11-121-2/+6
* Enabled counter-example minimization in 'write_counter'.Alan Mishchenko2011-11-111-1/+1
* Changing defaults in gate-level abstraction.Alan Mishchenko2011-11-061-5/+6
* Changes to read multi-output testcases described using AIGER 1.9.Alan Mishchenko2011-11-061-10/+21
* C++ portability changes.Alan Mishchenko2011-10-271-1/+1
* Improvements to the new abstraction code.Alan Mishchenko2011-10-271-10/+21
* New proof-based abstraction code.Alan Mishchenko2011-10-251-5/+128
* Improvements to the QBF solver.Alan Mishchenko2011-10-251-5/+19
* Improvements to the QBF solver.Alan Mishchenko2011-10-241-6/+32
* New abstraction code.Alan Mishchenko2011-10-191-0/+5
* New abstraction code.Alan Mishchenko2011-10-191-4/+4
* New abstraction code.Alan Mishchenko2011-10-191-4/+8
* New abstraction code.Alan Mishchenko2011-10-151-11/+12
* Changes to the matching procedure.Alan Mishchenko2011-10-061-2/+2
* Changes to the matching procedure.Alan Mishchenko2011-10-011-5/+15
* Changes to the matching procedure and new abstraction code.Alan Mishchenko2011-09-271-4/+17
* Changes to Boolean matching.Alan Mishchenko2011-09-241-2/+48
* Added new feature to bmc3.Alan Mishchenko2011-09-231-3/+27
* Initial changes to enable gate-level abstraction.Alan Mishchenko2011-09-221-14/+205
* Added limit on the number of flops to add in one iteration of &abs_refine.Alan Mishchenko2011-09-121-11/+24
* Added limit on the number of flops to add in one iteration of &abs_cba.Alan Mishchenko2011-09-111-2/+14
* Added timeout to &abc_pba.Alan Mishchenko2011-09-021-4/+17
* Change 'testcex' to modify the PO number.Alan Mishchenko2011-08-271-2/+2
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-251-2/+2
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-251-8/+8
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-241-16/+49
* Experiments with SPFD-based decomposition.Alan Mishchenko2011-08-211-8/+7
* Experiments with SPFD-based decomposition + new K-map print-out.Alan Mishchenko2011-08-201-1/+5
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-181-6/+24
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-171-3/+11
* Added switch '-t' to 'miter' to create regular miter from dual-output miter.Alan Mishchenko2011-08-141-3/+23
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-08-061-5/+20
* Enabled saving vector of counter-examples in the ABC framework.Alan Mishchenko2011-08-021-3/+34
* Changes to enable CEX minimization.Alan Mishchenko2011-08-011-2/+3
* Changes to enable CEX minimization.Alan Mishchenko2011-08-011-78/+193
* Minor bug fix in 'testcex'.Alan Mishchenko2011-07-311-0/+6
* Changes to enable smarter simulation (bug fix).Alan Mishchenko2011-07-301-0/+10
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-1/+7
* Added generation of counter-examples to induction in 'ind'.Alan Mishchenko2011-07-301-4/+15
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-4/+4
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-21/+191
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-6/+5
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-4/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 08:30:06 +0000