projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9720be) | patch
- fixed a memory leak issue with context dependent data structure
authorPaul Meng <baolmeng@gmail.com>
Tue, 11 Oct 2016 18:43:28 +0000 (13:43 -0500)
committerPaul Meng <baolmeng@gmail.com>
Tue, 11 Oct 2016 18:43:28 +0000 (13:43 -0500)
commit773e7d27d606b71ff0f78e84efe1deef2653f016
treea09bd5eacf1251c448d712ad741172e8de310a6ftree
parentd9720be47f1e8e5550c82a740b7dfeb920f4e08acommit | diff
- fixed a memory leak issue with context dependent data structure
- clean up
src/theory/sets/theory_sets_rels.cpp diff | blob | history
src/theory/sets/theory_sets_rels.h diff | blob | history