[Git] work with branch (a new empty branch)

• Create a new and empty branch

$ git checkout --orphan "rye/testmodel"

• Delete all files to make it empty

$ git rm -rf .

• Then add and commit files into the branch

• Finally, push it into remote repository

To push the current branch and set the remote as upstream, use



$ git push --set-upstream origin rye/testmodel

​

[Formal Verification] Hacker-Proof Code Confirmed

A very nice article about application of formal verification. A bit more optimistic about the future of formal specification and verification. Find the article here.