二〇一八七月辑

我拼命得收集大雨后的湿气味
跟我的想象力放在一块
其实已经失去你
像是我不知如何开始这一天
太阳马上又要出现了

Read More

蓝眼睛与红眼睛(The blue-eyed islanders puzzle)

Read More

CBMC教程 (2) - unwind loop

Read More

CBMC教程 (1) - 软件架构

Read More

CBMC教程 (3) - GOTO programs

Diffblue 团队在 CAV'18 发表了工具文章,JBMC。这个工具是 CBMC 的扩展,目的是验证 JAVA Bytecode。JBMC 的步骤和 CBMC 类似,也是前端处理程序,转换程序到公式,然后公式传递给求解器。

JBMC 的验证步骤:

Read More

CBMC (教程) - 简介

Read More

Git 教程 (5) - 命令集合

Read More

Git (教程) - request

Read More

Git 教程 (3) - 分支管理策略

Read More

Git 教程 (5) - fetch vs pull

git fetchgit pull 都可以将远端仓库更新至本地那么他们之间有何区别?想要弄清楚这个问题有有几个概念不得不提。

  • FETCH_HEAD: 是一个版本链接,记录在本地的一个文件中,指向着目前已经从远程仓库取下来的分支的末端版本。

Read More