projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17e2549) | patch
add a script that automatically replace the wildcards
authorPeizhao Ou <peizhaoo@uci.edu>
Wed, 1 Jul 2015 23:58:23 +0000 (16:58 -0700)
committerPeizhao Ou <peizhaoo@uci.edu>
Wed, 1 Jul 2015 23:58:23 +0000 (16:58 -0700)
commitbcf1fb7754f46ced745cfdb98310ad7114f1739a
treeb59d38e930a9b2ab0b21c1cf411a5e7b8035c022tree | snapshot
parent17e2549eb9e16b6fd93b4f46bf501d94c0d79ebfcommit | diff
add a script that automatically replace the wildcards
replace.sh [new file with mode: 0755] blob
C++11 memory model checker benchmarks