Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 1 | -40/+188 | |
| | ||||||
* | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-07 | 2 | -12/+23 | |
| | ||||||
* | Expriments with functions. | Alan Mishchenko | 2018-09-07 | 2 | -26/+33 | |
| | ||||||
* | Expriments with functions. | Alan Mishchenko | 2018-09-07 | 1 | -0/+258 | |
| | ||||||
* | Expriments with functions (compiler warnings). | Alan Mishchenko | 2018-08-30 | 1 | -2/+4 | |
| | ||||||
* | Expriments with functions. | Alan Mishchenko | 2018-08-29 | 1 | -9/+15 | |
| | ||||||
* | Expriments with functions. | Alan Mishchenko | 2018-08-29 | 1 | -109/+171 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -16/+61 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -7/+8 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -2/+2 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -5/+4 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -2/+2 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -1/+1 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -1/+3 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -7/+2 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -7/+11 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -5/+5 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -1/+6 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -2/+2 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -4/+5 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -4/+4 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -2/+6 | |
| | ||||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 2 | -0/+268 | |
| | ||||||
* | Counting ones in truth table. | Alan Mishchenko | 2018-07-21 | 4 | -15/+489 | |
| | ||||||
* | Updating command 'majgen'. | Alan Mishchenko | 2018-07-04 | 2 | -4/+52 | |
| | ||||||
* | Bug fix by Horus Nero. | Alan Mishchenko | 2018-06-25 | 1 | -1/+1 | |
| | ||||||
* | Bug fix in 'lutpack' (level count overflow). | Alan Mishchenko | 2018-06-16 | 3 | -6/+7 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2018-06-08 | 1 | -7/+7 | |
| | ||||||
* | Adding new NPN code (compiler fix). | Alan Mishchenko | 2018-03-25 | 1 | -9/+9 | |
| | ||||||
* | Adding new NPN code (compiler fix). | Alan Mishchenko | 2018-03-25 | 1 | -1/+1 | |
| | ||||||
* | Adding new NPN code developed by XueGong Zhou at Fudan University. | Alan Mishchenko | 2018-03-25 | 2 | -137/+1069 | |
| | ||||||
* | Backing up node's truth-table to make sure it is not destroyed while ↵ | Alan Mishchenko | 2018-01-19 | 1 | -2/+4 | |
| | | | | deriving AIG. | |||||
* | Changes to make GIA structural hashing use a dedicated array instead of ↵ | Alan Mishchenko | 2017-11-13 | 1 | -4/+4 | |
| | | | | pObj->Value. | |||||
* | Exact synthesis of majority gates. | Alan Mishchenko | 2017-10-01 | 1 | -11/+17 | |
| | ||||||
* | Maintenance and updates. | Alan Mishchenko | 2017-09-18 | 1 | -82/+0 | |
| | ||||||
* | Fixed a memory leak in 'fxch'. | Alan Mishchenko | 2017-09-03 | 1 | -0/+3 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2017-07-22 | 3 | -5/+5 | |
| | ||||||
* | Small fix for bins growth in sub-cube hashtable. | Bruno Schmitt | 2017-05-26 | 1 | -1/+2 | |
| | ||||||
* | Experiments with don't-cares. | Alan Mishchenko | 2017-04-02 | 1 | -2/+2 | |
| | ||||||
* | Adding dump of trivial abstraction map at the beginning in &gla -m. | Alan Mishchenko | 2017-02-25 | 1 | -0/+63 | |
| | ||||||
* | Fixing compilation problem in 'dsc' package. | Alan Mishchenko | 2017-02-06 | 1 | -7/+7 | |
| | ||||||
* | Adding print-out of critical path for mapped AIGs to &show. | Alan Mishchenko | 2017-01-13 | 1 | -0/+54 | |
| | ||||||
* | Bug fixes by Clifford Wolf. | Alan Mishchenko | 2017-01-08 | 2 | -4/+4 | |
| | ||||||
* | Bug fix in delay-opt framework. | Alan Mishchenko | 2017-01-07 | 1 | -4/+4 | |
| | ||||||
* | Updates to delay optimization project. | Alan Mishchenko | 2017-01-05 | 1 | -15/+17 | |
| | ||||||
* | Updates to delay optimization project. | Alan Mishchenko | 2017-01-02 | 2 | -10/+10 | |
| | ||||||
* | Updates to delay optimization project. | Alan Mishchenko | 2017-01-02 | 1 | -3/+20 | |
| | ||||||
* | Updates to delay optimization project. | Alan Mishchenko | 2017-01-02 | 1 | -1/+1 | |
| | ||||||
* | Updates to delay optimization project. | Alan Mishchenko | 2017-01-02 | 1 | -2/+4 | |
| | ||||||
* | Updates to delay optimization project. | Alan Mishchenko | 2017-01-02 | 6 | -17/+250 | |
| |