| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Suspected bug fix in exact NPN classification (undoing this change as useless). | Alan Mishchenko | 2018-09-10 | 1 | -32/+8 | |
| | | ||||||
| * | Suspected bug fix in exact NPN classification. | Alan Mishchenko | 2018-09-08 | 1 | -8/+32 | |
| | | ||||||
| * | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 1 | -10/+92 | |
| | | ||||||
| * | Hash table profiling. | Alan Mishchenko | 2018-09-08 | 1 | -0/+1 | |
| | | ||||||
| * | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-08 | 1 | -30/+35 | |
| | | ||||||
| * | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-08 | 1 | -33/+38 | |
| | | ||||||
| * | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 1 | -0/+1 | |
| | | ||||||
| * | 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 | |
| | | ||||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |