| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |