2014-04-01から1ヶ月間の記事一覧
サルでもわかるGit入門〜バージョン管理を使いこなそう〜【プロジェクト管理ツールBacklog】
http://githowto.com/undoing_staged_changes
http://tech-tec.com/archives/107http://tech-tec.com/archives/107 結論を先に今回は込み入った説明にもなるので先に結論を言ってしまいます。 Windowsではgit config –global core.autocrlf true MacやLinuxではgit config –global core.autocrlf inputと…
lists all the files being tracked by your git repo. git ls-tree --full-tree -r HEAD
gitのリモートリポジトリの更新を確認する - Qiita方法1の後、pull するとローカルに反映される。 gitのリモートリポジトリが更新されているかどうかを確認する方法はいくつかあります。方法1: git fetch 後にdiffをとる $ git fetch origin $ git diff orig…
Open Source Initiative for Automotive Software Development Tools http://wiki.eclipse.org/Auto_IWG#Objectives ObjectivesInnovation in the automotive industry is mostly achieved by electronics and software functions. The system automobile is…
CBMC(C Bounded Model Checker) を試した。windows+cygwin では、うまくできなかった。Parsing のエラーが出た。Ubuntu ではすぐにできた。以下にインストールメモを残す。まずは、インストール。 > apt-get install cbmc 例として、以下のファイル file1.c …
Automated Test Generation using CBMC (Bounded Model Checking for C programs) to reach full Modified Condition/Decision Coverage.