projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f5e1da) | patch
Basic cleanup of sep theory (#8790)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 18 May 2022 15:35:51 +0000 (10:35 -0500)
committerGitHub <noreply@github.com>
Wed, 18 May 2022 15:35:51 +0000 (15:35 +0000)
commit244fc0d5f79148ec34b6dfb821d4427d470136bf
treecf9b10303f92b8eaa8a65141ac4917d13535ca19tree
parent7f5e1dab306669d09fe1c6a13dc181d07c2af358commit | diff
Basic cleanup of sep theory (#8790)

Most of the simplifications are due to the fact that we only handle a single heap type. (The solver was initially designed to potentially handle more than one heap type).
src/theory/sep/theory_sep.cpp diff | blob | history
src/theory/sep/theory_sep.h diff | blob | history