summaryrefslogtreecommitdiffstats
path: root/src/opt
Commit message (Expand)AuthorAgeFilesLines
...
* Suspected bug fix in exact NPN classification (undoing this change as useless).Alan Mishchenko2018-09-101-32/+8
* Suspected bug fix in exact NPN classification.Alan Mishchenko2018-09-081-8/+32
* Expriments with functions.Alan Mishchenko2018-09-081-10/+92
* Hash table profiling.Alan Mishchenko2018-09-081-0/+1
* Expriments with functions (bug fixes).Alan Mishchenko2018-09-081-30/+35
* Expriments with functions (bug fixes).Alan Mishchenko2018-09-081-33/+38
* Expriments with functions.Alan Mishchenko2018-09-081-0/+1
* Expriments with functions.Alan Mishchenko2018-09-081-40/+188
* Expriments with functions (bug fixes).Alan Mishchenko2018-09-072-12/+23
* Expriments with functions.Alan Mishchenko2018-09-072-26/+33
* Expriments with functions.Alan Mishchenko2018-09-071-0/+258
* Expriments with functions (compiler warnings).Alan Mishchenko2018-08-301-2/+4
* Expriments with functions.Alan Mishchenko2018-08-291-9/+15
* Expriments with functions.Alan Mishchenko2018-08-291-109/+171
* Experiments with function enumeration.Alan Mishchenko2018-08-011-16/+61
* Experiments with function enumeration.Alan Mishchenko2018-08-011-7/+8
* Experiments with function enumeration.Alan Mishchenko2018-08-011-2/+2
* Experiments with function enumeration.Alan Mishchenko2018-08-011-5/+4
* Experiments with function enumeration.Alan Mishchenko2018-08-011-2/+2
* Experiments with function enumeration.Alan Mishchenko2018-08-011-1/+1
* Experiments with function enumeration.Alan Mishchenko2018-08-011-1/+3
* Experiments with function enumeration.Alan Mishchenko2018-08-011-7/+2
* Experiments with function enumeration.Alan Mishchenko2018-08-011-7/+11
* Experiments with function enumeration.Alan Mishchenko2018-08-011-5/+5
* Experiments with function enumeration.Alan Mishchenko2018-08-011-1/+6
* Experiments with function enumeration.Alan Mishchenko2018-08-011-2/+2
* Experiments with function enumeration.Alan Mishchenko2018-08-011-4/+5
* Experiments with function enumeration.Alan Mishchenko2018-08-011-4/+4
* Experiments with function enumeration.Alan Mishchenko2018-08-011-2/+6
* Experiments with function enumeration.Alan Mishchenko2018-08-012-0/+268
* Counting ones in truth table.Alan Mishchenko2018-07-214-15/+489
* Updating command 'majgen'.Alan Mishchenko2018-07-042-4/+52
* Bug fix by Horus Nero.Alan Mishchenko2018-06-251-1/+1
* Bug fix in 'lutpack' (level count overflow).Alan Mishchenko2018-06-163-6/+7
* Compiler warnings.Alan Mishchenko2018-06-081-7/+7
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 20:17:45 +0000