ChaosBot 发表于 2018-01-24 10:36
Tags：ruststudy
今天学了下交叉编译指南 ： https://rust.cc/article/9f3b65e2-f943-474c-96c7-341ad5a1be11
cool
@Junjie Huang 通过霍尔逻辑来验证rust程序的正确性, 以及期望规范内存模型, 然而在验证函数调用的正确性那里开始跪了 :cry: 正在努力肝
通过霍尔逻辑来验证rust程序的正确性, 以及期望规范内存模型, 然而在验证函数调用的正确性那里开始跪了 :cry: 正在努力肝
评论区
写评论cool
通过霍尔逻辑来验证rust程序的正确性, 以及期望规范内存模型, 然而在验证函数调用的正确性那里开始跪了 :cry: 正在努力肝
通过霍尔逻辑来验证rust程序的正确性, 以及期望规范内存模型, 然而在验证函数调用的正确性那里开始跪了 :cry: 正在努力肝
通过霍尔逻辑来验证rust程序的正确性, 以及期望规范内存模型, 然而在验证函数调用的正确性那里开始跪了 :cry: 正在努力肝