- 博客(5)
- 收藏
- 关注
RSS订阅原创 Learnlib 安装和使用 Ubuntu 16.04
Learnlib是基于java开发的一个学习状态机的一个工具。安装Learnlib之前，要先安装jdk8 和maven。比较简单就不写了。Learnlib的官网上有安装教程：https://github.com/LearnLib/learnlib/wiki/Setting-Up-a-New-Maven-Project-%28Command-Line%29因为是linux系统，所以选...
2019-05-15 09:47:09
977
1
原创 Tensorflow c api 预测模型
写个简单的例子，预测一张mnist图片的分类。使用tensorflow 1.10.01. 首先使用opencv来读取图片Mat readimage(){ string img_path = "1_6628.bmp"; Mat image, image_gray,tmp; image = imread(img_path,CV_LOAD_IMAGE_COLOR)...
2019-01-09 19:40:39
845
原创 Tensorflow c api 编译安装
Ubuntu 16.04Tensorflow 1.10.0 1.编译动态链接库文件：$ ./configure$ bazel build -c dbg //tensorflow:libtensorflow_cc.so原先编译python 版本的whl时，是不会有libtensorflow_cc.so的，所以还是要重新编译。磁盘要足够大啊，要不然不可能成功。由于是deb...
2019-01-07 09:17:39
765
原创 llvm IR 语法小例子
LLVM IR 语法2018.12.24注：去年写的，原来是有图的，不知道何时竟然图都没了，翻了好久才找到这些图。以下图程序为例：在klee运行之后，每个文件夹中都会有一个assembly.ll这是llvm IR的中间语言代码。Klee中的指令执行，都是根据这个来实现的。下图为IR代码：首先对于e这个函数：i32 表示该类型所占位数。（bit），align对齐...
2017-07-16 14:38:25
3894
1
原创 klee+Ubuntu16.04+llvm3.9安装
Klee 安装方法为了安装klee我尝试了各种版本安装，终于安装成功环境：ubuntu16.04 llvm-3.9 clang-3.92018.7.27装llvm-3.9 的我当初真的是无知啊，人家klee现在适配的才到llvm-3.8. 我当初竟然装了llvm3.9. 用3.9装的klee -posix-runtime功能是不好使的。所以大家，还是先装llvm3.4 然后再...
2017-07-11 19:50:59
1349
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人