projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cbfc096 d09bb18)
Merge pull request #91 from timothy-king/no-throw
authorTim King <taking@cs.nyu.edu>
Fri, 2 Sep 2016 05:10:57 +0000 (22:10 -0700)
committerGitHub <noreply@github.com>
Fri, 2 Sep 2016 05:10:57 +0000 (22:10 -0700)
Relaxing the throw specifiers for the destructors for Node, TypeNode,…


Trivial merge