summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Multi-output property solver.Alan Mishchenko2013-10-266-51/+79
* Multi-output property solver.Alan Mishchenko2013-10-263-29/+127
* Multi-output property solver.Alan Mishchenko2013-10-232-0/+542
* Multi-output property solver.Alan Mishchenko2013-10-2310-45/+122
* Adding new synthesis scripts.Alan Mishchenko2013-10-235-7/+236
* More accurate level calculation in AIG balancing.Alan Mishchenko2013-10-223-5/+64
* 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
* 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-065-20/+337
* 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-059-68/+945
* 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-033-2/+243
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 21:58:34 +0000