进行中的语言和编译器，用于经过验证的低级编程 该存储库包含有关低级系统编程语言的正在进行的工作。 难题之一是针对RISC-V的经过验证的编译器。 源语言本身还配备有简单的程序逻辑，用于证明源程序的正确性。 尚未准备好，至少对于大多数用途而言。 该项目的目标与相似，但使用不同的设计。 基岩和基岩2之间没有共享代码。 当前功能 源语言是称为ExprImp的“类似C”的语言。 这是带有表达的命令式语言。 当前，唯一的数据类型是字（32位或64位），而内存是字到字节的部分映射。 支持“记录”作为带有偏