projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cbaa6ab fb45a10)
Merge pull request #33 from mdeters/arith-proposal
authorTim King <taking@cs.nyu.edu>
Tue, 17 Jun 2014 22:39:45 +0000 (18:39 -0400)
committerTim King <taking@cs.nyu.edu>
Tue, 17 Jun 2014 22:39:45 +0000 (18:39 -0400)
Final preparations for arithmetic for building with libc++.


Trivial merge