projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10ab2b6) | patch
Add --no-condense-function-values option for explicit function models (useful in...
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 4 Jun 2013 22:09:48 +0000 (18:09 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 4 Jun 2013 23:17:05 +0000 (19:17 -0400)
commit61f8a3151797c884d6f083d1657aec9a76e694de
tree96f1301d5d1f73d42168dea1d4e1c2fd0c2c6644tree
parent10ab2b6492dc0b725abbb41d4e5aa423252b8a59commit | diff
Add --no-condense-function-values option for explicit function models (useful in some applications)
src/theory/model.cpp diff | blob | history
src/theory/uf/options diff | blob | history
src/theory/uf/theory_uf_model.cpp diff | blob | history
src/theory/uf/theory_uf_model.h diff | blob | history