组内分工与自评分数
touch README.md git init git add README.md git commit -m "first commit" git remote add origin http://gitea.trustie.net/Xinwuyaqu/36480_2019-11-13_160731_0983.git git push -u origin master
git remote add origin http://gitea.trustie.net/Xinwuyaqu/36480_2019-11-13_160731_0983.git git push -u origin master
crab-llvm (Static Analyzer for LLVM bitcode based on Abstract Interpretation, https://github.com/seahorn/crab-llvm)
©Copyright 2023 CCF 开源发展委员会 Powered by Trustie& IntelliDE 京ICP备13000930号
从命令行创建一个新的仓库
从命令行推送已经创建的仓库