summaryrefslogtreecommitdiffstats
path: root/src/opt
Commit message (Expand)AuthorAgeFilesLines
* Small fix for bins growth in sub-cube hashtable.Bruno Schmitt2017-05-261-1/+2
* Experiments with don't-cares.Alan Mishchenko2017-04-021-2/+2
* Adding dump of trivial abstraction map at the beginning in &gla -m.Alan Mishchenko2017-02-251-0/+63
* 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
* 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