projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cd5b8c7 f713c6c)
Merge pull request #75 from Dunedune/master
authorlianah <lianahady@gmail.com>
Wed, 27 May 2015 18:25:04 +0000 (19:25 +0100)
committerlianah <lianahady@gmail.com>
Wed, 27 May 2015 18:25:04 +0000 (19:25 +0100)
Added missing LogicException to throws in method lemma.


Trivial merge