projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbc5adb) | patch
Add comment field for model, resolves hack for printing sep logic models.
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 6 Jul 2016 18:33:55 +0000 (13:33 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 6 Jul 2016 18:33:55 +0000 (13:33 -0500)
commit673bb476c2a1b51abbc95acb0afaf4e3b8a9feb7
treeff5b597fe15afaeb83eae9e32d732f6bf27bff67tree
parentcbc5adb5d4f131ea6bf9a40b0c27fecf67353b4dcommit | diff
Add comment field for model, resolves hack for printing sep logic models.
12 files changed:
src/options/strings_options diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/smt/model.h diff | blob | history
src/theory/sep/theory_sep.cpp diff | blob | history
src/theory/sep/theory_sep.h diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/strings/theory_strings_preprocess.cpp diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/theory/theory_model.cpp diff | blob | history
src/theory/theory_model.h diff | blob | history