| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Adding switch -x to &ps to disable color printout. | Alan Mishchenko | 2019-02-12 | 1 | -4/+9 |
| | | |||||
| * | Adding new switch to simulation. | Alan Mishchenko | 2019-01-29 | 1 | -21/+26 |
| | | |||||
| * | Adding new switch to simulation. | Alan Mishchenko | 2019-01-29 | 1 | -4/+17 |
| | | |||||
| * | Exploring other ways of CEX writing. | Alan Mishchenko | 2019-01-21 | 1 | -1/+1 |
| | | |||||
| * | Changing default parameter values in the AIG generation code. | Alan Mishchenko | 2019-01-18 | 1 | -11/+37 |
| | | |||||
| * | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-15 | 1 | -2/+7 |
| | | |||||
| * | Procedure to trasnsform counter-examples. | Alan Mishchenko | 2019-01-15 | 1 | -2/+2 |
| | | |||||
| * | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-15 | 1 | -0/+193 |
| | | |||||
| * | Experiment with partitioned &scorr. | Alan Mishchenko | 2019-01-15 | 1 | -6/+15 |
| | | |||||
| * | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-09 | 1 | -1/+1 |
| | | |||||
| * | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-08 | 1 | -1/+2 |
| | | |||||
| * | Experiments with retiming. | Alan Mishchenko | 2018-12-04 | 1 | -4/+4 |
| | | |||||
| * | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 3 | -16/+21 |
| | | |||||
| * | Various usability changes (second round). | Alan Mishchenko | 2018-11-20 | 1 | -1/+40 |
| | | |||||
| * | Various usability changes. | Alan Mishchenko | 2018-11-18 | 4 | -10/+45 |
| | | |||||
| * | Adding dummy flop in 'pdr' when the network is comb. | Alan Mishchenko | 2018-11-13 | 1 | -11/+13 |
| | | |||||
| * | 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 |
| | | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |