projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2d3808) | patch
Remove example theory (#4922)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 20 Aug 2020 01:09:07 +0000 (20:09 -0500)
committerGitHub <noreply@github.com>
Thu, 20 Aug 2020 01:09:07 +0000 (20:09 -0500)
commit45412d0158992ae193f8e26b25a21e735ac7be8b
tree7fda35526300eebc5c9db7570f23fe9a4428d7bftree
parenta2d3808e2934ab660c709b45c184ae973375eb61commit | diff
Remove example theory (#4922)

This code is unused and obsolete.
src/theory/example/ecdata.cpp [deleted file] blob | history
src/theory/example/ecdata.h [deleted file] blob | history
src/theory/example/theory_uf_tim.cpp [deleted file] blob | history
src/theory/example/theory_uf_tim.h [deleted file] blob | history