Support SKY130
Self-explanatory. We don't need to mess around with OSU or Nangate now that we have an honest to goodness open source PDK.
That, and Fault is supposed to be integrated into OpenLane someday. So.
Why not support all flip flops supported by Yosys?
We'd need to source a competent lib file parser and somehow extract which cells are flip-flops: cut doesn't use Yosys for example, but it is essential for ATPG. I recall Yosys having a similar cutaway function but I removed it in https://github.com/AUCOHL/Fault/commit/e20d40b27ee2f98117e54957509faaf506fb649c because it was fairly buggy.
Just using a reg is a neat idea though- we ARE already using Yosys techmap after chaining so why not dfflibmap.