projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 442c809) | patch
Prefer non-cardinality constants in term models for sep logic.
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 12 Sep 2016 19:28:29 +0000 (14:28 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 12 Sep 2016 19:28:29 +0000 (14:28 -0500)
commitab930adcd1531fb7006740d6787d990588e3302e
tree69c352496e1893f2bf902a9bbd97d6376ef27062tree
parent442c809911bcc45ae45dc97650146c459a841ea3commit | diff
Prefer non-cardinality constants in term models for sep logic.
src/theory/sep/theory_sep.cpp diff | blob | history
src/theory/sep/theory_sep.h diff | blob | history