mirror of https://github.com/YosysHQ/yosys.git
5b317ee03c
Some cells (e.g. $macc_v2) are marked evaluable, but will raise an abort if called with `CellTypes::eval()`. Instead of falling through to the abort, we can pass a pointer to a boolean to check for errors. Use said check to catch `CellTypes::eval()` errors and treat them as unevaluable but otherwise continue. Reflows the series of if checks into `if ... else if ... else` so that we can check for errors and set state in one place. |
||
|---|---|---|
| .. | ||
| Makefile.inc | ||
| assertpmux.cc | ||
| async2sync.cc | ||
| clk2fflogic.cc | ||
| cutpoint.cc | ||
| eval.cc | ||
| example.v | ||
| example.ys | ||
| expose.cc | ||
| fmcombine.cc | ||
| fminit.cc | ||
| formalff.cc | ||
| freduce.cc | ||
| miter.cc | ||
| mutate.cc | ||
| qbfsat.cc | ||
| qbfsat.h | ||
| recover_names.cc | ||
| sat.cc | ||
| sim.cc | ||
| supercover.cc | ||
| synthprop.cc | ||