summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Extending predefined limit in &shrink.Alan Mishchenko2013-10-211-1/+1
* Compiler warnings.Alan Mishchenko2013-10-1713-20/+30
* Bug fix in gate-sizing.Alan Mishchenko2013-10-161-1/+5
* Fix for writing choices into a BLIF file.Alan Mishchenko2013-10-161-2/+8
* Adding switch 'pdr -i' to start push_clauses from an intermediate timeframe.Alan Mishchenko2013-10-153-7/+11
* Improvements to buffering and sizing.Alan Mishchenko2013-10-1310-37/+72
* Cleaning up buffering code.Alan Mishchenko2013-10-135-322/+107
* Normalization of slew/load values.Alan Mishchenko2013-10-138-112/+36
* Normalization of slew/load values.Alan Mishchenko2013-10-138-17/+95
* Improvements to buffering and sizing.Alan Mishchenko2013-10-125-55/+67
* Extending truth table support in &jf for more than 6 inputs.Alan Mishchenko2013-10-105-36/+50
* Improvements to the canonical form computation.Alan Mishchenko2013-10-106-13/+133
* Towards better Boolean matching.Alan Mishchenko2013-10-101-2/+0
* CNF generating using new mapper.Alan Mishchenko2013-10-102-1/+113
* Preventing a bug in &if -z.Alan Mishchenko2013-10-091-1/+1
* Upgrading 'mfs2' to consider some nodes as having no level.Alan Mishchenko2013-10-091-1/+1
* Upgrading 'mfs2' to consider some nodes as having no level.Alan Mishchenko2013-10-096-17/+22
* Towards better Boolean matching.Alan Mishchenko2013-10-092-1/+15
* Towards better Boolean matching.Alan Mishchenko2013-10-092-47/+270
* Towards better Boolean matching.Alan Mishchenko2013-10-091-5/+11
* Towards better Boolean matching.Alan Mishchenko2013-10-091-17/+53
* Bug with in bmc3 when no 'sat' outputs are found and H != 0Alan Mishchenko2013-10-081-0/+2
* post-HWMCC13 changes to par.pyBaruch Sterin2013-10-081-80/+100
* script changes for HWMCC13 (finally submitted version)Baruch Sterin2013-10-089-1604/+4598
* pyabc changes for HWMCC13Baruch Sterin2013-10-085-46/+150
* Moved the code to a different file.Alan Mishchenko2013-10-062-197/+198
* Resubstitution code.Alan Mishchenko2013-10-066-20/+341
* Compiler warning.Alan Mishchenko2013-10-051-1/+1
* Compiler warning.Alan Mishchenko2013-10-051-2/+2
* Compiler warning.Alan Mishchenko2013-10-051-69/+5
* Compiler warning.Alan Mishchenko2013-10-051-1/+1
* Towards better Boolean matching.Alan Mishchenko2013-10-053-17/+17
* Towards better Boolean matching.Alan Mishchenko2013-10-0510-212/+949
* Added 'abort' message in bridge mode for pdr -a timeoutNiklas Een2013-10-042-42/+125
* Compiler errors in the Python interface code...Alan Mishchenko2013-10-031-2/+2
* Bug fix and performance improvement in &iso.Alan Mishchenko2013-10-031-7/+8
* Bug fix and performance improvement in &iso.Alan Mishchenko2013-10-033-66/+141
* Added computation of mapping overlap in &ps.Alan Mishchenko2013-10-031-9/+48
* Experiment with the AIG package.Alan Mishchenko2013-10-034-2/+387
* Added computation of mapping overlap in &ps.Alan Mishchenko2013-10-031-0/+54
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-032-7/+7
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-4/+6
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-022-4/+3
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-023-11/+12
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-026-14/+78
* Enabling counter-example generation in the new BMC engine.Alan Mishchenko2013-10-022-22/+27
* Bug fixes in the library processing,.Alan Mishchenko2013-10-025-22/+55
* Computing AIG using DSD instead of factored forms in &fx.Alan Mishchenko2013-10-021-21/+56
* Changing default values.Alan Mishchenko2013-10-026-25/+33
* Changes in specialized matching.Alan Mishchenko2013-10-021-4/+0
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 04:59:52 +0000