Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Experimental simulation commands. | Alan Mishchenko | 2021-07-25 | 1 | -0/+49 |
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-11 | 1 | -1/+1 |
* | Experiments with CEC. | Alan Mishchenko | 2021-07-10 | 1 | -0/+139 |
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-08 | 1 | -1/+0 |
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-08 | 1 | -0/+1 |
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-08 | 1 | -0/+79 |
* | Compiler warnings. | Alan Mishchenko | 2020-09-17 | 1 | -1/+1 |
* | Compiler warnings. | Alan Mishchenko | 2020-09-13 | 1 | -1/+1 |
* | Experiments with iterative synthesis. | Alan Mishchenko | 2020-09-13 | 1 | -1/+21 |
* | Experimental simulation. | Alan Mishchenko | 2020-06-04 | 1 | -9/+72 |
* | Experimental simulation. | Alan Mishchenko | 2020-06-03 | 1 | -0/+99 |
* | Experimental resubstitution. | Alan Mishchenko | 2020-05-15 | 1 | -83/+0 |
* | Experimental resubstitution. | Alan Mishchenko | 2020-05-03 | 1 | -3/+5 |
* | Improving simulation patterns by local search. | Alan Mishchenko | 2020-04-17 | 1 | -10/+396 |
* | Corner-case bug fix in SAT-based sim info generation. | Alan Mishchenko | 2020-04-07 | 1 | -4/+6 |
* | Various changes. | Alan Mishchenko | 2020-03-28 | 1 | -1/+1 |
* | Experiments with simulation-based engines. | Alan Mishchenko | 2020-03-25 | 1 | -3/+6 |
* | Experiments with simulation-based engines. | Alan Mishchenko | 2020-03-22 | 1 | -2/+310 |
* | Various changes. | Alan Mishchenko | 2020-03-21 | 1 | -23/+97 |
* | Various changes. | Alan Mishchenko | 2020-03-18 | 1 | -14/+100 |
* | Updating and extending simulation data structures. | Alan Mishchenko | 2020-03-05 | 1 | -13/+14 |
* | Several misc changes. | Alan Mishchenko | 2020-03-01 | 1 | -2/+2 |
* | Experimental simulation based code. | Alan Mishchenko | 2020-02-06 | 1 | -0/+1178 |