projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29f5a9b) | patch
maximize stack limit, handle SEGV signals on an alternate signal stack, and try to...
authorMorgan Deters <mdeters@gmail.com>
Sun, 31 Oct 2010 15:22:38 +0000 (15:22 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 31 Oct 2010 15:22:38 +0000 (15:22 +0000)
commitd4bfaa103d56d5c0172bf1457343a75ddea8a9b5
tree7b5aab14936c3e3e58d38b1c382d9b3eb7006aeftree
parent29f5a9be53b572d2369d70947942563825c2fa27commit | diff
maximize stack limit, handle SEGV signals on an alternate signal stack, and try to diagnose stack overflow
src/main/main.h diff | blob | history
src/main/util.cpp diff | blob | history