summaryrefslogtreecommitdiff
path: root/src/smt/env.cpp
AgeCommit message (Expand)Author
2021-10-12Eliminate calls to currentResourceManager (#7350)Andrew Reynolds
2021-10-11Rename SmtEngineStatistics to SolverEngineStatistics. (#7339)Aina Niemetz
2021-10-07Make the cardinality of the alphabet of strings configurable (#7298)Andrew Reynolds
2021-10-04Move isFiniteType from theory engine to Env (#7287)Andrew Reynolds
2021-10-04Make decision engine use env (#7300)Andrew Reynolds
2021-10-01Use the proper evaluator for optimized SyGuS datatype rewriting (#7266)Andrew Reynolds
2021-09-23Eliminate Output macro in favor of simple Env functions (#7223)Gereon Kremer
2021-09-22Towards standard usage of evaluator (#7189)Andrew Reynolds
2021-09-13Connect difficulty manager to TheoryEngine (#7161)Andrew Reynolds
2021-09-11Use StatisticsRegistry from Env (#7166)Gereon Kremer
2021-09-01Make driver::totalTime a TimerStat (#7089)Gereon Kremer
2021-08-30Refactor filename handling (#7088)Gereon Kremer
2021-08-26Eliminate currentSmtEngine for subsolver calls (#7068)Andrew Reynolds
2021-08-18Make TheoryProxy use Env, simplify initialization of PropEngine (#7031)Andrew Reynolds
2021-08-17Make SmtEngineState use Env (#7028)Andrew Reynolds
2021-08-16Make Theory class use Env (#7011)Gereon Kremer
2021-06-08Make env hold a pointer to the original options to properly initialize subsol...Gereon Kremer
2021-06-02Remove `Options::operator[]` (#6649)Gereon Kremer
2021-06-02Move public wrapper functions out of options class (#6600)Gereon Kremer
2021-05-24Move proof utilities to src/proof/ (#6611)Andrew Reynolds
2021-04-30Use substitutions for implementing defined functions (#6437)Andrew Reynolds
2021-04-20Add InferenceId as resources (#6339)Gereon Kremer
2021-04-14Refactor / reimplement statistics (#6162)Gereon Kremer
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-02Minor refactoring (#6273)Gereon Kremer
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-18Move stats registry to env. (#6173)Gereon Kremer
2021-03-10Add Env class (#6093)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback