文件名称:mil-tools:MIL,Monadic中级语言的工具
文件大小:849KB
文件格式:ZIP
更新时间:2024-06-09 11:48:46
Java
MIL,Monadic中级语言的工具 该存储库中的Java代码实现了一套用于使用MIL程序的工具,包括用于从LC或MIL源文件生成MIL,优化MIL代码以及将MIL转换为LLVM的代码。 这些工具主要用于用作Habit的alb编译器的后端。 (请参阅 。)但是,它们也可以独立使用,如下面描述的示例所建议。 可以通过获得有关MIL的更多详细信息的论文。 可从获得mil-tools测试套件的第一个版本。 致谢: 美国国家科学基金会(CNS-1422979)的资助部分支持了2014-2018年间军用工具的研究。 要求: 使用此存储库中的代码需要以下各项: Java开发工具包(版本> = 1.8应该足够了) Apache Ant(版本> = 1.9.2就足够了) LLVM编译器基础结构(版本> = 4.0应该足够) 安装: 首先,我们需要构建mil-tools,并且最简单的方法(