| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Support for BTOR witness to Yosys witness conversion | Jannis Harder | 2023-01-11 | 1 | -1/+4 |
| | | |||||
| * | aiger: Use new JSON code for writing aiger witness map files | Jannis Harder | 2023-01-11 | 1 | -1/+9 |
| | | |||||
| * | Add json.{h,cc} for pretty printing JSON | Jannis Harder | 2023-01-11 | 1 | -0/+93 |
| Avoids errors in trailing comma handling, broken indentation and improper escaping that is common when building JSON by manually concatenating strings. | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |