projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 778004b) | patch
added type checking rule to check for bit-vector constants of size 0
authorlianah <lianahady@gmail.com>
Tue, 7 May 2013 21:21:58 +0000 (17:21 -0400)
committerlianah <lianahady@gmail.com>
Tue, 7 May 2013 21:21:58 +0000 (17:21 -0400)
commitb702a70790f37e239c6f8c91bbc0ac107f1a4618
tree2e9cd845556faa0e9a16561435b7c1a7da8ebb0atree
parent778004b0fe366f6ecfb53a594bd5be335a2dc4b7commit | diff
added type checking rule to check for bit-vector constants of size 0
src/theory/bv/theory_bv_rewrite_rules_simplification.h diff | blob | history
src/theory/bv/theory_bv_type_rules.h diff | blob | history