rlibm-32:RLibm用于32位表示形式（float和posit32）

RLIBM-32 RLIBM-32既是为所有输入提供正确舍入结果的数学库，又是用于生成正确多项式的工具。 这些工具背后的技术将出现在PLDI 2021中。当前，RLIBM-32支持许多用于float和posit32表示形式的基本函数。 RLIBM-32支持的浮点函数列表 log（x），log2（x），log10（x） exp（x），exp2（x），exp10（x） sinh（x），cosh（x） sinpi（x），cospi（x） RLIBM-32支持的posit32函数列表 log（x），log2（x），log10（x） exp（x），exp2（x），exp10（x） sinh（x），cosh（x） 如何构建和使用RLIBM-32数学库 先决条件 如果要编译posit32的数学库，则必须安装SoftPosit。 请遵循的说明。 设置 创建一个环境变量SOFTPOSITPATH