豆腐脑不是豆腐花:伞哥都自己接指令集了,有打算试将 hol 定理证明器前段语言生成 llvm ir 中间语言吗,这样就可以用 llvm 后端的工具链了,不知道是不是可以减少些工作量。

Reply to this note

Please Login to reply.

Discussion

田春冰河

:PolyML 的字节码模式也许以后可以改为 LLVM IR,然后用 LLVM 的 JIT 加速执行吧。但我手搓 RISC-V 应该是最快的道路。