is it the intention of yosys that anything written for it should also compile the same in icecube2

[pm100]

I switched a project from yosys to icecube2 (temporarily) becuase I was getting wierd things and wanted to see if it picked up things I had done wrong (same way that iverilog picks up errors that yosys misses). I found multiple inconsistencies between the two, things that work in yosys and not in icecube2, things that work in both but do different things.... Should I report these as bugs, or is there a list of known differences somewhere

[whitequark]

iCECube2 is essentially unmaintained for years, and it didn't implement Verilog particularly well in first place. I don't think such a list would have much usefulness to anyone.