summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* 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
|
* Adding new aliases.Alan Mishchenko2013-09-301-2/+2
|
* Converting mapped AIG into strashed AIG.Alan Mishchenko2013-09-305-12/+76
|
* Adding new aliases.Alan Mishchenko2013-09-301-0/+2
|
* 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
|
* Producing AIG after structural mapping.Alan Mishchenko2013-09-305-25/+40
|
* Changing default values.Alan Mishchenko2013-09-301-7/+8
|
* Changing default values.Alan Mishchenko2013-09-302-6/+57
|
* Changing default values.Alan Mishchenko2013-09-301-1/+1
|
* Changing default values.Alan Mishchenko2013-09-304-8/+109
|
* Changing default values.Alan Mishchenko2013-09-303-21/+37
|
* Changing default values.Alan Mishchenko2013-09-302-15/+22
|
* Improvements to truth table computation.Alan Mishchenko2013-09-302-59/+74
|
* New logic sharing extraction.Alan Mishchenko2013-09-299-72/+582
|
* Updating logic extraction.Alan Mishchenko2013-09-291-2/+3
|
* Updating logic extraction.Alan Mishchenko2013-09-291-11/+58
|
* Changing default values.Alan Mishchenko2013-09-294-3/+18
|
* Changing default values.Alan Mishchenko2013-09-291-1/+1
|
* Changing default values.Alan Mishchenko2013-09-291-1/+1
|
* Changing default values.Alan Mishchenko2013-09-283-4/+11
|
* Changing default values.Alan Mishchenko2013-09-284-29/+29
|
* Improving printouts in sharing extraction.Alan Mishchenko2013-09-286-17/+25
|
* New logic sharing extraction.Alan Mishchenko2013-09-284-72/+110
|