我正在开展一个涉及对Haskell进行程序分析的项目。我认为在Cminusminus（C--）级别实施程序分析是个好主意。 我知道，使用ghc，Haskell首先被编译为core然后是stg然后是cmm。然后将生成的cmm转换为可执行文件。
为了正确理解和使用C--，我需要一个cminusminus（C--）编译器。但是，根据我的信息，编译到C--的编译器很久就停止了，并且没有编译成x86_64（例如QuickC--）。我错过了什么吗？是否有一个编译为x64的C--编译器？
另一方面，2008-09之后Cminusminus还有进一步的工作吗？是否有Cminusminus社区？
编辑1 ：根据this GHC可以编译非常基本的cmm（cmm是ghc的c--的味道，与c--有一些差别，但是根据我的项目需要，我应该更关心cmm）文件。此外，-ddump-cmm包含许多不能被ghc解析的项目。