2022-04-15 | N. Engelhardt | verific: allow memories to be inferred in loops |
commit | commitdiff | tree |
2022-03-24 | N. Engelhardt | ignore # comment lines |
commit | commitdiff | tree |
2022-02-22 | N. Engelhardt | print cell name for properties in yosys-smtbmc |
commit | commitdiff | tree |
2022-02-18 | N. Engelhardt | fix handling of escaped chars in json backend and frontend |
commit | commitdiff | tree |
2022-01-17 | N. Engelhardt | mention distributions' package manager |
commit | commitdiff | tree |
2022-01-04 | N. Engelhardt | mention tabby+oss cad suite in readme |
commit | commitdiff | tree |
2021-03-22 | N. Engelhardt | split CodingReadme into multiple files |
commit | commitdiff | tree |