renamings.sh

#!/bin/sh

find . -type f -name '*.v' -print0 | xargs -0 sed -i -e 's/riscv\.util\./riscv.Utility./g' -e 's/riscv\.Utility.$/riscv.Utility.Utility./g' -e 's/riscv\.Decode/riscv.Spec.Decode/g' -e 's/riscv\.Program/riscv.Spec.Machine/g' -e 's/riscv\.Memory/riscv.Platform.Memory/g' -e 's/riscv\.Words32Naive/riscv.Utility.Words32Naive/g' -e 's/riscv\.DefaultMemImpl32/riscv.Utility.DefaultMemImpl32/g' -e 's/riscv\.Execute/riscv.Spec.Execute/g' -e 's/riscv\.InstructionCoercions/riscv.Utility.InstructionCoercions/g' -e 's/riscv\.MetricLogging/riscv.Platform.MetricLogging/g' -e 's/riscv\.MetricPrimitives/riscv.Spec.MetricPrimitives/g' -e 's/riscv\.MetricRiscvMachine/riscv.Platform.MetricRiscvMachine/g' -e 's/riscv\.Minimal/riscv.Platform.Minimal/g' -e 's/riscv\.MinimalLogging/riscv.Platform.MinimalLogging/g' -e 's/riscv\.MkMachineWidth/riscv.Utility.MkMachineWidth/g' -e 's/riscv\.MMIOTrace/riscv.Utility.MMIOTrace/g' -e 's/riscv\.Primitives/riscv.Spec.Primitives/g' -e 's/riscv\.RiscvMachine/riscv.Platform.RiscvMachine/g' -e 's/riscv\.Run/riscv.Platform.Run/g' -e 's/riscv\.runsToNonDet/riscv.Utility.runsToNonDet/g' -e 's/riscv\.Encode/riscv.Utility.Encode/g'