projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 005200d) | patch
better exception wording, assertion-handling in multiple-exception case; resolves...
authorMorgan Deters <mdeters@gmail.com>
Mon, 5 Jul 2010 23:01:36 +0000 (23:01 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 5 Jul 2010 23:01:36 +0000 (23:01 +0000)
commit7d70fd80347e655e9703c2838a4a106d580c4a2d
tree208ec512ecc5ede76167245efb32f3db7228f606tree
parent005200d69b6bd12cd4c15679ae1e6ffdb25b91a4commit | diff
better exception wording, assertion-handling in multiple-exception case; resolves bug 175.  also newer URL for config/pkg.m4
src/main/util.cpp diff | blob | history
src/util/Assert.cpp diff | blob | history
src/util/Assert.h diff | blob | history