目录-05cd8cd/-HEAD-来源：https://github.com/soarlab/FP泰勒

就诊类型：

提示修订： efbbc83970fe3c9f4cb33fafbbe1050dd18749cd 作者阿列克谢·索洛维耶夫在2021年4月1日06:43:18 UTC
更新README.md

提示修订： efbbc83型

文件	模式	大小
.github文件
间隔
b和b
基准
实验
正式的
js型
脚本
simple_interval（简单间隔）
测验
未使用的
z3opt公司
.gitignore（.git忽略）	-rw-r—r--	408字节
梅林	-rw-r—r--	70字节
变化.md	-rw-r—r--	2.4 KB
许可证	-rw-r—r--	1.1 KB
生成文件	-rw-r—r--	5.0 KB
自述.md	-rw-r—r--	5.4 KB
参考.md	-rw-r—r--	20.9 KB
VM_指令.md	-rw-r—r--	1005字节
二进制浮点数ml	-rw-r—r--	3.0 KB
配置ml	-rw-r—r--	7.5 KB
配置mli	-rw-r—r--	1.2 KB
常量ml	-rw-r—r--	2.9 KB
常量mli	-rw-r—r--	1.5 KB
默认.cfg	-rw-r—r--	8.1 KB
评估ml	-rw-r—r--	6.7 KB
评估mli	-右-右--	1.3 KB
导出.cfg	-rw-r—r--	686字节
导出主.ml	-rw-r—r--	1.9 KB
表达式ml	-rw-r—r--	7.7 KB
expr.mli公司	-rw-r—r--	3.5 KB
出口.ml	-rw-r—r--	28.4 KB
出口.mli	-rw-r—r--	1.5 KB
fptaylor.ml型	-rw-r—r--	26.3 KB
fptaylor.mli公司	-rw-r—r--	1.6 KB
函数.ml	-rw-r—r--	3.1 KB
输入_执行器.mll	-右-右--	3.5 KB
input_parser.mly输入	-rw-r—r--	5.9 KB
输入分析器env.ml	-rw-r—r--	10.9 KB
输入_分析_环境.mli	-rw-r—r--	1.1 KB
图书馆.ml	-rw-r—r--	6.1 KB
库.mli	-rw-r—r--	3.2 KB
对数ml	-rw-r—r--	2.9 KB
对数mli	-rw-r—r--	1.3 KB
main.ml（主ml）	-rw-r—r--	1.3 KB
主_js.ml	-rw-r—r--	5.0 KB
最大ml	-rw-r—r--	2.8 KB
最大mli	-rw-r—r--	1.1 KB
更多（_N）.ml	-rw-r—r--	10.4 KB
更多_数量.mli	-右-右--	1.5 KB
最佳ml	-rw-r—r--	3.3 KB
选项mli	-rw-r—r--	1.1 KB
opt_basic（基本）_bb.ml	-rw-r—r--	6.3 KB
opt _基本_ bb.mli	-rw-r—r--	1007字节
opt_bb_eval.ml	-rw-r—r--	4.4 KB
opt_bb_eval.mli	-rw-r—r--	1007字节
opt通用.ml	-rw-r—r--	2.2 KB
opt通用.mli	-rw-r—r--	1.2 KB
opt_gelpia.ml	-rw-r—r--	3.5 KB
opt_gelpia.mli公司	-rw-r—r--	915字节
opt_nlopt.ml型	-rw-r—r--	4.8 KB
opt_nlopt.mli	-rw-r—r--	907字节
opt_z3.毫升	-rw-r—r--	5.9 KB
optz3.mli	-rw-r—r--	936字节
out_error_bounds.ml	-右-右--	17.9 KB
出错误边界.mli	-rw-r—r--	976字节
输出_ fpcore.ml	-rw-r—r--	9.1 KB
输出_ fpcore.mli	-rw-r—r--	905字节
输出测试.ml	-rw-r—r--	1.7 KB
分析器.ml	-rw-r—r--	2.0 KB
分析器.mli	-rw-r—r--	1.0 KB
圆角.ml	-rw-r—r--	4.8 KB
圆角.mli	-rw-r—r--	1.7 KB
舍入_simp.ml	-rw-r—r--	8.6 KB
舍入_simp.mli	-右-右--	1.1 KB
任务.ml	-rw-r—r--	2.0 KB
任务.mli	-rw-r—r--	1.4 KB
泰勒_form.ml	-rw-r—r--	25.8 KB
泰勒公式mli	-rw-r—r--	1.3 KB
版本.ml	-rw-r—r--	594字节
版本.mli	-rw-r—r--	589字节

https://github.com/soarlab/FP泰勒

自述.md