├── .clang-format ├── .codespellrc ├── .github ├── actions │ └── sail-setup │ │ └── action.yml ├── dependabot.yml └── workflows │ ├── ci.yml │ ├── compile-lean.yml │ ├── release.yml │ ├── rocq.yml │ ├── run-full-tests.yml │ └── test-results.yml ├── .gitignore ├── .markdown-link-check.config ├── .pre-commit-config.yaml ├── CMakeLists.txt ├── CODE_STYLE.md ├── CONTRIBUTING.md ├── LICENCE ├── README.md ├── c_emulator ├── CMakeLists.txt ├── config_schema.h.in ├── config_utils.cpp ├── config_utils.h ├── elf_loader.cpp ├── elf_loader.h ├── generate_schema_include.cmake ├── riscv_callbacks.cpp ├── riscv_callbacks.h ├── riscv_callbacks_if.h ├── riscv_callbacks_log.cpp ├── riscv_callbacks_log.h ├── riscv_callbacks_rvfi.cpp ├── riscv_callbacks_rvfi.h ├── riscv_config.h ├── riscv_platform.cpp ├── riscv_platform.h ├── riscv_platform_impl.cpp ├── riscv_platform_impl.h ├── riscv_prelude.cpp ├── riscv_prelude.h ├── riscv_sail.h ├── riscv_sim.cpp ├── riscv_softfloat.cpp ├── riscv_softfloat.h ├── rvfi_dii.cpp ├── rvfi_dii.h ├── sail_riscv_version.cpp.in ├── sail_riscv_version.h ├── symbol_table.cpp └── symbol_table.h ├── cmake ├── modules │ └── FindGMP.cmake ├── packaging.cmake └── project_version.cmake ├── config ├── CMakeLists.txt ├── config.json.in └── default_config.h.in ├── coq-sail-riscv.opam ├── dependencies ├── .clang-format ├── CLI11 │ ├── CLI11.hpp │ ├── CMakeLists.txt │ └── LICENSE ├── CMakeLists.txt ├── elfio │ ├── CMakeLists.txt │ ├── LICENSE.txt │ ├── README.md │ ├── cmake │ │ └── elfioConfig.cmake.in │ └── elfio │ │ ├── elf_types.hpp │ │ ├── elfio.hpp │ │ ├── elfio_array.hpp │ │ ├── elfio_dump.hpp │ │ ├── elfio_dynamic.hpp │ │ ├── elfio_header.hpp │ │ ├── elfio_modinfo.hpp │ │ ├── elfio_note.hpp │ │ ├── elfio_relocation.hpp │ │ ├── elfio_section.hpp │ │ ├── elfio_segment.hpp │ │ ├── elfio_strings.hpp │ │ ├── elfio_symbols.hpp │ │ ├── elfio_utils.hpp │ │ ├── elfio_version.hpp │ │ └── elfio_versym.hpp ├── jsoncons │ ├── CMakeLists.txt │ └── LICENSE └── softfloat │ ├── CMakeLists.txt │ └── berkeley-softfloat-3 │ ├── .gitignore │ ├── COPYING.txt │ ├── README.html │ ├── README.md │ ├── README.txt │ ├── build │ ├── Linux-386-GCC │ │ ├── Makefile │ │ └── platform.h │ ├── Linux-386-SSE2-GCC │ │ ├── Makefile │ │ └── platform.h │ ├── Linux-ARM-VFPv2-GCC │ │ ├── Makefile │ │ └── platform.h │ ├── Linux-RISCV64-GCC │ │ ├── Makefile │ │ └── platform.h │ ├── Linux-x86_64-GCC │ │ ├── Makefile │ │ └── platform.h │ ├── Win32-MinGW │ │ ├── Makefile │ │ └── platform.h │ ├── Win32-SSE2-MinGW │ │ ├── Makefile │ │ └── platform.h │ ├── Win64-MinGW-w64 │ │ ├── Makefile │ │ └── platform.h │ ├── template-FAST_INT64 │ │ ├── Makefile │ │ └── platform.h │ └── template-not-FAST_INT64 │ │ ├── Makefile │ │ └── platform.h │ ├── doc │ ├── SoftFloat-history.html │ ├── SoftFloat-source.html │ └── SoftFloat.html │ └── source │ ├── 8086 │ ├── extF80M_isSignalingNaN.c │ ├── f128M_isSignalingNaN.c │ ├── s_commonNaNToExtF80M.c │ ├── s_commonNaNToExtF80UI.c │ ├── s_commonNaNToF128M.c │ ├── s_commonNaNToF128UI.c │ ├── s_commonNaNToF16UI.c │ ├── s_commonNaNToF32UI.c │ ├── s_commonNaNToF64UI.c │ ├── s_extF80MToCommonNaN.c │ ├── s_extF80UIToCommonNaN.c │ ├── s_f128MToCommonNaN.c │ ├── s_f128UIToCommonNaN.c │ ├── s_f16UIToCommonNaN.c │ ├── s_f32UIToCommonNaN.c │ ├── s_f64UIToCommonNaN.c │ ├── s_propagateNaNExtF80M.c │ ├── s_propagateNaNExtF80UI.c │ ├── s_propagateNaNF128M.c │ ├── s_propagateNaNF128UI.c │ ├── s_propagateNaNF16UI.c │ ├── s_propagateNaNF32UI.c │ ├── s_propagateNaNF64UI.c │ ├── softfloat_raiseFlags.c │ └── specialize.h │ ├── 8086-SSE │ ├── extF80M_isSignalingNaN.c │ ├── f128M_isSignalingNaN.c │ ├── s_bf16UIToCommonNaN.c │ ├── s_commonNaNToBF16UI.c │ ├── s_commonNaNToExtF80M.c │ ├── s_commonNaNToExtF80UI.c │ ├── s_commonNaNToF128M.c │ ├── s_commonNaNToF128UI.c │ ├── s_commonNaNToF16UI.c │ ├── s_commonNaNToF32UI.c │ ├── s_commonNaNToF64UI.c │ ├── s_extF80MToCommonNaN.c │ ├── s_extF80UIToCommonNaN.c │ ├── s_f128MToCommonNaN.c │ ├── s_f128UIToCommonNaN.c │ ├── s_f16UIToCommonNaN.c │ ├── s_f32UIToCommonNaN.c │ ├── s_f64UIToCommonNaN.c │ ├── s_propagateNaNExtF80M.c │ ├── s_propagateNaNExtF80UI.c │ ├── s_propagateNaNF128M.c │ ├── s_propagateNaNF128UI.c │ ├── s_propagateNaNF16UI.c │ ├── s_propagateNaNF32UI.c │ ├── s_propagateNaNF64UI.c │ ├── softfloat_raiseFlags.c │ └── specialize.h │ ├── ARM-VFPv2-defaultNaN │ ├── extF80M_isSignalingNaN.c │ ├── f128M_isSignalingNaN.c │ ├── s_commonNaNToExtF80M.c │ ├── s_commonNaNToExtF80UI.c │ ├── s_commonNaNToF128M.c │ ├── s_commonNaNToF128UI.c │ ├── s_commonNaNToF16UI.c │ ├── s_commonNaNToF32UI.c │ ├── s_commonNaNToF64UI.c │ ├── s_extF80MToCommonNaN.c │ ├── s_extF80UIToCommonNaN.c │ ├── s_f128MToCommonNaN.c │ ├── s_f128UIToCommonNaN.c │ ├── s_f16UIToCommonNaN.c │ ├── s_f32UIToCommonNaN.c │ ├── s_f64UIToCommonNaN.c │ ├── s_propagateNaNExtF80M.c │ ├── s_propagateNaNExtF80UI.c │ ├── s_propagateNaNF128M.c │ ├── s_propagateNaNF128UI.c │ ├── s_propagateNaNF16UI.c │ ├── s_propagateNaNF32UI.c │ ├── s_propagateNaNF64UI.c │ ├── softfloat_raiseFlags.c │ └── specialize.h │ ├── ARM-VFPv2 │ ├── extF80M_isSignalingNaN.c │ ├── f128M_isSignalingNaN.c │ ├── s_commonNaNToExtF80M.c │ ├── s_commonNaNToExtF80UI.c │ ├── s_commonNaNToF128M.c │ ├── s_commonNaNToF128UI.c │ ├── s_commonNaNToF16UI.c │ ├── s_commonNaNToF32UI.c │ ├── s_commonNaNToF64UI.c │ ├── s_extF80MToCommonNaN.c │ ├── s_extF80UIToCommonNaN.c │ ├── s_f128MToCommonNaN.c │ ├── s_f128UIToCommonNaN.c │ ├── s_f16UIToCommonNaN.c │ ├── s_f32UIToCommonNaN.c │ ├── s_f64UIToCommonNaN.c │ ├── s_propagateNaNExtF80M.c │ ├── s_propagateNaNExtF80UI.c │ ├── s_propagateNaNF128M.c │ ├── s_propagateNaNF128UI.c │ ├── s_propagateNaNF16UI.c │ ├── s_propagateNaNF32UI.c │ ├── s_propagateNaNF64UI.c │ ├── softfloat_raiseFlags.c │ └── specialize.h │ ├── RISCV │ ├── extF80M_isSignalingNaN.c │ ├── f128M_isSignalingNaN.c │ ├── s_bf16UIToCommonNaN.c │ ├── s_commonNaNToBF16UI.c │ ├── s_commonNaNToExtF80M.c │ ├── s_commonNaNToExtF80UI.c │ ├── s_commonNaNToF128M.c │ ├── s_commonNaNToF128UI.c │ ├── s_commonNaNToF16UI.c │ ├── s_commonNaNToF32UI.c │ ├── s_commonNaNToF64UI.c │ ├── s_extF80MToCommonNaN.c │ ├── s_extF80UIToCommonNaN.c │ ├── s_f128MToCommonNaN.c │ ├── s_f128UIToCommonNaN.c │ ├── s_f16UIToCommonNaN.c │ ├── s_f32UIToCommonNaN.c │ ├── s_f64UIToCommonNaN.c │ ├── s_propagateNaNExtF80M.c │ ├── s_propagateNaNExtF80UI.c │ ├── s_propagateNaNF128M.c │ ├── s_propagateNaNF128UI.c │ ├── s_propagateNaNF16UI.c │ ├── s_propagateNaNF32UI.c │ ├── s_propagateNaNF64UI.c │ ├── softfloat_raiseFlags.c │ └── specialize.h │ ├── bf16_isSignalingNaN.c │ ├── bf16_to_f32.c │ ├── extF80M_add.c │ ├── extF80M_div.c │ ├── extF80M_eq.c │ ├── extF80M_eq_signaling.c │ ├── extF80M_le.c │ ├── extF80M_le_quiet.c │ ├── extF80M_lt.c │ ├── extF80M_lt_quiet.c │ ├── extF80M_mul.c │ ├── extF80M_rem.c │ ├── extF80M_roundToInt.c │ ├── extF80M_sqrt.c │ ├── extF80M_sub.c │ ├── extF80M_to_f128M.c │ ├── extF80M_to_f16.c │ ├── extF80M_to_f32.c │ ├── extF80M_to_f64.c │ ├── extF80M_to_i32.c │ ├── extF80M_to_i32_r_minMag.c │ ├── extF80M_to_i64.c │ ├── extF80M_to_i64_r_minMag.c │ ├── extF80M_to_ui32.c │ ├── extF80M_to_ui32_r_minMag.c │ ├── extF80M_to_ui64.c │ ├── extF80M_to_ui64_r_minMag.c │ ├── extF80_add.c │ ├── extF80_div.c │ ├── extF80_eq.c │ ├── extF80_eq_signaling.c │ ├── extF80_isSignalingNaN.c │ ├── extF80_le.c │ ├── extF80_le_quiet.c │ ├── extF80_lt.c │ ├── extF80_lt_quiet.c │ ├── extF80_mul.c │ ├── extF80_rem.c │ ├── extF80_roundToInt.c │ ├── extF80_sqrt.c │ ├── extF80_sub.c │ ├── extF80_to_f128.c │ ├── extF80_to_f16.c │ ├── extF80_to_f32.c │ ├── extF80_to_f64.c │ ├── extF80_to_i32.c │ ├── extF80_to_i32_r_minMag.c │ ├── extF80_to_i64.c │ ├── extF80_to_i64_r_minMag.c │ ├── extF80_to_ui32.c │ ├── extF80_to_ui32_r_minMag.c │ ├── extF80_to_ui64.c │ ├── extF80_to_ui64_r_minMag.c │ ├── f128M_add.c │ ├── f128M_div.c │ ├── f128M_eq.c │ ├── f128M_eq_signaling.c │ ├── f128M_le.c │ ├── f128M_le_quiet.c │ ├── f128M_lt.c │ ├── f128M_lt_quiet.c │ ├── f128M_mul.c │ ├── f128M_mulAdd.c │ ├── f128M_rem.c │ ├── f128M_roundToInt.c │ ├── f128M_sqrt.c │ ├── f128M_sub.c │ ├── f128M_to_extF80M.c │ ├── f128M_to_f16.c │ ├── f128M_to_f32.c │ ├── f128M_to_f64.c │ ├── f128M_to_i32.c │ ├── f128M_to_i32_r_minMag.c │ ├── f128M_to_i64.c │ ├── f128M_to_i64_r_minMag.c │ ├── f128M_to_ui32.c │ ├── f128M_to_ui32_r_minMag.c │ ├── f128M_to_ui64.c │ ├── f128M_to_ui64_r_minMag.c │ ├── f128_add.c │ ├── f128_div.c │ ├── f128_eq.c │ ├── f128_eq_signaling.c │ ├── f128_isSignalingNaN.c │ ├── f128_le.c │ ├── f128_le_quiet.c │ ├── f128_lt.c │ ├── f128_lt_quiet.c │ ├── f128_mul.c │ ├── f128_mulAdd.c │ ├── f128_rem.c │ ├── f128_roundToInt.c │ ├── f128_sqrt.c │ ├── f128_sub.c │ ├── f128_to_extF80.c │ ├── f128_to_f16.c │ ├── f128_to_f32.c │ ├── f128_to_f64.c │ ├── f128_to_i32.c │ ├── f128_to_i32_r_minMag.c │ ├── f128_to_i64.c │ ├── f128_to_i64_r_minMag.c │ ├── f128_to_ui32.c │ ├── f128_to_ui32_r_minMag.c │ ├── f128_to_ui64.c │ ├── f128_to_ui64_r_minMag.c │ ├── f16_add.c │ ├── f16_div.c │ ├── f16_eq.c │ ├── f16_eq_signaling.c │ ├── f16_isSignalingNaN.c │ ├── f16_le.c │ ├── f16_le_quiet.c │ ├── f16_lt.c │ ├── f16_lt_quiet.c │ ├── f16_mul.c │ ├── f16_mulAdd.c │ ├── f16_rem.c │ ├── f16_roundToInt.c │ ├── f16_sqrt.c │ ├── f16_sub.c │ ├── f16_to_extF80.c │ ├── f16_to_extF80M.c │ ├── f16_to_f128.c │ ├── f16_to_f128M.c │ ├── f16_to_f32.c │ ├── f16_to_f64.c │ ├── f16_to_i32.c │ ├── f16_to_i32_r_minMag.c │ ├── f16_to_i64.c │ ├── f16_to_i64_r_minMag.c │ ├── f16_to_ui32.c │ ├── f16_to_ui32_r_minMag.c │ ├── f16_to_ui64.c │ ├── f16_to_ui64_r_minMag.c │ ├── f32_add.c │ ├── f32_div.c │ ├── f32_eq.c │ ├── f32_eq_signaling.c │ ├── f32_isSignalingNaN.c │ ├── f32_le.c │ ├── f32_le_quiet.c │ ├── f32_lt.c │ ├── f32_lt_quiet.c │ ├── f32_mul.c │ ├── f32_mulAdd.c │ ├── f32_rem.c │ ├── f32_roundToInt.c │ ├── f32_sqrt.c │ ├── f32_sub.c │ ├── f32_to_bf16.c │ ├── f32_to_extF80.c │ ├── f32_to_extF80M.c │ ├── f32_to_f128.c │ ├── f32_to_f128M.c │ ├── f32_to_f16.c │ ├── f32_to_f64.c │ ├── f32_to_i32.c │ ├── f32_to_i32_r_minMag.c │ ├── f32_to_i64.c │ ├── f32_to_i64_r_minMag.c │ ├── f32_to_ui32.c │ ├── f32_to_ui32_r_minMag.c │ ├── f32_to_ui64.c │ ├── f32_to_ui64_r_minMag.c │ ├── f64_add.c │ ├── f64_div.c │ ├── f64_eq.c │ ├── f64_eq_signaling.c │ ├── f64_isSignalingNaN.c │ ├── f64_le.c │ ├── f64_le_quiet.c │ ├── f64_lt.c │ ├── f64_lt_quiet.c │ ├── f64_mul.c │ ├── f64_mulAdd.c │ ├── f64_rem.c │ ├── f64_roundToInt.c │ ├── f64_sqrt.c │ ├── f64_sub.c │ ├── f64_to_extF80.c │ ├── f64_to_extF80M.c │ ├── f64_to_f128.c │ ├── f64_to_f128M.c │ ├── f64_to_f16.c │ ├── f64_to_f32.c │ ├── f64_to_i32.c │ ├── f64_to_i32_r_minMag.c │ ├── f64_to_i64.c │ ├── f64_to_i64_r_minMag.c │ ├── f64_to_ui32.c │ ├── f64_to_ui32_r_minMag.c │ ├── f64_to_ui64.c │ ├── f64_to_ui64_r_minMag.c │ ├── i32_to_extF80.c │ ├── i32_to_extF80M.c │ ├── i32_to_f128.c │ ├── i32_to_f128M.c │ ├── i32_to_f16.c │ ├── i32_to_f32.c │ ├── i32_to_f64.c │ ├── i64_to_extF80.c │ ├── i64_to_extF80M.c │ ├── i64_to_f128.c │ ├── i64_to_f128M.c │ ├── i64_to_f16.c │ ├── i64_to_f32.c │ ├── i64_to_f64.c │ ├── include │ ├── internals.h │ ├── opts-GCC.h │ ├── primitiveTypes.h │ ├── primitives.h │ ├── softfloat.h │ └── softfloat_types.h │ ├── s_add128.c │ ├── s_add256M.c │ ├── s_addCarryM.c │ ├── s_addComplCarryM.c │ ├── s_addExtF80M.c │ ├── s_addF128M.c │ ├── s_addM.c │ ├── s_addMagsExtF80.c │ ├── s_addMagsF128.c │ ├── s_addMagsF16.c │ ├── s_addMagsF32.c │ ├── s_addMagsF64.c │ ├── s_approxRecip32_1.c │ ├── s_approxRecipSqrt32_1.c │ ├── s_approxRecipSqrt_1Ks.c │ ├── s_approxRecip_1Ks.c │ ├── s_compare128M.c │ ├── s_compare96M.c │ ├── s_compareNonnormExtF80M.c │ ├── s_countLeadingZeros16.c │ ├── s_countLeadingZeros32.c │ ├── s_countLeadingZeros64.c │ ├── s_countLeadingZeros8.c │ ├── s_eq128.c │ ├── s_invalidExtF80M.c │ ├── s_invalidF128M.c │ ├── s_isNaNF128M.c │ ├── s_le128.c │ ├── s_lt128.c │ ├── s_mul128By32.c │ ├── s_mul128MTo256M.c │ ├── s_mul128To256M.c │ ├── s_mul64ByShifted32To128.c │ ├── s_mul64To128.c │ ├── s_mul64To128M.c │ ├── s_mulAddF128.c │ ├── s_mulAddF128M.c │ ├── s_mulAddF16.c │ ├── s_mulAddF32.c │ ├── s_mulAddF64.c │ ├── s_negXM.c │ ├── s_normExtF80SigM.c │ ├── s_normRoundPackMToExtF80M.c │ ├── s_normRoundPackMToF128M.c │ ├── s_normRoundPackToExtF80.c │ ├── s_normRoundPackToF128.c │ ├── s_normRoundPackToF16.c │ ├── s_normRoundPackToF32.c │ ├── s_normRoundPackToF64.c │ ├── s_normSubnormalBF16Sig.c │ ├── s_normSubnormalExtF80Sig.c │ ├── s_normSubnormalF128Sig.c │ ├── s_normSubnormalF128SigM.c │ ├── s_normSubnormalF16Sig.c │ ├── s_normSubnormalF32Sig.c │ ├── s_normSubnormalF64Sig.c │ ├── s_remStepMBy32.c │ ├── s_roundMToI64.c │ ├── s_roundMToUI64.c │ ├── s_roundPackMToExtF80M.c │ ├── s_roundPackMToF128M.c │ ├── s_roundPackToBF16.c │ ├── s_roundPackToExtF80.c │ ├── s_roundPackToF128.c │ ├── s_roundPackToF16.c │ ├── s_roundPackToF32.c │ ├── s_roundPackToF64.c │ ├── s_roundToI32.c │ ├── s_roundToI64.c │ ├── s_roundToUI32.c │ ├── s_roundToUI64.c │ ├── s_shiftLeftM.c │ ├── s_shiftNormSigF128M.c │ ├── s_shiftRightJam128.c │ ├── s_shiftRightJam128Extra.c │ ├── s_shiftRightJam256M.c │ ├── s_shiftRightJam32.c │ ├── s_shiftRightJam64.c │ ├── s_shiftRightJam64Extra.c │ ├── s_shiftRightJamM.c │ ├── s_shiftRightM.c │ ├── s_shortShiftLeft128.c │ ├── s_shortShiftLeft64To96M.c │ ├── s_shortShiftLeftM.c │ ├── s_shortShiftRight128.c │ ├── s_shortShiftRightExtendM.c │ ├── s_shortShiftRightJam128.c │ ├── s_shortShiftRightJam128Extra.c │ ├── s_shortShiftRightJam64.c │ ├── s_shortShiftRightJam64Extra.c │ ├── s_shortShiftRightJamM.c │ ├── s_shortShiftRightM.c │ ├── s_sub128.c │ ├── s_sub1XM.c │ ├── s_sub256M.c │ ├── s_subM.c │ ├── s_subMagsExtF80.c │ ├── s_subMagsF128.c │ ├── s_subMagsF16.c │ ├── s_subMagsF32.c │ ├── s_subMagsF64.c │ ├── s_tryPropagateNaNExtF80M.c │ ├── s_tryPropagateNaNF128M.c │ ├── softfloat_state.c │ ├── ui32_to_extF80.c │ ├── ui32_to_extF80M.c │ ├── ui32_to_f128.c │ ├── ui32_to_f128M.c │ ├── ui32_to_f16.c │ ├── ui32_to_f32.c │ ├── ui32_to_f64.c │ ├── ui64_to_extF80.c │ ├── ui64_to_extF80M.c │ ├── ui64_to_f128.c │ ├── ui64_to_f128M.c │ ├── ui64_to_f16.c │ ├── ui64_to_f32.c │ └── ui64_to_f64.c ├── doc ├── AddingExtensions.md ├── ChangeLog.md ├── ExtendingGuide.md ├── README.md ├── ReadingGuide.md ├── VirtualMemory.md └── figs │ ├── Makefile │ ├── Virtual_Memory_API.svg │ ├── riscvcsimdeps.svg │ └── riscvcsimdeps.tex ├── handwritten_support ├── CMakeLists.txt ├── Holmakefile ├── ROOT.in ├── RiscvExtras.lean ├── RiscvExtrasExecutable.lean ├── hgen │ ├── ast.hgen │ ├── fold.hgen │ ├── herdtools_ast_to_shallow_ast.hgen │ ├── herdtools_types_to_shallow_types.hgen │ ├── lexer.hgen │ ├── lexer_regexps.hgen │ ├── map.hgen │ ├── parser.hgen │ ├── pretty.hgen │ ├── pretty_xml.hgen │ ├── sail_trans_out.hgen │ ├── shallow_ast_to_herdtools_ast.hgen │ ├── shallow_types_to_herdtools_types.hgen │ ├── token_types.hgen │ ├── tokens.hgen │ ├── trans_sail.hgen │ ├── types.hgen │ ├── types_sail_trans_out.hgen │ └── types_trans_sail.hgen ├── riscv_extras.lem ├── riscv_extras.v ├── riscv_extras_fdext.lem └── riscv_extras_sequential.lem ├── model ├── CMakeLists.txt ├── README.md ├── core │ ├── addr_checks.sail │ ├── addr_checks_common.sail │ ├── arithmetic.sail │ ├── callbacks.sail │ ├── csr_begin.sail │ ├── ext_regs.sail │ ├── extensions.sail │ ├── flen.sail │ ├── float_classify.sail │ ├── mem_addrtype.sail │ ├── mem_metadata.sail │ ├── misa_ext.sail │ ├── pc_access.sail │ ├── phys_mem_interface.sail │ ├── platform_config.sail │ ├── range_util.sail │ ├── reg_type.sail │ ├── regs.sail │ ├── rvfi_dii.sail │ ├── rvfi_dii_v1.sail │ ├── rvfi_dii_v2.sail │ ├── softfloat_interface.sail │ ├── sys_regs.sail │ ├── types.sail │ ├── types_common.sail │ ├── types_ext.sail │ ├── vlen.sail │ ├── vmem_types.sail │ └── xlen.sail ├── exceptions │ ├── sync_exception.sail │ └── sys_exceptions.sail ├── extensions │ ├── A │ │ ├── aext_types.sail │ │ ├── zaamo_insts.sail │ │ └── zalrsc_insts.sail │ ├── B │ │ ├── bext_types.sail │ │ ├── zba_insts.sail │ │ ├── zbb_insts.sail │ │ ├── zbc_insts.sail │ │ └── zbs_insts.sail │ ├── C │ │ ├── zca_insts.sail │ │ └── zcb_insts.sail │ ├── FD │ │ ├── dext_insts.sail │ │ ├── fdext_control.sail │ │ ├── fdext_regs.sail │ │ ├── fext_insts.sail │ │ ├── freg_type.sail │ │ ├── zcd_insts.sail │ │ ├── zcf_insts.sail │ │ ├── zfa_insts.sail │ │ └── zfh_insts.sail │ ├── H │ │ └── hext_insts.sail │ ├── I │ │ ├── base_insts.sail │ │ ├── base_types.sail │ │ ├── jalr_rmem.sail │ │ ├── jalr_seq.sail │ │ └── reserved_fence_insts.sail │ ├── K │ │ ├── types_kext.sail │ │ ├── zbkb_insts.sail │ │ ├── zbkx_insts.sail │ │ ├── zkn_insts.sail │ │ ├── zkr_control.sail │ │ └── zks_insts.sail │ ├── M │ │ ├── mext_insts.sail │ │ └── mext_types.sail │ ├── Smcntrpmf │ │ └── smcntrpmf.sail │ ├── Sscofpmf │ │ └── sscofpmf.sail │ ├── Sstc │ │ └── sstc.sail │ ├── Svinval │ │ └── svinval_insts.sail │ ├── V │ │ ├── vext_arith_insts.sail │ │ ├── vext_control.sail │ │ ├── vext_fp_insts.sail │ │ ├── vext_fp_red_insts.sail │ │ ├── vext_fp_utils_insts.sail │ │ ├── vext_fp_vm_insts.sail │ │ ├── vext_mask_insts.sail │ │ ├── vext_mem_insts.sail │ │ ├── vext_red_insts.sail │ │ ├── vext_regs.sail │ │ ├── vext_types.sail │ │ ├── vext_utils_insts.sail │ │ ├── vext_vm_insts.sail │ │ ├── vext_vset_insts.sail │ │ └── vreg_type.sail │ ├── Zawrs │ │ ├── zawrs_insts.sail │ │ └── zawrs_types.sail │ ├── Zicbom │ │ ├── zicbom_insts.sail │ │ └── zicbom_types.sail │ ├── Zicbop │ │ ├── zicbop_insts.sail │ │ └── zicbop_types.sail │ ├── Zicboz │ │ └── zicboz_insts.sail │ ├── Zicntr │ │ └── zicntr_control.sail │ ├── Zicond │ │ ├── zicond_insts.sail │ │ └── zicond_types.sail │ ├── Zicsr │ │ ├── zicsr_insts.sail │ │ └── zicsr_types.sail │ ├── Zifenci │ │ └── zifencei_insts.sail │ ├── Zihintntl │ │ ├── zihintntl_insts.sail │ │ └── zihintntl_types.sail │ ├── Zihintpause │ │ └── zihintpause_insts.sail │ ├── Zihpm │ │ └── zihpm.sail │ ├── bfloat16 │ │ ├── zfbfmin_insts.sail │ │ ├── zfbfmin_utils.sail │ │ ├── zvfbfmin_insts.sail │ │ └── zvfbfwma_insts.sail │ ├── cfi │ │ ├── cfi_types.sail │ │ ├── zicfilp_insts.sail │ │ └── zicfilp_regs.sail │ ├── rmem │ │ └── insts_rmem.sail │ └── vector_crypto │ │ ├── zvbb_insts.sail │ │ ├── zvbc_insts.sail │ │ ├── zvk_utils.sail │ │ ├── zvkg_insts.sail │ │ ├── zvkned_insts.sail │ │ ├── zvknhab_insts.sail │ │ ├── zvksed_insts.sail │ │ └── zvksh_insts.sail ├── main │ └── main.sail ├── mops │ ├── Zcmop │ │ └── zcmop_insts.sail │ └── Zimop │ │ └── zimop_insts.sail ├── pmp │ ├── pmp_control.sail │ └── pmp_regs.sail ├── postlude │ ├── csr_end.sail │ ├── decode_ext.sail │ ├── device_tree.sail │ ├── fetch.sail │ ├── fetch_rvfi.sail │ ├── insts_end.sail │ ├── model.sail │ ├── step.sail │ ├── step_common.sail │ ├── step_ext.sail │ └── validate_config.sail ├── prelude │ ├── errors.sail │ └── prelude.sail ├── riscv.sail_project ├── sys │ ├── insts_begin.sail │ ├── mem.sail │ ├── platform.sail │ ├── pma.sail │ ├── sys_control.sail │ ├── sys_reservation.sail │ ├── vmem.sail │ ├── vmem_pte.sail │ ├── vmem_ptw.sail │ ├── vmem_tlb.sail │ └── vmem_utils.sail ├── termination │ └── termination.sail └── unit_tests │ └── test_mstatus.sail ├── os-boot ├── README.md └── linux │ ├── .gitignore │ ├── Makefile │ ├── gcc.url │ ├── linux.url │ └── opensbi.url ├── sail_runtime └── CMakeLists.txt └── test ├── .gitignore ├── CMakeLists.txt ├── README.md ├── first_party ├── CMakeLists.txt └── src │ ├── common │ ├── crt0.S │ ├── encoding.h │ ├── link.ld │ ├── nanoprintf.c │ ├── nanoprintf.h │ ├── runtime.c │ └── runtime.h │ ├── test_hello_world.c │ ├── test_max_pmp.c │ ├── test_minstret.S │ └── test_pmp_access.c └── unit_tests ├── CMakeLists.txt ├── README.md └── main_unit_tests.cpp /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/.clang-format -------------------------------------------------------------------------------- /.codespellrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/.codespellrc -------------------------------------------------------------------------------- /.github/actions/sail-setup/action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/.github/actions/sail-setup/action.yml -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/compile-lean.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/.github/workflows/compile-lean.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/rocq.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/.github/workflows/rocq.yml -------------------------------------------------------------------------------- /.github/workflows/run-full-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/.github/workflows/run-full-tests.yml -------------------------------------------------------------------------------- /.github/workflows/test-results.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/.github/workflows/test-results.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/.gitignore -------------------------------------------------------------------------------- /.markdown-link-check.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/.markdown-link-check.config -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /CODE_STYLE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/CODE_STYLE.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/LICENCE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/README.md -------------------------------------------------------------------------------- /c_emulator/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/CMakeLists.txt -------------------------------------------------------------------------------- /c_emulator/config_schema.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/config_schema.h.in -------------------------------------------------------------------------------- /c_emulator/config_utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/config_utils.cpp -------------------------------------------------------------------------------- /c_emulator/config_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/config_utils.h -------------------------------------------------------------------------------- /c_emulator/elf_loader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/elf_loader.cpp -------------------------------------------------------------------------------- /c_emulator/elf_loader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/elf_loader.h -------------------------------------------------------------------------------- /c_emulator/generate_schema_include.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/generate_schema_include.cmake -------------------------------------------------------------------------------- /c_emulator/riscv_callbacks.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_callbacks.cpp -------------------------------------------------------------------------------- /c_emulator/riscv_callbacks.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_callbacks.h -------------------------------------------------------------------------------- /c_emulator/riscv_callbacks_if.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_callbacks_if.h -------------------------------------------------------------------------------- /c_emulator/riscv_callbacks_log.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_callbacks_log.cpp -------------------------------------------------------------------------------- /c_emulator/riscv_callbacks_log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_callbacks_log.h -------------------------------------------------------------------------------- /c_emulator/riscv_callbacks_rvfi.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_callbacks_rvfi.cpp -------------------------------------------------------------------------------- /c_emulator/riscv_callbacks_rvfi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_callbacks_rvfi.h -------------------------------------------------------------------------------- /c_emulator/riscv_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_config.h -------------------------------------------------------------------------------- /c_emulator/riscv_platform.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_platform.cpp -------------------------------------------------------------------------------- /c_emulator/riscv_platform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_platform.h -------------------------------------------------------------------------------- /c_emulator/riscv_platform_impl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_platform_impl.cpp -------------------------------------------------------------------------------- /c_emulator/riscv_platform_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_platform_impl.h -------------------------------------------------------------------------------- /c_emulator/riscv_prelude.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_prelude.cpp -------------------------------------------------------------------------------- /c_emulator/riscv_prelude.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_prelude.h -------------------------------------------------------------------------------- /c_emulator/riscv_sail.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_sail.h -------------------------------------------------------------------------------- /c_emulator/riscv_sim.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_sim.cpp -------------------------------------------------------------------------------- /c_emulator/riscv_softfloat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_softfloat.cpp -------------------------------------------------------------------------------- /c_emulator/riscv_softfloat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/riscv_softfloat.h -------------------------------------------------------------------------------- /c_emulator/rvfi_dii.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/rvfi_dii.cpp -------------------------------------------------------------------------------- /c_emulator/rvfi_dii.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/rvfi_dii.h -------------------------------------------------------------------------------- /c_emulator/sail_riscv_version.cpp.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/sail_riscv_version.cpp.in -------------------------------------------------------------------------------- /c_emulator/sail_riscv_version.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/sail_riscv_version.h -------------------------------------------------------------------------------- /c_emulator/symbol_table.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/symbol_table.cpp -------------------------------------------------------------------------------- /c_emulator/symbol_table.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/c_emulator/symbol_table.h -------------------------------------------------------------------------------- /cmake/modules/FindGMP.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/cmake/modules/FindGMP.cmake -------------------------------------------------------------------------------- /cmake/packaging.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/cmake/packaging.cmake -------------------------------------------------------------------------------- /cmake/project_version.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/cmake/project_version.cmake -------------------------------------------------------------------------------- /config/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/config/CMakeLists.txt -------------------------------------------------------------------------------- /config/config.json.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/config/config.json.in -------------------------------------------------------------------------------- /config/default_config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/config/default_config.h.in -------------------------------------------------------------------------------- /coq-sail-riscv.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/coq-sail-riscv.opam -------------------------------------------------------------------------------- /dependencies/.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/.clang-format -------------------------------------------------------------------------------- /dependencies/CLI11/CLI11.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/CLI11/CLI11.hpp -------------------------------------------------------------------------------- /dependencies/CLI11/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/CLI11/CMakeLists.txt -------------------------------------------------------------------------------- /dependencies/CLI11/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/CLI11/LICENSE -------------------------------------------------------------------------------- /dependencies/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/CMakeLists.txt -------------------------------------------------------------------------------- /dependencies/elfio/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/CMakeLists.txt -------------------------------------------------------------------------------- /dependencies/elfio/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/LICENSE.txt -------------------------------------------------------------------------------- /dependencies/elfio/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/README.md -------------------------------------------------------------------------------- /dependencies/elfio/cmake/elfioConfig.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/cmake/elfioConfig.cmake.in -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elf_types.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elf_types.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_array.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio_array.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_dump.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio_dump.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_dynamic.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio_dynamic.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_header.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio_header.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_modinfo.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio_modinfo.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_note.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio_note.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_relocation.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio_relocation.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_section.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio_section.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_segment.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio_segment.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_strings.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio_strings.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_symbols.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio_symbols.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio_utils.hpp -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_version.hpp: -------------------------------------------------------------------------------- 1 | #define ELFIO_VERSION "3.12" 2 | -------------------------------------------------------------------------------- /dependencies/elfio/elfio/elfio_versym.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/elfio/elfio/elfio_versym.hpp -------------------------------------------------------------------------------- /dependencies/jsoncons/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/jsoncons/CMakeLists.txt -------------------------------------------------------------------------------- /dependencies/jsoncons/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/jsoncons/LICENSE -------------------------------------------------------------------------------- /dependencies/softfloat/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/CMakeLists.txt -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/.gitignore -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/COPYING.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/COPYING.txt -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/README.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/README.html -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/README.md -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/README.txt -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Linux-386-GCC/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Linux-386-GCC/Makefile -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Linux-386-GCC/platform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Linux-386-GCC/platform.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Linux-386-SSE2-GCC/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Linux-386-SSE2-GCC/Makefile -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Linux-386-SSE2-GCC/platform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Linux-386-SSE2-GCC/platform.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Linux-ARM-VFPv2-GCC/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Linux-ARM-VFPv2-GCC/Makefile -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Linux-ARM-VFPv2-GCC/platform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Linux-ARM-VFPv2-GCC/platform.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Linux-RISCV64-GCC/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Linux-RISCV64-GCC/Makefile -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Linux-RISCV64-GCC/platform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Linux-RISCV64-GCC/platform.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Linux-x86_64-GCC/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Linux-x86_64-GCC/Makefile -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Linux-x86_64-GCC/platform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Linux-x86_64-GCC/platform.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Win32-MinGW/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Win32-MinGW/Makefile -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Win32-MinGW/platform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Win32-MinGW/platform.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Win32-SSE2-MinGW/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Win32-SSE2-MinGW/Makefile -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Win32-SSE2-MinGW/platform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Win32-SSE2-MinGW/platform.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Win64-MinGW-w64/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Win64-MinGW-w64/Makefile -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/Win64-MinGW-w64/platform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/Win64-MinGW-w64/platform.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/template-FAST_INT64/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/template-FAST_INT64/Makefile -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/template-FAST_INT64/platform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/template-FAST_INT64/platform.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/build/template-not-FAST_INT64/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/build/template-not-FAST_INT64/Makefile -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/doc/SoftFloat-history.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/doc/SoftFloat-history.html -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/doc/SoftFloat-source.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/doc/SoftFloat-source.html -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/doc/SoftFloat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/doc/SoftFloat.html -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/f128M_isSignalingNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/f128M_isSignalingNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_bf16UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_bf16UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToBF16UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToBF16UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToExtF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToExtF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToExtF80UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToExtF80UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToF128UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToF128UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToF16UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToF16UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToF32UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToF32UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToF64UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_commonNaNToF64UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_extF80MToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_extF80MToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_extF80UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_extF80UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_f128MToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_f128MToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_f128UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_f128UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_f16UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_f16UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_f32UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_f32UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_f64UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_f64UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_propagateNaNExtF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_propagateNaNExtF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_propagateNaNF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_propagateNaNF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_propagateNaNF128UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_propagateNaNF128UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_propagateNaNF16UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_propagateNaNF16UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_propagateNaNF32UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_propagateNaNF32UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_propagateNaNF64UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/s_propagateNaNF64UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/softfloat_raiseFlags.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/softfloat_raiseFlags.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/specialize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086-SSE/specialize.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/extF80M_isSignalingNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/extF80M_isSignalingNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/f128M_isSignalingNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/f128M_isSignalingNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToExtF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToExtF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToExtF80UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToExtF80UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToF128UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToF128UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToF16UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToF16UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToF32UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToF32UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToF64UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_commonNaNToF64UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_extF80MToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_extF80MToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_extF80UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_extF80UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_f128MToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_f128MToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_f128UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_f128UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_f16UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_f16UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_f32UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_f32UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_f64UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_f64UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNExtF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNExtF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNExtF80UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNExtF80UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNF128UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNF128UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNF16UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNF16UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNF32UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNF32UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNF64UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/s_propagateNaNF64UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/softfloat_raiseFlags.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/softfloat_raiseFlags.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/8086/specialize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/8086/specialize.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/f128M_isSignalingNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/f128M_isSignalingNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_commonNaNToExtF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_commonNaNToExtF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_commonNaNToF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_commonNaNToF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_commonNaNToF128UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_commonNaNToF128UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_commonNaNToF16UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_commonNaNToF16UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_commonNaNToF32UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_commonNaNToF32UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_commonNaNToF64UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_commonNaNToF64UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_extF80MToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_extF80MToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_f128MToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_f128MToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_f128UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_f128UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_f16UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_f16UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_f32UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_f32UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_f64UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_f64UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_propagateNaNF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_propagateNaNF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_propagateNaNF128UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/s_propagateNaNF128UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/specialize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ARM-VFPv2/specialize.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/f128M_isSignalingNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/f128M_isSignalingNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_bf16UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_bf16UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToBF16UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToBF16UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToExtF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToExtF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToExtF80UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToExtF80UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToF128UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToF128UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToF16UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToF16UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToF32UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToF32UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToF64UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_commonNaNToF64UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_extF80MToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_extF80MToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_extF80UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_extF80UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_f128MToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_f128MToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_f128UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_f128UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_f16UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_f16UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_f32UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_f32UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_f64UIToCommonNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_f64UIToCommonNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_propagateNaNExtF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_propagateNaNExtF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_propagateNaNF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_propagateNaNF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_propagateNaNF128UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_propagateNaNF128UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_propagateNaNF16UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_propagateNaNF16UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_propagateNaNF32UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_propagateNaNF32UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_propagateNaNF64UI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/s_propagateNaNF64UI.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/softfloat_raiseFlags.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/softfloat_raiseFlags.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/RISCV/specialize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/RISCV/specialize.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/bf16_isSignalingNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/bf16_isSignalingNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/bf16_to_f32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/bf16_to_f32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_add.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_div.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_div.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_eq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_eq.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_eq_signaling.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_eq_signaling.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_le.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_le.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_le_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_le_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_lt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_lt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_lt_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_lt_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_mul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_mul.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_rem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_rem.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_roundToInt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_roundToInt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_sqrt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_sqrt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_sub.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_f128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_f128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_f16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_f16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_f32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_f32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_f64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_f64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_i32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_i32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_i32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_i32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_i64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_i64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_i64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_i64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_ui32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_ui32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_ui32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_ui32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_ui64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_ui64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_ui64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80M_to_ui64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_add.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_div.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_div.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_eq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_eq.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_eq_signaling.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_eq_signaling.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_isSignalingNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_isSignalingNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_le.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_le.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_le_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_le_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_lt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_lt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_lt_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_lt_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_mul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_mul.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_rem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_rem.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_roundToInt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_roundToInt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_sqrt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_sqrt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_sub.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_f128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_f128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_f16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_f16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_f32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_f32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_f64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_f64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_i32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_i32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_i32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_i32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_i64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_i64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_i64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_i64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_ui32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_ui32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_ui32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_ui32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_ui64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_ui64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_ui64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/extF80_to_ui64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_add.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_div.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_div.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_eq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_eq.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_eq_signaling.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_eq_signaling.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_le.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_le.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_le_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_le_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_lt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_lt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_lt_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_lt_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_mul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_mul.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_mulAdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_mulAdd.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_rem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_rem.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_roundToInt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_roundToInt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_sqrt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_sqrt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_sub.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_extF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_extF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_f16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_f16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_f32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_f32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_f64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_f64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_i32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_i32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_i32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_i32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_i64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_i64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_i64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_i64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_ui32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_ui32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_ui32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_ui32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_ui64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_ui64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_ui64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128M_to_ui64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_add.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_div.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_div.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_eq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_eq.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_eq_signaling.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_eq_signaling.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_isSignalingNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_isSignalingNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_le.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_le.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_le_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_le_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_lt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_lt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_lt_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_lt_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_mul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_mul.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_mulAdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_mulAdd.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_rem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_rem.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_roundToInt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_roundToInt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_sqrt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_sqrt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_sub.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_to_extF80.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_to_extF80.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_to_f16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_to_f16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_to_f32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_to_f32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_to_f64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_to_f64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_to_i32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_to_i32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_to_i32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_to_i32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_to_i64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_to_i64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_to_i64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_to_i64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_to_ui32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_to_ui32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_to_ui32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_to_ui32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_to_ui64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_to_ui64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f128_to_ui64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f128_to_ui64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_add.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_div.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_div.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_eq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_eq.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_eq_signaling.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_eq_signaling.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_isSignalingNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_isSignalingNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_le.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_le.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_le_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_le_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_lt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_lt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_lt_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_lt_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_mul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_mul.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_mulAdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_mulAdd.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_rem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_rem.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_roundToInt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_roundToInt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_sqrt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_sqrt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_sub.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_extF80.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_extF80.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_extF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_extF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_f128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_f128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_f128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_f128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_f32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_f32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_f64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_f64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_i32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_i32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_i32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_i32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_i64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_i64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_i64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_i64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_ui32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_ui32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_ui32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_ui32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_ui64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_ui64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f16_to_ui64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f16_to_ui64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_add.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_div.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_div.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_eq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_eq.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_eq_signaling.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_eq_signaling.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_isSignalingNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_isSignalingNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_le.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_le.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_le_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_le_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_lt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_lt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_lt_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_lt_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_mul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_mul.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_mulAdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_mulAdd.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_rem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_rem.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_roundToInt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_roundToInt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_sqrt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_sqrt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_sub.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_bf16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_bf16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_extF80.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_extF80.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_extF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_extF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_f128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_f128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_f128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_f128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_f16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_f16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_f64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_f64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_i32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_i32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_i32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_i32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_i64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_i64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_i64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_i64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_ui32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_ui32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_ui32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_ui32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_ui64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_ui64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f32_to_ui64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f32_to_ui64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_add.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_div.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_div.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_eq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_eq.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_eq_signaling.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_eq_signaling.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_isSignalingNaN.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_isSignalingNaN.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_le.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_le.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_le_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_le_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_lt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_lt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_lt_quiet.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_lt_quiet.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_mul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_mul.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_mulAdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_mulAdd.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_rem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_rem.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_roundToInt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_roundToInt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_sqrt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_sqrt.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_sub.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_extF80.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_extF80.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_extF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_extF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_f128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_f128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_f128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_f128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_f16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_f16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_f32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_f32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_i32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_i32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_i32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_i32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_i64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_i64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_i64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_i64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_ui32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_ui32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_ui32_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_ui32_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_ui64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_ui64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/f64_to_ui64_r_minMag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/f64_to_ui64_r_minMag.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i32_to_extF80.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i32_to_extF80.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i32_to_extF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i32_to_extF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i32_to_f128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i32_to_f128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i32_to_f128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i32_to_f128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i32_to_f16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i32_to_f16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i32_to_f32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i32_to_f32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i32_to_f64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i32_to_f64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i64_to_extF80.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i64_to_extF80.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i64_to_extF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i64_to_extF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i64_to_f128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i64_to_f128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i64_to_f128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i64_to_f128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i64_to_f16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i64_to_f16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i64_to_f32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i64_to_f32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/i64_to_f64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/i64_to_f64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/include/internals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/include/internals.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/include/opts-GCC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/include/opts-GCC.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/include/primitiveTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/include/primitiveTypes.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/include/primitives.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/include/primitives.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/include/softfloat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/include/softfloat.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/include/softfloat_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/include/softfloat_types.h -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_add128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_add128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_add256M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_add256M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_addCarryM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_addCarryM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_addComplCarryM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_addComplCarryM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_addExtF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_addExtF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_addF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_addF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_addM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_addM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_addMagsExtF80.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_addMagsExtF80.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_addMagsF128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_addMagsF128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_addMagsF16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_addMagsF16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_addMagsF32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_addMagsF32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_addMagsF64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_addMagsF64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_approxRecip32_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_approxRecip32_1.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_approxRecipSqrt32_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_approxRecipSqrt32_1.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_approxRecipSqrt_1Ks.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_approxRecipSqrt_1Ks.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_approxRecip_1Ks.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_approxRecip_1Ks.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_compare128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_compare128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_compare96M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_compare96M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_compareNonnormExtF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_compareNonnormExtF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_countLeadingZeros16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_countLeadingZeros16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_countLeadingZeros32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_countLeadingZeros32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_countLeadingZeros64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_countLeadingZeros64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_countLeadingZeros8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_countLeadingZeros8.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_eq128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_eq128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_invalidExtF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_invalidExtF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_invalidF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_invalidF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_isNaNF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_isNaNF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_le128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_le128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_lt128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_lt128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_mul128By32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_mul128By32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_mul128MTo256M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_mul128MTo256M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_mul128To256M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_mul128To256M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_mul64ByShifted32To128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_mul64ByShifted32To128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_mul64To128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_mul64To128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_mul64To128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_mul64To128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_mulAddF128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_mulAddF128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_mulAddF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_mulAddF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_mulAddF16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_mulAddF16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_mulAddF32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_mulAddF32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_mulAddF64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_mulAddF64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_negXM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_negXM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normExtF80SigM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normExtF80SigM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackMToExtF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackMToExtF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackMToF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackMToF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackToExtF80.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackToExtF80.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackToF128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackToF128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackToF16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackToF16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackToF32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackToF32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackToF64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normRoundPackToF64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalBF16Sig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalBF16Sig.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalExtF80Sig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalExtF80Sig.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalF128Sig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalF128Sig.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalF128SigM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalF128SigM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalF16Sig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalF16Sig.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalF32Sig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalF32Sig.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalF64Sig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_normSubnormalF64Sig.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_remStepMBy32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_remStepMBy32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundMToI64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundMToI64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundMToUI64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundMToUI64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackMToExtF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackMToExtF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackMToF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackMToF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackToBF16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackToBF16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackToExtF80.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackToExtF80.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackToF128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackToF128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackToF16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackToF16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackToF32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackToF32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackToF64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundPackToF64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundToI32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundToI32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundToI64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundToI64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundToUI32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundToUI32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_roundToUI64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_roundToUI64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shiftLeftM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shiftLeftM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shiftNormSigF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shiftNormSigF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJam128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJam128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJam128Extra.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJam128Extra.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJam256M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJam256M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJam32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJam32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJam64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJam64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJam64Extra.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJam64Extra.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJamM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightJamM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shiftRightM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftLeft128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftLeft128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftLeft64To96M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftLeft64To96M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftLeftM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftLeftM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRight128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRight128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRightExtendM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRightExtendM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRightJam128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRightJam128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRightJam64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRightJam64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRightJam64Extra.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRightJam64Extra.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRightJamM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRightJamM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRightM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_shortShiftRightM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_sub128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_sub128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_sub1XM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_sub1XM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_sub256M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_sub256M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_subM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_subM.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_subMagsExtF80.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_subMagsExtF80.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_subMagsF128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_subMagsF128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_subMagsF16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_subMagsF16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_subMagsF32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_subMagsF32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_subMagsF64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_subMagsF64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_tryPropagateNaNExtF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_tryPropagateNaNExtF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/s_tryPropagateNaNF128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/s_tryPropagateNaNF128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/softfloat_state.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/softfloat_state.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_extF80.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_extF80.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_extF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_extF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_f128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_f128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_f128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_f128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_f16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_f16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_f32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_f32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_f64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui32_to_f64.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_extF80.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_extF80.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_extF80M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_extF80M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_f128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_f128.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_f128M.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_f128M.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_f16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_f16.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_f32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_f32.c -------------------------------------------------------------------------------- /dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_f64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/dependencies/softfloat/berkeley-softfloat-3/source/ui64_to_f64.c -------------------------------------------------------------------------------- /doc/AddingExtensions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/doc/AddingExtensions.md -------------------------------------------------------------------------------- /doc/ChangeLog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/doc/ChangeLog.md -------------------------------------------------------------------------------- /doc/ExtendingGuide.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/doc/ExtendingGuide.md -------------------------------------------------------------------------------- /doc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/doc/README.md -------------------------------------------------------------------------------- /doc/ReadingGuide.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/doc/ReadingGuide.md -------------------------------------------------------------------------------- /doc/VirtualMemory.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/doc/VirtualMemory.md -------------------------------------------------------------------------------- /doc/figs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/doc/figs/Makefile -------------------------------------------------------------------------------- /doc/figs/Virtual_Memory_API.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/doc/figs/Virtual_Memory_API.svg -------------------------------------------------------------------------------- /doc/figs/riscvcsimdeps.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/doc/figs/riscvcsimdeps.svg -------------------------------------------------------------------------------- /doc/figs/riscvcsimdeps.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/doc/figs/riscvcsimdeps.tex -------------------------------------------------------------------------------- /handwritten_support/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/CMakeLists.txt -------------------------------------------------------------------------------- /handwritten_support/Holmakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/Holmakefile -------------------------------------------------------------------------------- /handwritten_support/ROOT.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/ROOT.in -------------------------------------------------------------------------------- /handwritten_support/RiscvExtras.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/RiscvExtras.lean -------------------------------------------------------------------------------- /handwritten_support/RiscvExtrasExecutable.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/RiscvExtrasExecutable.lean -------------------------------------------------------------------------------- /handwritten_support/hgen/ast.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/ast.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/fold.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/fold.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/herdtools_ast_to_shallow_ast.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/herdtools_ast_to_shallow_ast.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/herdtools_types_to_shallow_types.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/herdtools_types_to_shallow_types.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/lexer.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/lexer.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/lexer_regexps.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/lexer_regexps.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/map.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/map.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/parser.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/parser.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/pretty.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/pretty.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/pretty_xml.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/pretty_xml.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/sail_trans_out.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/sail_trans_out.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/shallow_ast_to_herdtools_ast.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/shallow_ast_to_herdtools_ast.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/shallow_types_to_herdtools_types.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/shallow_types_to_herdtools_types.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/token_types.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/token_types.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/tokens.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/tokens.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/trans_sail.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/trans_sail.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/types.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/types.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/types_sail_trans_out.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/types_sail_trans_out.hgen -------------------------------------------------------------------------------- /handwritten_support/hgen/types_trans_sail.hgen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/hgen/types_trans_sail.hgen -------------------------------------------------------------------------------- /handwritten_support/riscv_extras.lem: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/riscv_extras.lem -------------------------------------------------------------------------------- /handwritten_support/riscv_extras.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/riscv_extras.v -------------------------------------------------------------------------------- /handwritten_support/riscv_extras_fdext.lem: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/riscv_extras_fdext.lem -------------------------------------------------------------------------------- /handwritten_support/riscv_extras_sequential.lem: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/handwritten_support/riscv_extras_sequential.lem -------------------------------------------------------------------------------- /model/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/CMakeLists.txt -------------------------------------------------------------------------------- /model/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/README.md -------------------------------------------------------------------------------- /model/core/addr_checks.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/addr_checks.sail -------------------------------------------------------------------------------- /model/core/addr_checks_common.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/addr_checks_common.sail -------------------------------------------------------------------------------- /model/core/arithmetic.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/arithmetic.sail -------------------------------------------------------------------------------- /model/core/callbacks.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/callbacks.sail -------------------------------------------------------------------------------- /model/core/csr_begin.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/csr_begin.sail -------------------------------------------------------------------------------- /model/core/ext_regs.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/ext_regs.sail -------------------------------------------------------------------------------- /model/core/extensions.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/extensions.sail -------------------------------------------------------------------------------- /model/core/flen.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/flen.sail -------------------------------------------------------------------------------- /model/core/float_classify.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/float_classify.sail -------------------------------------------------------------------------------- /model/core/mem_addrtype.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/mem_addrtype.sail -------------------------------------------------------------------------------- /model/core/mem_metadata.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/mem_metadata.sail -------------------------------------------------------------------------------- /model/core/misa_ext.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/misa_ext.sail -------------------------------------------------------------------------------- /model/core/pc_access.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/pc_access.sail -------------------------------------------------------------------------------- /model/core/phys_mem_interface.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/phys_mem_interface.sail -------------------------------------------------------------------------------- /model/core/platform_config.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/platform_config.sail -------------------------------------------------------------------------------- /model/core/range_util.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/range_util.sail -------------------------------------------------------------------------------- /model/core/reg_type.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/reg_type.sail -------------------------------------------------------------------------------- /model/core/regs.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/regs.sail -------------------------------------------------------------------------------- /model/core/rvfi_dii.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/rvfi_dii.sail -------------------------------------------------------------------------------- /model/core/rvfi_dii_v1.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/rvfi_dii_v1.sail -------------------------------------------------------------------------------- /model/core/rvfi_dii_v2.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/rvfi_dii_v2.sail -------------------------------------------------------------------------------- /model/core/softfloat_interface.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/softfloat_interface.sail -------------------------------------------------------------------------------- /model/core/sys_regs.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/sys_regs.sail -------------------------------------------------------------------------------- /model/core/types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/types.sail -------------------------------------------------------------------------------- /model/core/types_common.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/types_common.sail -------------------------------------------------------------------------------- /model/core/types_ext.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/types_ext.sail -------------------------------------------------------------------------------- /model/core/vlen.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/vlen.sail -------------------------------------------------------------------------------- /model/core/vmem_types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/vmem_types.sail -------------------------------------------------------------------------------- /model/core/xlen.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/core/xlen.sail -------------------------------------------------------------------------------- /model/exceptions/sync_exception.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/exceptions/sync_exception.sail -------------------------------------------------------------------------------- /model/exceptions/sys_exceptions.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/exceptions/sys_exceptions.sail -------------------------------------------------------------------------------- /model/extensions/A/aext_types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/A/aext_types.sail -------------------------------------------------------------------------------- /model/extensions/A/zaamo_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/A/zaamo_insts.sail -------------------------------------------------------------------------------- /model/extensions/A/zalrsc_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/A/zalrsc_insts.sail -------------------------------------------------------------------------------- /model/extensions/B/bext_types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/B/bext_types.sail -------------------------------------------------------------------------------- /model/extensions/B/zba_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/B/zba_insts.sail -------------------------------------------------------------------------------- /model/extensions/B/zbb_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/B/zbb_insts.sail -------------------------------------------------------------------------------- /model/extensions/B/zbc_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/B/zbc_insts.sail -------------------------------------------------------------------------------- /model/extensions/B/zbs_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/B/zbs_insts.sail -------------------------------------------------------------------------------- /model/extensions/C/zca_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/C/zca_insts.sail -------------------------------------------------------------------------------- /model/extensions/C/zcb_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/C/zcb_insts.sail -------------------------------------------------------------------------------- /model/extensions/FD/dext_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/FD/dext_insts.sail -------------------------------------------------------------------------------- /model/extensions/FD/fdext_control.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/FD/fdext_control.sail -------------------------------------------------------------------------------- /model/extensions/FD/fdext_regs.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/FD/fdext_regs.sail -------------------------------------------------------------------------------- /model/extensions/FD/fext_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/FD/fext_insts.sail -------------------------------------------------------------------------------- /model/extensions/FD/freg_type.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/FD/freg_type.sail -------------------------------------------------------------------------------- /model/extensions/FD/zcd_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/FD/zcd_insts.sail -------------------------------------------------------------------------------- /model/extensions/FD/zcf_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/FD/zcf_insts.sail -------------------------------------------------------------------------------- /model/extensions/FD/zfa_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/FD/zfa_insts.sail -------------------------------------------------------------------------------- /model/extensions/FD/zfh_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/FD/zfh_insts.sail -------------------------------------------------------------------------------- /model/extensions/H/hext_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/H/hext_insts.sail -------------------------------------------------------------------------------- /model/extensions/I/base_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/I/base_insts.sail -------------------------------------------------------------------------------- /model/extensions/I/base_types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/I/base_types.sail -------------------------------------------------------------------------------- /model/extensions/I/jalr_rmem.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/I/jalr_rmem.sail -------------------------------------------------------------------------------- /model/extensions/I/jalr_seq.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/I/jalr_seq.sail -------------------------------------------------------------------------------- /model/extensions/I/reserved_fence_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/I/reserved_fence_insts.sail -------------------------------------------------------------------------------- /model/extensions/K/types_kext.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/K/types_kext.sail -------------------------------------------------------------------------------- /model/extensions/K/zbkb_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/K/zbkb_insts.sail -------------------------------------------------------------------------------- /model/extensions/K/zbkx_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/K/zbkx_insts.sail -------------------------------------------------------------------------------- /model/extensions/K/zkn_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/K/zkn_insts.sail -------------------------------------------------------------------------------- /model/extensions/K/zkr_control.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/K/zkr_control.sail -------------------------------------------------------------------------------- /model/extensions/K/zks_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/K/zks_insts.sail -------------------------------------------------------------------------------- /model/extensions/M/mext_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/M/mext_insts.sail -------------------------------------------------------------------------------- /model/extensions/M/mext_types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/M/mext_types.sail -------------------------------------------------------------------------------- /model/extensions/Smcntrpmf/smcntrpmf.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Smcntrpmf/smcntrpmf.sail -------------------------------------------------------------------------------- /model/extensions/Sscofpmf/sscofpmf.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Sscofpmf/sscofpmf.sail -------------------------------------------------------------------------------- /model/extensions/Sstc/sstc.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Sstc/sstc.sail -------------------------------------------------------------------------------- /model/extensions/Svinval/svinval_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Svinval/svinval_insts.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_arith_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_arith_insts.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_control.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_control.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_fp_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_fp_insts.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_fp_red_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_fp_red_insts.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_fp_utils_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_fp_utils_insts.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_fp_vm_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_fp_vm_insts.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_mask_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_mask_insts.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_mem_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_mem_insts.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_red_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_red_insts.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_regs.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_regs.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_types.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_utils_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_utils_insts.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_vm_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_vm_insts.sail -------------------------------------------------------------------------------- /model/extensions/V/vext_vset_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vext_vset_insts.sail -------------------------------------------------------------------------------- /model/extensions/V/vreg_type.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/V/vreg_type.sail -------------------------------------------------------------------------------- /model/extensions/Zawrs/zawrs_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zawrs/zawrs_insts.sail -------------------------------------------------------------------------------- /model/extensions/Zawrs/zawrs_types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zawrs/zawrs_types.sail -------------------------------------------------------------------------------- /model/extensions/Zicbom/zicbom_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zicbom/zicbom_insts.sail -------------------------------------------------------------------------------- /model/extensions/Zicbom/zicbom_types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zicbom/zicbom_types.sail -------------------------------------------------------------------------------- /model/extensions/Zicbop/zicbop_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zicbop/zicbop_insts.sail -------------------------------------------------------------------------------- /model/extensions/Zicbop/zicbop_types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zicbop/zicbop_types.sail -------------------------------------------------------------------------------- /model/extensions/Zicboz/zicboz_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zicboz/zicboz_insts.sail -------------------------------------------------------------------------------- /model/extensions/Zicntr/zicntr_control.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zicntr/zicntr_control.sail -------------------------------------------------------------------------------- /model/extensions/Zicond/zicond_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zicond/zicond_insts.sail -------------------------------------------------------------------------------- /model/extensions/Zicond/zicond_types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zicond/zicond_types.sail -------------------------------------------------------------------------------- /model/extensions/Zicsr/zicsr_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zicsr/zicsr_insts.sail -------------------------------------------------------------------------------- /model/extensions/Zicsr/zicsr_types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zicsr/zicsr_types.sail -------------------------------------------------------------------------------- /model/extensions/Zifenci/zifencei_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zifenci/zifencei_insts.sail -------------------------------------------------------------------------------- /model/extensions/Zihintntl/zihintntl_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zihintntl/zihintntl_insts.sail -------------------------------------------------------------------------------- /model/extensions/Zihintntl/zihintntl_types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zihintntl/zihintntl_types.sail -------------------------------------------------------------------------------- /model/extensions/Zihintpause/zihintpause_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zihintpause/zihintpause_insts.sail -------------------------------------------------------------------------------- /model/extensions/Zihpm/zihpm.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/Zihpm/zihpm.sail -------------------------------------------------------------------------------- /model/extensions/bfloat16/zfbfmin_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/bfloat16/zfbfmin_insts.sail -------------------------------------------------------------------------------- /model/extensions/bfloat16/zfbfmin_utils.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/bfloat16/zfbfmin_utils.sail -------------------------------------------------------------------------------- /model/extensions/bfloat16/zvfbfmin_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/bfloat16/zvfbfmin_insts.sail -------------------------------------------------------------------------------- /model/extensions/bfloat16/zvfbfwma_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/bfloat16/zvfbfwma_insts.sail -------------------------------------------------------------------------------- /model/extensions/cfi/cfi_types.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/cfi/cfi_types.sail -------------------------------------------------------------------------------- /model/extensions/cfi/zicfilp_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/cfi/zicfilp_insts.sail -------------------------------------------------------------------------------- /model/extensions/cfi/zicfilp_regs.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/cfi/zicfilp_regs.sail -------------------------------------------------------------------------------- /model/extensions/rmem/insts_rmem.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/rmem/insts_rmem.sail -------------------------------------------------------------------------------- /model/extensions/vector_crypto/zvbb_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/vector_crypto/zvbb_insts.sail -------------------------------------------------------------------------------- /model/extensions/vector_crypto/zvbc_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/vector_crypto/zvbc_insts.sail -------------------------------------------------------------------------------- /model/extensions/vector_crypto/zvk_utils.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/vector_crypto/zvk_utils.sail -------------------------------------------------------------------------------- /model/extensions/vector_crypto/zvkg_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/vector_crypto/zvkg_insts.sail -------------------------------------------------------------------------------- /model/extensions/vector_crypto/zvkned_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/vector_crypto/zvkned_insts.sail -------------------------------------------------------------------------------- /model/extensions/vector_crypto/zvknhab_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/vector_crypto/zvknhab_insts.sail -------------------------------------------------------------------------------- /model/extensions/vector_crypto/zvksed_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/vector_crypto/zvksed_insts.sail -------------------------------------------------------------------------------- /model/extensions/vector_crypto/zvksh_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/extensions/vector_crypto/zvksh_insts.sail -------------------------------------------------------------------------------- /model/main/main.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/main/main.sail -------------------------------------------------------------------------------- /model/mops/Zcmop/zcmop_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/mops/Zcmop/zcmop_insts.sail -------------------------------------------------------------------------------- /model/mops/Zimop/zimop_insts.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/mops/Zimop/zimop_insts.sail -------------------------------------------------------------------------------- /model/pmp/pmp_control.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/pmp/pmp_control.sail -------------------------------------------------------------------------------- /model/pmp/pmp_regs.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/pmp/pmp_regs.sail -------------------------------------------------------------------------------- /model/postlude/csr_end.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/postlude/csr_end.sail -------------------------------------------------------------------------------- /model/postlude/decode_ext.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/postlude/decode_ext.sail -------------------------------------------------------------------------------- /model/postlude/device_tree.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/postlude/device_tree.sail -------------------------------------------------------------------------------- /model/postlude/fetch.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/postlude/fetch.sail -------------------------------------------------------------------------------- /model/postlude/fetch_rvfi.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/postlude/fetch_rvfi.sail -------------------------------------------------------------------------------- /model/postlude/insts_end.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/postlude/insts_end.sail -------------------------------------------------------------------------------- /model/postlude/model.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/postlude/model.sail -------------------------------------------------------------------------------- /model/postlude/step.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/postlude/step.sail -------------------------------------------------------------------------------- /model/postlude/step_common.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/postlude/step_common.sail -------------------------------------------------------------------------------- /model/postlude/step_ext.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/postlude/step_ext.sail -------------------------------------------------------------------------------- /model/postlude/validate_config.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/postlude/validate_config.sail -------------------------------------------------------------------------------- /model/prelude/errors.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/prelude/errors.sail -------------------------------------------------------------------------------- /model/prelude/prelude.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/prelude/prelude.sail -------------------------------------------------------------------------------- /model/riscv.sail_project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/riscv.sail_project -------------------------------------------------------------------------------- /model/sys/insts_begin.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/sys/insts_begin.sail -------------------------------------------------------------------------------- /model/sys/mem.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/sys/mem.sail -------------------------------------------------------------------------------- /model/sys/platform.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/sys/platform.sail -------------------------------------------------------------------------------- /model/sys/pma.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/sys/pma.sail -------------------------------------------------------------------------------- /model/sys/sys_control.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/sys/sys_control.sail -------------------------------------------------------------------------------- /model/sys/sys_reservation.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/sys/sys_reservation.sail -------------------------------------------------------------------------------- /model/sys/vmem.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/sys/vmem.sail -------------------------------------------------------------------------------- /model/sys/vmem_pte.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/sys/vmem_pte.sail -------------------------------------------------------------------------------- /model/sys/vmem_ptw.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/sys/vmem_ptw.sail -------------------------------------------------------------------------------- /model/sys/vmem_tlb.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/sys/vmem_tlb.sail -------------------------------------------------------------------------------- /model/sys/vmem_utils.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/sys/vmem_utils.sail -------------------------------------------------------------------------------- /model/termination/termination.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/termination/termination.sail -------------------------------------------------------------------------------- /model/unit_tests/test_mstatus.sail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/model/unit_tests/test_mstatus.sail -------------------------------------------------------------------------------- /os-boot/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/os-boot/README.md -------------------------------------------------------------------------------- /os-boot/linux/.gitignore: -------------------------------------------------------------------------------- 1 | /build 2 | /downloads 3 | -------------------------------------------------------------------------------- /os-boot/linux/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/os-boot/linux/Makefile -------------------------------------------------------------------------------- /os-boot/linux/gcc.url: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/os-boot/linux/gcc.url -------------------------------------------------------------------------------- /os-boot/linux/linux.url: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/os-boot/linux/linux.url -------------------------------------------------------------------------------- /os-boot/linux/opensbi.url: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/os-boot/linux/opensbi.url -------------------------------------------------------------------------------- /sail_runtime/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/sail_runtime/CMakeLists.txt -------------------------------------------------------------------------------- /test/.gitignore: -------------------------------------------------------------------------------- 1 | /tests.xml 2 | -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/README.md -------------------------------------------------------------------------------- /test/first_party/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/first_party/CMakeLists.txt -------------------------------------------------------------------------------- /test/first_party/src/common/crt0.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/first_party/src/common/crt0.S -------------------------------------------------------------------------------- /test/first_party/src/common/encoding.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/first_party/src/common/encoding.h -------------------------------------------------------------------------------- /test/first_party/src/common/link.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/first_party/src/common/link.ld -------------------------------------------------------------------------------- /test/first_party/src/common/nanoprintf.c: -------------------------------------------------------------------------------- 1 | #define NANOPRINTF_IMPLEMENTATION 2 | #include "nanoprintf.h" 3 | -------------------------------------------------------------------------------- /test/first_party/src/common/nanoprintf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/first_party/src/common/nanoprintf.h -------------------------------------------------------------------------------- /test/first_party/src/common/runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/first_party/src/common/runtime.c -------------------------------------------------------------------------------- /test/first_party/src/common/runtime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/first_party/src/common/runtime.h -------------------------------------------------------------------------------- /test/first_party/src/test_hello_world.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/first_party/src/test_hello_world.c -------------------------------------------------------------------------------- /test/first_party/src/test_max_pmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/first_party/src/test_max_pmp.c -------------------------------------------------------------------------------- /test/first_party/src/test_minstret.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/first_party/src/test_minstret.S -------------------------------------------------------------------------------- /test/first_party/src/test_pmp_access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/first_party/src/test_pmp_access.c -------------------------------------------------------------------------------- /test/unit_tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/unit_tests/CMakeLists.txt -------------------------------------------------------------------------------- /test/unit_tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/unit_tests/README.md -------------------------------------------------------------------------------- /test/unit_tests/main_unit_tests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/riscv/sail-riscv/HEAD/test/unit_tests/main_unit_tests.cpp --------------------------------------------------------------------------------