projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81c1bee) | patch
Fix bug in separation logic for finite pto-data types. Minor cleanup in sep. Fix...
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 2 Nov 2016 19:58:36 +0000 (14:58 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 2 Nov 2016 19:58:36 +0000 (14:58 -0500)
commite06547b61242e1d98a63d9200160be7740439a05
treef8aaf87f0c15090409b63fbd8b9d5dddaeb42c5etree
parent81c1bee05d9d7c323f49d33554a523f8f4fbf387commit | diff
Fix bug in separation logic for finite pto-data types. Minor cleanup in sep. Fix a few more memory leaks.
src/smt/smt_engine.cpp diff | blob | history
src/theory/quantifiers/first_order_model.cpp diff | blob | history
src/theory/quantifiers/first_order_model.h diff | blob | history
src/theory/sep/theory_sep.cpp diff | blob | history
src/theory/sep/theory_sep.h diff | blob | history
test/regress/regress0/sep/Makefile.am diff | blob | history