projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d2def1) | patch
Adds the header file into makefile, solving building error; adds cache for derivative...
authorTianyi Liang <tianyi-liang@uiowa.edu>
Thu, 7 Nov 2013 17:04:31 +0000 (11:04 -0600)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Thu, 7 Nov 2013 17:07:02 +0000 (11:07 -0600)
commit6c6f44c32a6bb957c1e82ae75fbf62db2e286595
tree69b326aed4520437cf33de4ca6961a98ed6cf716tree
parent6d2def1c2e44974227fb06d3aa199722a4193a04commit | diff
Adds the header file into makefile, solving building error; adds cache for derivative; disables loop detection when finite model finding is enabled.
src/theory/strings/Makefile.am diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings.h diff | blob | history