summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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 ↵Alan Mishchenko2017-01-071-0/+7
| | | | internal node.
* 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
|
* Updates to delay optimization project.Alan Mishchenko2016-12-273-0/+622
|
* Updates to delay optimization project.Alan Mishchenko2016-12-272-3/+4
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 20:19:40 +0000