![](https://img-blog.csdnimg.cn/20201014180756913.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
类型推断
文章平均质量分 68
马小雨
这个作者很懒,什么都没留下…
展开
-
LambdaNet----图推断变量类型----本地复现记录
环境:sbt: 1.3.13 (dockerfile中提到)scala: 2.12.10 (build.sbt, dockerfile中提到)jdk: jdk11(特别注意,docker文件中标明,刚开始使用jdk1.8,javadriver文件一直报错)1. 导入项目到idea中(选择scala项目),选择合适的版本安装2. 可以在projectStructure中检查jdk环境及依赖信息在setting---sbt中检查sbt配置(sbt1.3.13对应jdk1...原创 2022-05-29 11:01:13 · 192 阅读 · 0 评论 -
NL2Type--推断函数类型----linux,Ubuntu复现记录
1. 环境:Ubuntu 16.04.7 LTS, python2.7安装依赖pip2 install --upgrade -r requirements.txt sudo apt-get install -y nodejsnpm install -g jsdoc python2.7中各种包版本:2. 将下载好的模型放在models/model.h5下,下载论文中用到的数据并解压https://drive.google.com/file/d/1JUjvliIV76..原创 2022-05-09 11:15:01 · 268 阅读 · 0 评论 -
lambdanet:图结构推断变量类型---docker复现记录
使用docker1. 安装了docker后,输入命令行docker build -t lambdanet:v1 . && docker run --name lambdanet --memory 14g -t -i lambdanet:v1创建lambdanet:v1容器以后启动对应容器执行docker run -it lambdanet:v1 /bin/bash成功进入容器2. 下载好模型后,将模型放在根目录下https://drive.goog原创 2022-05-08 16:41:41 · 450 阅读 · 0 评论 -
nL2Type(为function推断类型)windows---复现记录
环境为python 2.7,对应pip版本9.0.1下载训练和测试文件https://drive.google.com/file/d/1tk-h3O-nTQ3X-cPZ5D7aaaLTUtLgVvwt/view安装依赖sudo pip2 install --upgrade -r requirements.txt原创 2022-04-29 13:57:01 · 748 阅读 · 0 评论 -
DeepTyper复现记录--Linux系统
虚拟机中应该是无法安装cntk所需要的cuda和cudnn驱动(搜到的是可以在双系统中安装驱动,这部分不是很了解),做到最后几步才发现,又换到windows下进行了配置:Win10, cntk=2.0, python=3.6.5(必须在3.7以下,否则cntk不支持)1. 安装依赖项目导入后,安装依赖typescript(前提安装了nodejs), ---npm install -g typescript, tsc -v检查是否安装成功安装numpy, pygments等依赖2...原创 2022-04-11 21:52:45 · 1574 阅读 · 0 评论