summaryrefslogtreecommitdiffstats
path: root/src/opt
Commit message (Collapse)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 ↵Alan Mishchenko2018-01-191-2/+4
| | | | deriving AIG.
* Changes to make GIA structural hashing use a dedicated array instead of ↵Alan Mishchenko2017-11-131-4/+4
| | | | pObj->Value.
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-13 17:34:37 +0000