随笔分类 - 环境搭建
摘要:装了2天尝试了几个版本最终成功,吐了。github上的库不知道为什么突然clone不下来了,换了gitee源。 参考:klee-2.1安装(按照这个博客,闭着眼都能成功!)_klee的安装与配置-CSDN博客、ubuntu安装符号执行引擎KLEE_ubnutu20.04安装klee-CSDN博客、L
阅读全文
摘要:
1. 新建LLVM文件夹: 2.LLVM下载: 从LLVM官网上页面上下载clang ,llvm,clang-tools-extra-4.0.0.src,compiler-rt-4.0.0.src,libcxx-4.0.0.src,libcxxabi-4.0.0.src。将其解压至LLVM文件夹下。
阅读全文
1. 新建LLVM文件夹: 2.LLVM下载: 从LLVM官网上页面上下载clang ,llvm,clang-tools-extra-4.0.0.src,compiler-rt-4.0.0.src,libcxx-4.0.0.src,libcxxabi-4.0.0.src。将其解压至LLVM文件夹下。
阅读全文
摘要:1. QEMU下载与安装 wget https://download.qemu.org/qemu-5.2.0.tar.xz #下载qemu,版本可选 cd qemu-5.2.0/ #进入目录 tar xvJf qemu-5.2.0.tar.xz#解压文件 ./configure make #编译 m
阅读全文
摘要:
WIN10、NVIDIA GeForce RTX 3060
python 3.7,CUDAv11.1.1,PyTorch 1.9.0
阅读全文
WIN10、NVIDIA GeForce RTX 3060
python 3.7,CUDAv11.1.1,PyTorch 1.9.0
阅读全文

浙公网安备 33010602011771号