projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d132321) | patch
Avoid assigning constructor terms to 1-constructor datatype eqcs, when possible,...
authorajreynol <reynolds@larapc05.epfl.ch>
Thu, 24 Apr 2014 14:47:46 +0000 (16:47 +0200)
committerajreynol <reynolds@larapc05.epfl.ch>
Thu, 24 Apr 2014 14:47:46 +0000 (16:47 +0200)
commit9a4df62fbb05a09c95877b53053ff2e231ae254c
treebfb1d2c8743670c41ffec6f54b8d4fb1478ca020tree
parentd132321d74b65b293ffac4bc8c6f0d8db73614d6commit | diff
Avoid assigning constructor terms to 1-constructor datatype eqcs, when possible, to ensure termination for codatatypes. Minor changes.
src/theory/datatypes/theory_datatypes.cpp diff | blob | history