Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Expriments with functions (cleanup). | Alan Mishchenko | 2018-09-13 | 1 | -140/+59 | |
* | | Supporting unitialized flops in NDR. | Alan Mishchenko | 2018-09-11 | 2 | -2/+3 | |
* | | Expriments with functions (supporting symmetries). | Alan Mishchenko | 2018-09-11 | 3 | -96/+98 | |
* | | Expriments with functions (performance bug fix). | Alan Mishchenko | 2018-09-11 | 1 | -1/+5 | |
* | | Adding a warning about handling boxes in &mfs. | Alan Mishchenko | 2018-09-11 | 1 | -1/+11 | |
* | | 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 | |
* | | Adding timeout to twoexact and lutexact. | Alan Mishchenko | 2018-09-08 | 3 | -8/+45 | |
* | | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 2 | -15/+113 | |
* | | Hash table profiling. | Alan Mishchenko | 2018-09-08 | 2 | -0/+15 | |
* | | 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 | 2 | -47/+195 | |
* | | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-07 | 4 | -13/+35 | |
* | | Expriments with functions. | Alan Mishchenko | 2018-09-07 | 3 | -30/+33 | |
* | | Expriments with functions. | Alan Mishchenko | 2018-09-07 | 2 | -0/+325 | |
* | | Adding solution dumping in BLIF to 'twoexact'. | Alan Mishchenko | 2018-09-03 | 1 | -0/+56 | |
* | | Expriments with functions (compiler warnings). | Alan Mishchenko | 2018-08-30 | 2 | -2/+5 | |
* | | Expriments with functions. | Alan Mishchenko | 2018-08-29 | 1 | -9/+15 | |
* | | Expriments with functions. | Alan Mishchenko | 2018-08-29 | 2 | -109/+172 | |
* | | Skip non-driven nodes during DFS. | Alan Mishchenko | 2018-08-26 | 2 | -0/+3 | |
* | | Complication problem fix. | Alan Mishchenko | 2018-08-19 | 2 | -2/+1 | |
* | | 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 | 4 | -0/+273 | |
* | | Adding procedure to compute tuples of k out of n as a BDD. | Alan Mishchenko | 2018-07-29 | 2 | -0/+161 | |
* | | Procedure to return seq equivalences. | Alan Mishchenko | 2018-07-22 | 3 | -0/+75 | |
* | | Counting ones in truth table. | Alan Mishchenko | 2018-07-21 | 4 | -15/+489 | |
* | | Bug fix in 'gen -b'. | Alan Mishchenko | 2018-07-08 | 1 | -3/+3 | |
* | | Updating command 'majgen'. | Alan Mishchenko | 2018-07-04 | 2 | -18/+24 | |
* | | Bug fix. | Alan Mishchenko | 2018-07-04 | 1 | -1/+0 | |
* | | Updating command 'majgen'. | Alan Mishchenko | 2018-07-04 | 3 | -76/+73 | |
* | | Generating adder-trees using 'gen -b -A <num> -N <num> <file>.v'. | Alan Mishchenko | 2018-07-04 | 2 | -2/+81 | |
* | | Adding command 'majgen'. | Alan Mishchenko | 2018-07-04 | 7 | -0/+581 | |
* | | Bug fix by Horus Nero. | Alan Mishchenko | 2018-06-25 | 1 | -1/+1 | |
* | | Path enumeration using SAT. | Alan Mishchenko | 2018-06-20 | 1 | -0/+84 |