summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-233-91/+45
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-232-4/+4
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-2311-543/+2489
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-222-144/+144
* Added switch -n to 'miter' to ignore PI/PO names.Alan Mishchenko2011-12-221-3/+15
* Added alias blif2aig = undc; strash; zeroAlan Mishchenko2011-12-221-0/+1
* Computing interpolants as truth tables.Alan Mishchenko2011-12-2211-6/+849
* Improvements to hierarchical BLIF parser.Alan Mishchenko2011-12-221-4/+6
* Improvements to hierarchical BLIF parser.Alan Mishchenko2011-12-211-7/+34
* Fixed a bug in matching code.Alan Mishchenko2011-12-172-2/+5
* Added utility to sort lines in a file alphabetically.Alan Mishchenko2011-12-171-0/+97
* Performance improvement in 'dch' for designs having nodes with many fanouts.Alan Mishchenko2011-12-151-28/+56
* Added optional printout of the hierarchy structure before collapsing.Alan Mishchenko2011-12-151-0/+1
* Undoing temporary change to the solver.Alan Mishchenko2011-12-151-1/+1
* Temporary change to the solver.Alan Mishchenko2011-12-151-1/+1
* Adding switch '-W' to fx to control the quality of extracted divisors.Alan Mishchenko2011-12-151-1/+1
* Adding switch '-W' to fx to control the quality of extracted divisors.Alan Mishchenko2011-12-154-15/+41
* Trying to make sorting of nodes platform-indendent.Alan Mishchenko2011-12-151-1/+1
* Enabling balance again.Alan Mishchenko2011-12-151-0/+5
* Temporarily disabling balance.Alan Mishchenko2011-12-151-1/+1
* Additional print-outs in dc2.Alan Mishchenko2011-12-151-10/+10
* Trying to make sorting of nodes platform-indendent.Alan Mishchenko2011-12-156-0/+30
* Trying to make sorting of nodes platform-indendent.Alan Mishchenko2011-12-151-0/+5
* Started SAT-based reparameterization.Alan Mishchenko2011-12-137-151/+478
* g++ portability changes.Alan Mishchenko2011-12-133-3/+4
* Added command &read_blif to read hierarchical BLIF directly into the &-space.Alan Mishchenko2011-12-121-0/+47
* Added command &read_blif to read hierarchical BLIF directly into the &-space.Alan Mishchenko2011-12-127-2/+446
* Added the hierarchy printout.Alan Mishchenko2011-12-111-0/+100
* Implementing rollback in the updated solver.Alan Mishchenko2011-12-101-5/+6
* Implementing rollback in the updated solver.Alan Mishchenko2011-12-103-14/+46
* Implemented rollback in the main SAT solver and updated PDR to use it (saves ...Alan Mishchenko2011-12-109-24/+126
* Implementing rollback in the updated solver.Alan Mishchenko2011-12-103-81/+218
* Removing unused files.Alan Mishchenko2011-12-106-6483/+0
* Changes to the main SAT solver: fixing performance bug (resetting decay param...Alan Mishchenko2011-12-095-316/+331
* Added support for generating a library of real-life truth-tables.Alan Mishchenko2011-12-091-6/+6
* Added support for generating a library of real-life truth-tables.Alan Mishchenko2011-12-091-0/+4
* Added support for generating a library of real-life truth-tables.Alan Mishchenko2011-12-091-2/+0
* Added support for generating a library of real-life truth-tables.Alan Mishchenko2011-12-095-6/+153
* Integrated new proof-logging into proof-based gate-level abstraction.Alan Mishchenko2011-12-089-246/+766
* Proof-logging in the updated solver.Alan Mishchenko2011-12-083-133/+334
* Proof-logging in the updated solver.Alan Mishchenko2011-12-085-120/+211
* Proof-logging in the updated solver.Alan Mishchenko2011-12-073-176/+124
* Proof-logging in the updated solver.Alan Mishchenko2011-12-063-65/+163
* Added/renamed useful APIs.Alan Mishchenko2011-12-062-2/+3
* Another attempt to make CUDD platform- and runtime-independent.Alan Mishchenko2011-12-065-6/+6
* Another attempt to make CUDD platform- and runtime-independent.Alan Mishchenko2011-12-0618-91/+171
* Added new switch to the LUT matching code.Alan Mishchenko2011-12-061-13/+5
* g++ portability changes.Alan Mishchenko2011-12-066-40/+44
* Added recording of AIG subgraphs.Alan Mishchenko2011-12-061-9/+9
* Added recording of AIG subgraphs.Alan Mishchenko2011-12-061-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 17:07:57 +0000