projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9bff0c) | patch
Fix mk type const (#1776)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 15 Apr 2018 15:18:34 +0000 (10:18 -0500)
committerAndres Noetzli <andres.noetzli@gmail.com>
Sun, 15 Apr 2018 15:18:34 +0000 (08:18 -0700)
commitc22c31b0dfab057cd41cd276852d27d905274c9a
tree564a64129499338b368b1ad85bd584437585a197tree
parentd9bff0c0cd9a056e24d045f4de6912643d2db976commit | diff
Fix mk type const (#1776)

This was a new utility, only used so far by the extended rewriter in EqChain simplification.
src/theory/quantifiers/term_util.cpp diff | blob | history