projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab8102c) | patch
Removing typeof from sets normal form and beautifying the file.
authorTim King <taking@google.com>
Wed, 31 Aug 2016 22:54:23 +0000 (15:54 -0700)
committerTim King <taking@google.com>
Wed, 31 Aug 2016 22:54:23 +0000 (15:54 -0700)
commit16d27018ed668adbeaddc68795a3f0cbcc48a1e9
tree7f902d9e0eb47fd2a842e18451d679d543199404tree
parentab8102cd7547887389015f74167ded74f7649b1fcommit | diff
Removing typeof from sets normal form and beautifying the file.
src/theory/sets/normal_form.h diff | blob | history