summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* 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-136-151/+474
|
* 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-126-2/+442
|
* 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
| | | | about 5% of runtime).
* 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 ↵Alan Mishchenko2011-12-095-316/+331
| | | | params after each restart), making the SAT solver platform- and runtime-independent (by using interger-based activity).
* 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-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-065-40/+40
|
* Added recording of AIG subgraphs.Alan Mishchenko2011-12-061-9/+9
|
* Added recording of AIG subgraphs.Alan Mishchenko2011-12-061-0/+1
|
* Performance bug fix in SOP balancing.Alan Mishchenko2011-12-064-32/+39
|
* Added recording of AIG subgraphs.Alan Mishchenko2011-12-064-32/+31
|
* Bug fixes in CUDD 2.4.2.Alan Mishchenko2011-12-061-2/+2
|
* Bug fixes in CUDD 2.4.2.Alan Mishchenko2011-12-062-4/+6
|
* Proof-logging in the updated solver.Alan Mishchenko2011-12-052-32/+34
|
* Fixed performance bug in matching code.Alan Mishchenko2011-12-051-3/+18
|
* Proof-logging in the updated solver.Alan Mishchenko2011-12-054-391/+524
|
* Proof-logging in the updated solver.Alan Mishchenko2011-12-053-18/+34
|
* Proof-logging in the updated solver.Alan Mishchenko2011-12-042-32/+41
|
* Proof-logging in the updated solver.Alan Mishchenko2011-12-043-283/+352
|
* Proof-logging in the updated solver.Alan Mishchenko2011-12-046-218/+483
|
* Removing redundant function declarations.Alan Mishchenko2011-12-021-4/+0
|
* Previusly forgotten debug printout.Alan Mishchenko2011-12-021-1/+1
|
* Started proof transformations.Alan Mishchenko2011-12-013-0/+493
|
* Started experiments with a new solver.Alan Mishchenko2011-11-272-645/+265
|
* Started experiments with a new solver.Alan Mishchenko2011-11-264-555/+466
|
* Started experiments with a new solver.Alan Mishchenko2011-11-261-3/+10
|
* Started experiments with a new solver.Alan Mishchenko2011-11-263-4/+6
|
* Started experiments with a new solver.Alan Mishchenko2011-11-263-72/+371
|
* Started experiments with a new solver.Alan Mishchenko2011-11-2515-113/+2084
|
* Commented out the default call to UNSAT core verification.Alan Mishchenko2011-11-251-1/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-04 16:40:51 +0000