[submodule "gen_input/CoreDSL-Instruction-Set-Description"] path = gen_input/CoreDSL-Instruction-Set-Description url = https://git.minres.com/DBT-RISE/CoreDSL-Instruction-Set-Description.git