组内分工与自评分数
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)
版权所有：中国计算机学会技术支持：开源发展技术委员会 京ICP备13000930号-9 京公网安备 11010802032778号
从命令行创建一个新的仓库
从命令行推送已经创建的仓库