write pre/post conditions comments and pseudo code
[3501/stronghold-2016] / .gitignore
2015-12-31 Kevin ZhangAdd gitignore