projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 680e0d8) | patch
fixed type checking and computing for PRODUCT and JOIN
authorPaul Meng <baolmeng@gmail.com>
Tue, 13 Sep 2016 21:11:16 +0000 (16:11 -0500)
committerPaul Meng <baolmeng@gmail.com>
Tue, 13 Sep 2016 21:11:16 +0000 (16:11 -0500)
commit56670c697402a74b1769215bcde87b56f17e79b9
tree322f17846afc6ac473ac686a6310eb5e188b20c3tree
parent680e0d843eced443e9d484c441b895abb403d4e0commit | diff
fixed type checking and computing for PRODUCT and JOIN
src/theory/sets/theory_sets_type_rules.h diff | blob | history