【文件属性】:
文件名称:isabelle_driver
文件大小:8KB
文件格式:ZIP
更新时间:2021-04-03 20:15:21
Isabelle
C-to-Isabelle和AutoCorres应用于Openbsd驱动程序
这些是安装C-to-Isabelle解析器和AutoCorres工具所需的设置。
这些将在Jedit(Isabelle的IDE)中使用。
安装
依存关系
对于Ubuntu,使用以下命令:
对于其他系统(Debian / MacOS),请参见: :
sudo apt-get install \
python3 python3-pip python3-dev \
gcc-arm-none-eabi build-essential libxml2-utils ccache \
ncurses-dev librsvg2-bin device-tree-compiler cmake \
ninja-build curl zlib1g-dev texlive-fonts-recommended \
texlive-
【文件预览】:
isabelle_driver-main
----octrng_driver()
--------.gitignore(56B)
--------timeout.h(608B)
--------octrng_simpl.h(103B)
--------octrng_simpl.c(2KB)
--------run_tasks.c(496B)
--------README.md(2KB)
--------Run_Tasks.thy(4KB)
--------Timeout.thy(500B)
--------timeout.c(880B)
--------CMakeLists.txt(77B)
----README.md(2KB)