| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Compiler warnings. | Alan Mishchenko | 2022-08-30 | 1 | -2/+2 |
| * | Various changes. | Alan Mishchenko | 2022-08-30 | 1 | -1/+2 |
| * | Various changes. | Alan Mishchenko | 2022-08-30 | 1 | -7/+250 |
| * | Investigating complex miters. | Alan Mishchenko | 2022-08-03 | 1 | -2/+86 |
| * | Constructing boolean relation. | Alan Mishchenko | 2022-07-30 | 1 | -0/+156 |
| * | Enabling support for reading AIGs with XOR gates. | Alan Mishchenko | 2022-06-05 | 1 | -1/+7 |
| * | Experiments with word-level data structures. | Alan Mishchenko | 2022-04-22 | 1 | -1/+72 |
| * | Various changes. | Alan Mishchenko | 2021-10-22 | 1 | -0/+78 |
| * | Experiments with pattern generation. | Alan Mishchenko | 2021-10-10 | 1 | -0/+100 |
| * | Various changes. | Alan Mishchenko | 2021-09-26 | 1 | -4/+56 |
| * | Experiment with simulation. | Alan Mishchenko | 2021-09-22 | 1 | -2/+55 |
| * | Various changes. | Alan Mishchenko | 2021-09-02 | 1 | -1/+21 |
| * | 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 |
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |