| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Compiler warning. | Alan Mishchenko | 2018-11-11 | 1 | -1/+1 | |
| | | ||||||
| * | Usability improvements to &fftest. | Alan Mishchenko | 2018-11-11 | 1 | -4/+8 | |
| | | ||||||
| * | Added a passthrough in command 'fold' if there are no POs, only constraints. | Alan Mishchenko | 2018-11-11 | 1 | -0/+5 | |
| | | ||||||
| * | Several recent bug fixes. | Alan Mishchenko | 2018-11-04 | 1 | -0/+1 | |
| | | ||||||
| * | Fix timing info communication in GIA APIs. | Alan Mishchenko | 2018-10-22 | 1 | -0/+1 | |
| | | ||||||
| * | Merge pull request #13 from hriener/exorcism | alanminko | 2018-10-18 | 1 | -21/+69 | |
| |\ | | | | | exorcism. | |||||
| | * | &exorcism: read ESOP-PLA from file. | Heinz Riener | 2018-10-17 | 1 | -2/+14 | |
| | | | ||||||
| | * | &exorcism: read ESOP-PLA from file. | Heinz Riener | 2018-05-25 | 1 | -21/+57 | |
| | | | ||||||
| * | | Experiments with Boolean functions. | Alan Mishchenko | 2018-10-02 | 1 | -9/+13 | |
| | | | ||||||
| * | | Visualizingn BDDs without complemented edges in 'show_bdd'. | Alan Mishchenko | 2018-09-30 | 1 | -7/+11 | |
| | | | ||||||
| * | | Adding command 'cof' to replace node by a constant (bug fix). | Alan Mishchenko | 2018-09-28 | 1 | -2/+3 | |
| | | | ||||||
| * | | Adding command 'cof' to replace node by a constant. | Alan Mishchenko | 2018-09-27 | 1 | -17/+87 | |
| | | | ||||||
| * | | Adding visualization of global BDDs in 'show_bdd'. | Alan Mishchenko | 2018-09-27 | 1 | -9/+29 | |
| | | | ||||||
| * | | New APIs of the truth table package. | Alan Mishchenko | 2018-09-21 | 1 | -2/+3 | |
| | | | ||||||
| * | | Expriments with functions. | Alan Mishchenko | 2018-09-16 | 1 | -14/+18 | |
| | | | ||||||
| * | | Expriments with functions. | Alan Mishchenko | 2018-09-16 | 1 | -14/+30 | |
| | | | ||||||
| * | | Expriments with functions (supporting symmetries). | Alan Mishchenko | 2018-09-11 | 2 | -7/+9 | |
| | | | ||||||
| * | | 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 | |
| | | | ||||||
| * | | Complication problem fix. | Alan Mishchenko | 2018-08-19 | 1 | -1/+0 | |
| | | | ||||||
| * | | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -0/+1 | |
| | | | ||||||
| * | | 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 | |
| | | | ||||||
| * | | 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 | |
| | | | ||||||
| * | | Adding switch 'clp -o' to reverse initial variable ordering. | Alan Mishchenko | 2018-06-07 | 15 | -33/+38 | |
| | | | ||||||
| * | | Experiments with path enumeration. | Alan Mishchenko | 2018-06-06 | 1 | -1/+1 | |
| | | | ||||||
| * | | Adding command print_mint. | Alan Mishchenko | 2018-06-04 | 1 | -0/+64 | |
| |/ | ||||||
| * | Simple BDD package. | Alan Mishchenko | 2018-05-23 | 1 | -1/+3 | |
| | | ||||||
| * | 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 | |
| | | ||||||
| * | 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 | 1 | -6/+6 | |
| | | ||||||
| * | Typo in the command description. | Alan Mishchenko | 2018-04-25 | 1 | -5/+5 | |
| | | ||||||
| * | Memory abstraction. | Alan Mishchenko | 2018-04-15 | 1 | -0/+2 | |
| | | ||||||
| * | Adding new NPN code developed by XueGong Zhou at Fudan University. | Alan Mishchenko | 2018-03-25 | 2 | -7/+29 | |
| | | ||||||
| * | Adding switch 'scorr -f' to dump inductive invariant as an AIG. | Alan Mishchenko | 2018-03-22 | 1 | -5/+14 | |
| | | ||||||
| * | Experiments with LUT mapping. | Alan Mishchenko | 2018-02-10 | 1 | -5/+18 | |
| | | ||||||
| * | Improvements to NDR to represent hierarchical designs. | Alan Mishchenko | 2018-02-05 | 1 | -2/+1 | |
| | | ||||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |