aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/json.h
Commit message (Collapse)AuthorAgeFilesLines
* aiger: Use new JSON code for writing aiger witness map filesJannis Harder2023-01-111-1/+9
|
* Add json.{h,cc} for pretty printing JSONJannis Harder2023-01-111-0/+93
Avoids errors in trailing comma handling, broken indentation and improper escaping that is common when building JSON by manually concatenating strings.