boogieamp:Boogie中间验证语言的Java解析器

## Boogieamp 这是中间验证语言的Java解析器。 目前，这项工作正在进行中，主要用于我们的和项目。 从长远来看，我们将尝试支持实际Boogie语言的越来越多的功能。 请查看单元测试，以了解有关什么在工作以及什么不在工作的更多详细信息。 有关Boogie语言的一般说明，请参见。 但是，该项目的目的是解析当前可以解析的内容，因此语法略有不同，并且boogieamp可以解析上面论文中未描述的内容。 ＃＃＃＃要求 Java> = 7 Junit 4 ＃＃＃＃用法要了解如何使用该库来解析，处理和创建Boogie文件，请查看我们的转换或。 如果您打算在项目中使用该库，则只需下载。 #### Status我们使用Travis CI来检查Boogieamp的状态： 如果状态为红色，则表示我们尚未通过其他基于Boogie的项目的所有单元测试。 但是，这并不意味着libaray不可