projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 471352e) | patch
minor fix, and better output for type errors
authorMorgan Deters <mdeters@gmail.com>
Wed, 1 Jun 2011 01:13:21 +0000 (01:13 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 1 Jun 2011 01:13:21 +0000 (01:13 +0000)
commitc6a8319b05cf1b156691132b3bec1f56ca6588e0
tree44f204e88ad5e820181c88882759f727cc133332tree
parent471352e0956d1e9e1f0636933e792ed8650d5526commit | diff
minor fix, and better output for type errors
src/expr/type_node.cpp diff | blob | history
src/theory/builtin/theory_builtin_type_rules.h diff | blob | history