Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Adding a warning about handling boxes in &mfs. | Alan Mishchenko | 2018-09-11 | 1 | -1/+11 | |
* | | Adding timeout to twoexact and lutexact. | Alan Mishchenko | 2018-09-08 | 1 | -5/+29 | |
* | | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 1 | -5/+21 | |
* | | Expriments with functions. | Alan Mishchenko | 2018-09-08 | 1 | -7/+7 | |
* | | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-07 | 1 | -0/+11 | |
* | | Expriments with functions. | Alan Mishchenko | 2018-09-07 | 1 | -4/+0 | |
* | | Expriments with functions. | Alan Mishchenko | 2018-09-07 | 1 | -0/+67 | |
* | | Expriments with functions (compiler warnings). | Alan Mishchenko | 2018-08-30 | 1 | -0/+1 | |
* | | Expriments with functions. | Alan Mishchenko | 2018-08-29 | 1 | -0/+1 | |
* | | 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 | -0/+1 | |
* | | Procedure to return seq equivalences. | Alan Mishchenko | 2018-07-22 | 1 | -0/+3 | |
* | | Bug fix in 'gen -b'. | Alan Mishchenko | 2018-07-08 | 1 | -3/+3 | |
* | | Updating command 'majgen'. | Alan Mishchenko | 2018-07-04 | 1 | -5/+9 | |
* | | Bug fix. | Alan Mishchenko | 2018-07-04 | 1 | -1/+0 | |
* | | 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 | 1 | -0/+54 | |
* | | Command %blastmem for bit-blasting small memories. | Alan Mishchenko | 2018-06-16 | 4 | -1/+182 | |
* | | Bug fix in 'lutpack' (level count overflow). | Alan Mishchenko | 2018-06-16 | 1 | -1/+0 | |
* | | Extending NDR to support adder/subtractor. | Alan Mishchenko | 2018-06-14 | 2 | -6/+36 | |
* | | Enabling user-specified output signature in &polyn. | Alan Mishchenko | 2018-06-13 | 1 | -6/+32 | |
* | | Experiments with path enumeration. | Alan Mishchenko | 2018-06-10 | 1 | -2/+60 | |
* | | Compiler warnings. | Alan Mishchenko | 2018-06-08 | 2 | -2/+2 | |
* | | Improvements in bit-blasting of adders and multipliers. | Alan Mishchenko | 2018-06-08 | 1 | -8/+200 | |
* | | Adding switch 'clp -o' to reverse initial variable ordering. | Alan Mishchenko | 2018-06-07 | 17 | -36/+41 | |
* | | Experiments with path enumeration. | Alan Mishchenko | 2018-06-06 | 1 | -1/+1 | |
* | | Supporting the decoder primitive in NDR and bit-blasting. | Alan Mishchenko | 2018-06-05 | 6 | -4/+68 | |
* | | Exposing a switch to generate carry-lookahead adder during bit-blasting. | Alan Mishchenko | 2018-06-05 | 3 | -15/+60 | |
* | | Adding command print_mint. | Alan Mishchenko | 2018-06-04 | 1 | -0/+64 | |
|/ | ||||||
* | Supporting SEL in bit-blasting. | Alan Mishchenko | 2018-05-25 | 1 | -2/+22 | |
* | Supporting NMUX and SEL in NDR. | Alan Mishchenko | 2018-05-24 | 4 | -2/+33 | |
* | Simple BDD package. | Alan Mishchenko | 2018-05-23 | 1 | -1/+3 | |
* | Bug fix in supporting signed multiplication in NDR. | Alan Mishchenko | 2018-05-18 | 1 | -6/+7 | |
* | Supporting wide MUX in NDR. | Alan Mishchenko | 2018-05-16 | 1 | -2/+7 | |
* | Bug fix in the naming of outputs in %blast -d. | Alan Mishchenko | 2018-05-10 | 1 | -3/+21 | |
* | Bug fix in &sat -x. | Alan Mishchenko | 2018-05-07 | 1 | -2/+3 | |
* | Adding &sat -x to save CEXes for multi-output combinational miters. | Alan Mishchenko | 2018-05-06 | 1 | -4/+33 | |
* | Updates to NDR format (bug fixes). | Alan Mishchenko | 2018-05-03 | 2 | -11/+10 | |
* | Updates to NDR format (flops, memories, signed mult, etc). | Alan Mishchenko | 2018-04-29 | 8 | -39/+352 | |
* | The ECO code (fix to the broken build). | Alan Mishchenko | 2018-04-28 | 1 | -2/+2 | |
* | Adding switch &w -p to dump AIG in a Verilog file. | Alan Mishchenko | 2018-04-25 | 1 | -2/+9 | |
* | The ECO code. | Alan Mishchenko | 2018-04-25 | 1 | -2/+11 | |
* | The ECO code. | Alan Mishchenko | 2018-04-25 | 2 | -8/+2500 | |
* | Typo in the command description. | Alan Mishchenko | 2018-04-25 | 1 | -5/+5 | |
* | Memory abstraction. | Alan Mishchenko | 2018-04-20 | 4 | -10/+20 | |
* | Memory abstraction. | Alan Mishchenko | 2018-04-19 | 4 | -154/+284 | |
* | Memory abstraction. | Alan Mishchenko | 2018-04-15 | 8 | -84/+1086 | |
* | Integrating SAT-based CEX minimization (bug fix). | Alan Mishchenko | 2018-03-25 | 1 | -2/+2 | |
* | Integrating SAT-based CEX minimization. | Alan Mishchenko | 2018-03-25 | 1 | -8/+20 |