summaryrefslogtreecommitdiff
path: root/src/smt/model.h
AgeCommit message (Expand)Author
2021-09-01Print response to get-model using the API (#7084)Andrew Reynolds
2021-04-15Rename occurrences of CVC4 to CVC5. (#6351)Aina Niemetz
2021-04-14Rename public and private headers in src/include. (#6352)Aina Niemetz
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4__ header guards to CVC5__. (#6326)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-03More cleanup of includes to reduce compilation times (#6037)Gereon Kremer
2021-01-05Remove a few miscellaneous references to the expr layer (#5661)Andrew Reynolds
2020-11-26Removing infrastructure related to SMT model (#5527)Andrew Reynolds
2020-11-23Add declare model symbol methods to SymbolManager and Model (#5480)Andrew Reynolds
2020-10-16Refactor SMT-level model object (#5277)Andrew Reynolds
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-02Introduce an internal version of Commands. (#4988)Abdalrhman Mohamed
2020-08-21Remove unecessary theory model builder base class (#4933)Andrew Reynolds
2020-06-16Update copyright headers.Aina Niemetz
2019-11-13Distinguish unknown status for model printing (#3454)Andrew Reynolds
2019-09-05 Model API for domain elements (#3243)Andrew Reynolds
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-09-11Support model cores via option --produce-model-cores. (#2407)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-08Infrastructure for approximations in model output (#1884)Andrew Reynolds
2017-07-07Update copyright headers.Mathias Preiner
2017-03-24Refactor model building for quantifiers to be a single pass, simplification. ...ajreynol
2016-07-20Infrastructure for storing and printing heap models for separation logic. Ens...ajreynol
2016-07-06Add comment field for model, resolves hack for printing sep logic models.ajreynol
2016-04-03Updating the copyright headers and scripts.Tim King
2016-02-03Added --omit-dont-cares option which doesn't print model values forClark Barrett
2016-02-02Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ...Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback