summaryrefslogtreecommitdiff
path: root/src/expr/symbol_manager.h
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-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
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-05New C++ Api: Rename and move headers. (#6292)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-16cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)Mathias Preiner
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-03More cleanup of includes to reduce compilation times (#6037)Gereon Kremer
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-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