projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87b9af3) | patch
Some minor cleanup.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 7 Oct 2014 01:22:57 +0000 (21:22 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 7 Oct 2014 01:22:57 +0000 (21:22 -0400)
commit1c494313662b664a606f6f745f67cbd964c61927
tree1f080655da2d6e3e9aed2f363bc56179fdcf2206tree
parent87b9af34d7864044aa70720cfd32bf259750772bcommit | diff
Some minor cleanup.
src/theory/booleans/theory_bool_type_rules.h diff | blob | history