summaryrefslogtreecommitdiffstats
path: root/src/opt/sbd
Commit message (Expand)AuthorAgeFilesLines
* Adding dump of trivial abstraction map at the beginning in &gla -m.Alan Mishchenko2017-02-251-0/+63
* 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-081-2/+2
* 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-312-0/+12
* Updates to delay optimization project.Alan Mishchenko2016-12-316-180/+381
* Updates to delay optimization project.Alan Mishchenko2016-12-295-150/+181
* 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
* New SAT-based optimization package.Alan Mishchenko2016-12-043-33/+153
* 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-283-71/+459
* 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