projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f270410) | patch
Adding API access methods to get heap/nil expressions when using separation logic...
authorayveejay <41393247+ayveejay@users.noreply.github.com>
Tue, 24 Jul 2018 21:16:16 +0000 (22:16 +0100)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 24 Jul 2018 21:16:16 +0000 (16:16 -0500)
commit25d3eea9614a0882a5c18c455e5a14d118a78dce
tree84242088cee9511a48ccd25030c712f894bc23a8tree
parentf270410e420d4c464c94c249e107451c5f1341eecommit | diff
Adding API access methods to get heap/nil expressions when using separation logic (#2194)
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history