projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6895bd2 9df2b70)
Merge pull request #38 from mdeters/uf-kinds
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 25 Jun 2014 21:47:30 +0000 (23:47 +0200)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 25 Jun 2014 21:47:30 +0000 (23:47 +0200)
UF kinds documentation


Trivial merge