Age | Commit message (Expand) | Author |
---|---|---|
2010-11-04 | Moving the post_mortem.py script out of contrib and into the cvc4 scripts dir... | Tim King |
2010-11-04 | Updates post_mortem.py script to be able to handle certain kinds of crashes a... | Tim King |
2010-07-08 | Updates to the post_mortem.py script. | Tim King |
2010-06-24 | Added post_mortem.py a statistics collector for user with the smt_curnch clus... | Tim King |