summaryrefslogtreecommitdiffstats
path: root/src/opt
Commit message (Collapse)AuthorAgeFilesLines
* Fixing compilation problem in 'dsc' package.Alan Mishchenko2017-02-061-7/+7
|
* Adding print-out of critical path for mapped AIGs to &show.Alan Mishchenko2017-01-131-0/+54
|
* Bug fixes by Clifford Wolf.Alan Mishchenko2017-01-082-4/+4
|
* Bug fix in delay-opt framework.Alan Mishchenko2017-01-071-4/+4
|
* Updates to delay optimization project.Alan Mishchenko2017-01-051-15/+17
|
* 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-1/+1
|
* Updates to delay optimization project.Alan Mishchenko2017-01-021-2/+4
|
* Updates to delay optimization project.Alan Mishchenko2017-01-026-17/+250
|
* 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-014-1/+468
|
* Updates to delay optimization project.Alan Mishchenko2017-01-011-1/+1
|
* Updates to delay optimization project.Alan Mishchenko2017-01-011-0/+2
|
* 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-312-6/+6
|
* Updates to delay optimization project.Alan Mishchenko2016-12-312-0/+12
|
* Updates to delay optimization project.Alan Mishchenko2016-12-317-181/+382
|
* Updates to delay optimization project.Alan Mishchenko2016-12-296-151/+182
|
* Updates to delay optimization project.Alan Mishchenko2016-12-293-38/+326
|
* Updates to delay optimization project.Alan Mishchenko2016-12-282-107/+239
|
* Updates to delay optimization project.Alan Mishchenko2016-12-272-0/+618
|
* Updates to delay optimization project.Alan Mishchenko2016-12-272-3/+4
|
* Updates to delay optimization project.Alan Mishchenko2016-12-274-48/+254
|
* Updates to delay optimization project.Alan Mishchenko2016-12-256-63/+551
|
* Adding support for minimalistic representation of LUT mapping.Alan Mishchenko2016-12-051-1/+1
|
* New SAT-based optimization package.Alan Mishchenko2016-12-044-35/+159
|
* Analysis of arithmetic logic cones.Alan Mishchenko2016-12-041-5/+5
|
* New SAT-based optimization package.Alan Mishchenko2016-12-032-123/+437
|
* New SAT-based optimization package.Alan Mishchenko2016-11-301-1/+1
|
* New SAT-based optimization package.Alan Mishchenko2016-11-302-122/+485
|
* New SAT-based optimization package.Alan Mishchenko2016-11-284-81/+491
|
* New SAT-based optimization package.Alan Mishchenko2016-11-272-27/+376
|
* New SAT-based optimization package.Alan Mishchenko2016-11-264-42/+663
|
* New SAT-based optimization package.Alan Mishchenko2016-11-191-65/+311
|
* New SAT-based optimization package.Alan Mishchenko2016-11-171-15/+232
|
* New SAT-based optimization package.Alan Mishchenko2016-11-178-0/+650
|
* Fixed several compiler warnings.Alan Mishchenko2016-11-171-23/+22
|
* Disjoint-support decomposition with cofactoring and boolean difference analysisVinicius Callegaro2016-11-083-0/+618
| | | | | from V. Callegaro, F. S. Marranghello, M. G. A. Martins, R. P. Ribas and A. I. Reis, entitled "Bottom-up disjoint-support decomposition based on cofactor and boolean difference analysis" presented in ICCD'15.
* Adding switch &mfs -b to preserve white boxes during optimization.Alan Mishchenko2016-10-073-2/+10
|
* Small FXCH bug fix.Bruno Schmitt2016-10-071-3/+9
|
* Compiler warnings.Alan Mishchenko2016-09-301-3/+3
|
* Small bug fix in FXCH.Bruno Schmitt2016-08-181-10/+10
|
* Windows complier errors.Alan Mishchenko2016-08-061-2/+2
|
* Merged in petkovska/abc-pullreq/hier-npn_fast-exact (pull request #29)Alan Mishchenko2016-08-061-14/+105
|\ | | | | | | Exact hierarchical NPN classification
| * Return the class representative of each function.Ana Petkovska2016-06-181-15/+59
| |