12345678910111213141516171819202122232425262728# 1 "src/disasm/sparcv8/sparcV8ToDba.disabled.ml"(**************************************************************************)(* This file is part of BINSEC. *)(* *)(* Copyright (C) 2016-2025 *)(* CEA (Commissariat à l'énergie atomique et aux énergies *)(* alternatives) *)(* *)(* you can redistribute it and/or modify it under the terms of the GNU *)(* Lesser General Public License as published by the Free Software *)(* Foundation, version 2.1. *)(* *)(* It is distributed in the hope that it will be useful, *)(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *)(* GNU Lesser General Public License for more details. *)(* *)(* See the GNU Lesser General Public License version 2.1 *)(* for more details (enclosed in the file licenses/LGPLv2.1). *)(* *)(**************************************************************************)moduleLogger=Logger.Make(structletname="SPARCv8"end)letcached_decode_=failwith"not linked with 'unisim_archisec'"letdecode_=cached_decode