summaryrefslogtreecommitdiffstats
path: root/src/opt
Commit message (Expand)AuthorAgeFilesLines
* Adding new NPN code (compiler fix).Alan Mishchenko2018-03-251-9/+9
* Adding new NPN code (compiler fix).Alan Mishchenko2018-03-251-1/+1
* Adding new NPN code developed by XueGong Zhou at Fudan University.Alan Mishchenko2018-03-252-137/+1069
* Backing up node's truth-table to make sure it is not destroyed while deriving...Alan Mishchenko2018-01-191-2/+4
* Changes to make GIA structural hashing use a dedicated array instead of pObj-...Alan Mishchenko2017-11-131-4/+4
* Exact synthesis of majority gates.Alan Mishchenko2017-10-011-11/+17
* Maintenance and updates.Alan Mishchenko2017-09-181-82/+0
* Fixed a memory leak in 'fxch'.Alan Mishchenko2017-09-031-0/+3
* Compiler warnings.Alan Mishchenko2017-07-223-5/+5
* 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