summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* 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
|
* Changes in specialized matching.Alan Mishchenko2013-10-024-4/+8
|
* Changes in specialized matching.Alan Mishchenko2013-10-011-3/+3
|
* Enabling counter-example generation in the new BMC engine.Alan Mishchenko2013-10-011-12/+57
|
* Changes in specialized matching.Alan Mishchenko2013-10-013-7/+18
|
* Changes in specialized matching.Alan Mishchenko2013-10-011-19/+27
|
* Converting mapped AIG into strashed AIG.Alan Mishchenko2013-09-305-12/+76
|
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-2/+5
|
* Producing AIG after structural mapping.Alan Mishchenko2013-09-302-6/+8
|
* Producing AIG after structural mapping.Alan Mishchenko2013-09-301-6/+5
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-19 05:46:56 +0000