文件名称：java8看不到源码-kat:猫
文件大小：171KB
文件格式：ZIP
更新时间：2024-06-24 13:33:52
系统开源
java8 看不到源码K分析工具集 该存储库使用 K 策略语言来构建一套用于程序分析的工具。 安装/构建 系统依赖 构建/运行 KAT 需要以下内容： 用于生成*.k从文件*.md文件。 GNU , , 和 . GNU 和 . Java 8 JDK（例如） ，重要：15.04 之前的 Ubuntu 用户必须从源代码构建，因为 14.10 及之前的 Ubuntu 安装已损坏。 opam repository也需要rsync 。 自动一阶定理证明器。 在 Ubuntu >= 15.04（例如）上： sudo apt-get install make gcc maven openjdk-8-jdk flex opam pkg-config libmpfr-dev autoconf libtool pandoc zlib1g-dev z3 libz3-dev 在 ArchLinux 上： sudo pacman -S base-devel rsync opam pandoc jre8-openjdk mpfr maven z3 在 OSX 上，使用 , 安装命令行工具包后： brew tap