summaryrefslogtreecommitdiff
path: root/src/expr/symbol_manager.cpp
AgeCommit message (Expand)Author
2021-05-21Update to sygus standard output for check-synth responses (#6521)Andrew Reynolds
2021-05-19Improve handling of `:named` attributes (#6549)Andres Noetzli
2021-04-27Use std::hash for API types (#6432)Gereon Kremer
2021-04-12Refactor and update copyright headers. (#6316)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
2020-12-03Refactor handling of global declarations (#5577)Andrew Reynolds
2020-11-23Add declare model symbol methods to SymbolManager and Model (#5480)Andrew Reynolds
2020-11-19Use symbol manager for unsat cores (#5468)Andrew Reynolds
2020-11-16Cleaning up scopes in preparation for symbol manager (#5442)Andrew Reynolds
2020-11-13Add more features to symbol manager (#5434)Andrew Reynolds
2020-11-12Make symbol manager context dependent (#5424)Andrew Reynolds
2020-11-11Move symbol manager to src/expr/ (#5420)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback