summaryrefslogtreecommitdiffstats
path: root/src/opt
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* 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
|\
| * Return the class representative of each function.Ana Petkovska2016-06-181-15/+59
| * Group based exact NPN classification.Ana Petkovska2016-06-181-2/+49
* | Compiler errors on Windows.Alan Mishchenko2016-08-014-39/+50
* | Several updates to FXCH including:Bruno Schmitt2016-08-015-285/+537
|/
* Complier fix.Alan Mishchenko2016-06-171-2/+2
* Merged in boschmitt/abc (pull request #28)Alan Mishchenko2016-06-174-128/+189
|\
| * Enables FXCH to handle Distance-1 cubes (D1C) and Single Cube Containment (SC...Bruno Schmitt2016-06-174-128/+189
* | New command 'phase_map'.Alan Mishchenko2016-06-171-1/+1
|/
* Adding a switch 'retime -o' to use old flop naming conventions.Alan Mishchenko2016-06-164-31/+49