文件名称：FPBench:浮点精度基准的标准
文件大小：784KB
文件格式：ZIP
更新时间：2024-06-07 17:37:25
Racket
FPBench为浮点研究社区提供基准，编译器和标准。 设置 要使用FPBench工具，安装。 目前不支持Racket 8.0或更高版本（基于Chez Scheme）。 然后，运行make setup来安装依赖项并编译工具。 基准测试 FPBench基准位于FPCore格式的benchmarks/中。 FPBench包含来自四个来源（FPTaylor，Herbie，Salsa和Rosa）的98个基准，涵盖各种应用领域和FPCore功能的完整补充。 编译器 FPBench为FPCore程序开发了两个编译器工具： export.rkt ，其中出口FPCore计算以如C或JavaScript语言和输入格式，像菊花，Gappa和FPTaylor工具。 transform.rkt ，它应用转换FPCore计算，例如拟定前提条件，展开循环或扩展语法糖。 这些工具。 标准品 FPBench标准位于