| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | formalff: Fix crash with _NOT_ gates in -hierarchy mode | Jannis Harder | 2023-01-25 | 1 | -1/+1 |
| * | sim/formalff: Clock handling for yw cosim | Jannis Harder | 2023-01-11 | 1 | -2/+214 |
| * | Merge pull request #3537 from jix/xprop | Jannis Harder | 2023-01-11 | 1 | -0/+2 |
| |\ | |||||
| | * | formalff: Fix -ff2anyinit assertion error for fine FFs | Jannis Harder | 2022-11-30 | 1 | -0/+2 |
| * | | formalff: Proper error messages on async inputs for the -clk2ff mode | Jannis Harder | 2022-12-09 | 1 | -0/+3 |
| |/ | |||||
| * | formalff: New -setundef option | Jannis Harder | 2022-08-16 | 1 | -0/+335 |
| * | formalff: Set new replaced_by_gclk attribute on removed dff's clks | Jannis Harder | 2022-08-16 | 1 | -0/+22 |
| * | Add the $anyinit cell and the formalff pass | Jannis Harder | 2022-08-16 | 1 | -0/+192 |
 |
index : iCE40/yosys | |
| clone of https://github.com/YosysHQ/yosys |
| aboutsummaryrefslogtreecommitdiffstats |