ivory

象牙

Ivory 是一种嵌入式领域特定语言 (EDSL)，旨在提供一种系统级编程语言，消除 C 语言编程的一些常见陷阱，同时又不牺牲表达能力。

该存储库包括用户指南和一些 Ivory 程序示例。更多信息和教程请访问 ivorylang.org。

以下论文描述了象牙语：

• 特雷弗·埃利奥特、李·派克、西蒙·温伍德、帕特·希基、詹姆斯·贝尔曼、杰米·夏普、埃里克·塞德尔、约翰·朗伯里。无罪象牙。哈斯克尔研讨会，2015 年。

引用语言时请注明本文。

内容

• ivory ：象牙语言实现和解释器
• ivory-backend-c ：将 Ivory 程序编译为 C 的后端
• ivory-examples ：示例 Ivory 程序
• ivory-opts ：针对 Ivory AST 的优化框架和一些优化实现。
• ivory-bitdata ：用于指定位精确 Ivory 操作的宏语言库。
• ivory-hw ：用于用 Ivory 编写硬件驱动程序的宏语言库。
• ivory-model-check ：使用 CVC4 验证 Ivory 程序的后端

安装中

Ivory 是用 Haskell 编写的，并使用了几个最新的 GHC 扩展。已知它可以与 GHC 7.8.* 及更高版本一起使用。

目前，我们建议对 Ivory 语言包以及任何使用它们的程序使用 Stack 构建工具。

版权和许可

版权所有 2013-2015 Galois, Inc.

根据 BSD 3-Clause License 获得许可；除非遵守许可，否则您不得使用本作品。许可证文件中包含许可证的副本。

贡献

该项目遵守贡献者契约行为准则。通过参与，您应该遵守此准则。请将不可接受的行为报告至 [email protected]。