Hi, The opcode file src/ops/dotnet.ops has a very limited subset of .net conversion opcodes. languages/dotnet/ops/dotnet.ops provides amongst other opcodes a much more complete set of conversions.
Are there any objections to just remove src/ops/dotnet.ops? leo