- 博客(4)
- 收藏
- 关注
RSS订阅原创 ocaml项目环境
ocaml作为一门函数式编程语言，由法国巴黎高师提出，广泛应用于静态分析工具的编写中，如infer，frama-c、sparrow。下面介绍ocaml项目环境搭建。长话短说，ubuntu + eclipse +OcaIDE插件ubuntu安装eclipse请自行百度OcalIDE插件网址http://www.algo-prog.info/ocaide/index.php这个插...
2020-04-22 23:19:59
379
原创 Frama-C安装
一、官网源码下载地址：https://frama-c.com/download.html下载frama-c源文件，需要注意的是，源码里面并没有包含安装过程中要用到的依赖。同时，frama-c的依赖是很多的，一步步安装缺少的依赖的话会很繁琐，甚至有些依赖装不了。在下载的源码目录里面有install文件，里面详细介绍了所有的安装方式。下面介绍几种安装方式。二、ubuntu软件中心安装...
2020-04-18 12:55:40
2351
原创 安装ubuntu注意事项
一、 终端添加到鼠标右键1，ctrl+alt+t打开终端，输入命令：$sudoapt-getinstallnautilus-open-terminal2，重启ubuntu
2020-04-17 14:51:24
218
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人