Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Compiler warnings. | Alan Mishchenko | 2022-09-19 | 1 | -0/+4 |
| | |||||
* | Various changes. | Alan Mishchenko | 2022-07-30 | 1 | -0/+4 |
| | |||||
* | Experiments with technology mapping. | Alan Mishchenko | 2022-06-25 | 1 | -0/+4 |
| | |||||
* | Adding command to check resub problem solution. | Alan Mishchenko | 2022-06-10 | 1 | -0/+4 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2022-04-24 | 1 | -0/+12 |
| | |||||
* | Experiments with word-level data structures. | Alan Mishchenko | 2022-02-16 | 1 | -0/+8 |
| | |||||
* | Experiments with word-level data structures. | Alan Mishchenko | 2022-01-21 | 1 | -0/+8 |
| | |||||
* | Adding new command %yosys. | Alan Mishchenko | 2021-12-16 | 1 | -0/+4 |
| | |||||
* | Experiments with pattern generation. | Alan Mishchenko | 2021-10-10 | 1 | -0/+4 |
| | |||||
* | Experiments with SAT solving. | Alan Mishchenko | 2021-10-09 | 1 | -0/+4 |
| | |||||
* | New command &stochsyn for stochastic synthesis. | Alan Mishchenko | 2021-10-06 | 1 | -0/+4 |
| | |||||
* | Various changes. | Alan Mishchenko | 2021-09-30 | 1 | -0/+8 |
| | |||||
* | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 1 | -0/+8 |
| | |||||
* | Removing unused command. | Alan Mishchenko | 2021-09-21 | 1 | -8/+0 |
| | |||||
* | Improving AIG to Verilog converter. | Alan Mishchenko | 2021-08-17 | 1 | -1/+1 |
| | |||||
* | Suggested changes to collect and pass timing information (compiler issues). | Alan Mishchenko | 2021-08-12 | 1 | -1/+1 |
| | |||||
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-08 | 1 | -1/+1 |
| | |||||
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-08 | 1 | -1/+1 |
| | |||||
* | Adding place holder file for resub experiments. | Alan Mishchenko | 2021-06-24 | 1 | -0/+4 |
| | |||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-06-19 | 1 | -0/+4 |
| | |||||
* | Updating cost function in &save/&load. | Alan Mishchenko | 2021-05-08 | 1 | -0/+4 |
| | |||||
* | Experiments with simulation. | Alan Mishchenko | 2020-12-30 | 1 | -0/+4 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2020-12-21 | 1 | -0/+4 |
| | |||||
* | Upgrading the SAT solvers. | Alan Mishchenko | 2020-11-14 | 1 | -0/+8 |
| | |||||
* | Duplicating Glucose package. | Alan Mishchenko | 2020-11-12 | 1 | -0/+108 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2020-11-09 | 1 | -0/+4 |
| | |||||
* | Adding new resub code. | Alan Mishchenko | 2020-07-08 | 1 | -0/+4 |
| | |||||
* | Extend ISOP to return the truth table. | Alan Mishchenko | 2020-04-02 | 1 | -4/+0 |
| | |||||
* | Adding commands to generate data for experiments. | Alan Mishchenko | 2020-02-22 | 1 | -0/+4 |
| | |||||
* | Adding commands to generate data for experiments. | Alan Mishchenko | 2020-02-22 | 1 | -0/+4 |
| | |||||
* | Adding commands to generate data for experiments. | Alan Mishchenko | 2020-02-21 | 1 | -0/+4 |
| | |||||
* | Experimental simulation based code. | Alan Mishchenko | 2020-02-06 | 1 | -0/+4 |
| | |||||
* | Adding experimental command. | Alan Mishchenko | 2019-12-14 | 1 | -0/+4 |
| | |||||
* | Experiments with simulation. | Alan Mishchenko | 2019-10-27 | 1 | -0/+4 |
| | |||||
* | Adding new command handler for experimental procedures. | Alan Mishchenko | 2019-04-17 | 1 | -0/+4 |
| | |||||
* | Experiments with memory abstraction. | Alan Mishchenko | 2019-01-27 | 1 | -0/+4 |
| | |||||
* | Experiments with memory abstraction. | Alan Mishchenko | 2019-01-22 | 1 | -0/+4 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-15 | 1 | -0/+4 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-09 | 1 | -0/+8 |
| | |||||
* | Extending extra library with additional ZDD-based procedures. | Alan Mishchenko | 2018-10-12 | 1 | -0/+8 |
| | |||||
* | Experiments with word-level retiming. | Alan Mishchenko | 2018-09-30 | 1 | -0/+32 |
| | |||||
* | Expriments with functions. | Alan Mishchenko | 2018-09-16 | 1 | -0/+4 |
| | |||||
* | Experiments with function enumeration. | Alan Mishchenko | 2018-08-01 | 1 | -0/+4 |
| | |||||
* | Procedure to return seq equivalences. | Alan Mishchenko | 2018-07-22 | 1 | -0/+4 |
| | |||||
* | Adding command 'majgen'. | Alan Mishchenko | 2018-07-04 | 1 | -0/+4 |
| | |||||
* | Experiments with path enumeration. | Alan Mishchenko | 2018-06-06 | 1 | -0/+4 |
| | |||||
* | Simple BDD package. | Alan Mishchenko | 2018-05-23 | 1 | -0/+4 |
| | |||||
* | Memory abstraction. | Alan Mishchenko | 2018-04-15 | 1 | -0/+4 |
| | |||||
* | Adding switch 'scorr -f' to dump inductive invariant as an AIG. | Alan Mishchenko | 2018-03-22 | 1 | -4/+0 |
| | |||||
* | Adding parameters and improvements to %blast. | Alan Mishchenko | 2018-02-28 | 1 | -0/+12 |
| |