projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 042d2f1) | patch
Increase size of bootstrap bytes as some Linux distributions need more space.
authorbdemsky <bdemsky@uci.edu>
Thu, 17 Dec 2015 08:37:52 +0000 (00:37 -0800)
committerbdemsky <bdemsky@uci.edu>
Thu, 17 Dec 2015 08:37:52 +0000 (00:37 -0800)
commit3897cb4ac31fe710f2333bd6ca917144b58844f2
tree10600e3ee569b37206ca9815a0a90371a4905b89tree | snapshot
parent042d2f1a02853db95cbd4bedf52c6b6bbab6b48ecommit | diff
Increase size of bootstrap bytes as some Linux distributions need more space.
mymemory.cc diff | blob | history
C++11 memory model checker