summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Updates to arithmetic verification.Alan Mishchenko2017-01-193-24/+90
* Updates to arithmetic verification.Alan Mishchenko2017-01-165-30/+55
* Updates to arithmetic verification.Alan Mishchenko2017-01-1513-27/+505
* Updates to arithmetic verification.Alan Mishchenko2017-01-149-35/+201
* Updates to arithmetic verification.Alan Mishchenko2017-01-1410-128/+215
* Updates to arithmetic verification.Alan Mishchenko2017-01-135-278/+326
* Adding print-out of critical path for mapped AIGs to &show.Alan Mishchenko2017-01-134-16/+365
* Updates to arithmetic verification.Alan Mishchenko2017-01-133-2/+65
* Updates to arithmetic verification.Alan Mishchenko2017-01-128-9/+534
* Updates to arithmetic verification.Alan Mishchenko2017-01-119-215/+350
* Changing file naming in 'show' and '&show'.Alan Mishchenko2017-01-112-9/+4
* Updates to arithmetic verification.Alan Mishchenko2017-01-114-31/+257
* Updates to arithmetic verification.Alan Mishchenko2017-01-103-4/+283
* Updates to arithmetic verification.Alan Mishchenko2017-01-1010-53/+75
* Updated to arithmetic verification.Alan Mishchenko2017-01-096-66/+528
* Delay-oriented performance improvement in &dch (make it conditional).Alan Mishchenko2017-01-091-1/+2
* Delay-oriented performance improvement in &dch.Alan Mishchenko2017-01-091-2/+8
* Bug fix in delay-opt framework.Alan Mishchenko2017-01-091-1/+1
* Change suggested by Udi Finkelstein.Alan Mishchenko2017-01-092-40/+2
* Bug fixes by Clifford Wolf.Alan Mishchenko2017-01-083-4/+8
* Bug fix in delay-opt framework.Alan Mishchenko2017-01-071-4/+4
* Adding an option to not add buffers to decouple COs driven by the same intern...Alan Mishchenko2017-01-071-0/+7
* Compiler warnings.Alan Mishchenko2017-01-078-31/+31
* Dealing wit COs driven by inverters in MiniLUT.Alan Mishchenko2017-01-061-2/+38
* Creating file name from design name for PDR invariant.Alan Mishchenko2017-01-061-1/+2
* Updates to delay optimization project.Alan Mishchenko2017-01-051-15/+17
* Adding two external APIs.Alan Mishchenko2017-01-051-0/+2
* Updates to delay optimization project.Alan Mishchenko2017-01-022-10/+10
* Updates to delay optimization project.Alan Mishchenko2017-01-021-3/+20
* Updates to delay optimization project.Alan Mishchenko2017-01-021-16/+16
* Updates to delay optimization project.Alan Mishchenko2017-01-021-1/+1
* Updates to delay optimization project.Alan Mishchenko2017-01-021-2/+4
* Updates to delay optimization project.Alan Mishchenko2017-01-028-30/+272
* Updates to delay optimization project.Alan Mishchenko2017-01-011-1/+1
* Updates to delay optimization project.Alan Mishchenko2017-01-012-30/+31
* Updates to delay optimization project.Alan Mishchenko2017-01-011-1/+1
* Updates to delay optimization project.Alan Mishchenko2017-01-015-1/+472
* Updates to delay optimization project.Alan Mishchenko2017-01-011-1/+1
* Updates to delay optimization project.Alan Mishchenko2017-01-011-0/+2
* Compiler warnings.Alan Mishchenko2017-01-011-1/+1
* Updates to delay optimization project.Alan Mishchenko2017-01-011-1/+1
* Updates to delay optimization project.Alan Mishchenko2016-12-311-1/+1
* Updates to delay optimization project.Alan Mishchenko2016-12-311-1/+1
* Compiler warnings.Alan Mishchenko2016-12-316-15/+15
* Updates to delay optimization project.Alan Mishchenko2016-12-312-0/+12
* Updates to delay optimization project.Alan Mishchenko2016-12-319-198/+446
* Updates to delay optimization project.Alan Mishchenko2016-12-297-153/+196
* Updates to delay optimization project.Alan Mishchenko2016-12-294-39/+332
* Updates to delay optimization project.Alan Mishchenko2016-12-282-107/+239
* C++ compatibility fix.Alan Mishchenko2016-12-281-0/+2