Age | Commit message (Expand) | Author |
---|---|---|
2021-04-01 | Rename namespace CVC5 to cvc5. (#6258) | Aina Niemetz |
2021-03-31 | Rename namespace CVC4 to CVC5. (#6249) | Aina Niemetz |
2021-03-09 | Update copyright headers to 2021. (#6081) | Aina Niemetz |
2020-12-03 | Refactor handling of global declarations (#5577) | Andrew Reynolds |
2020-11-23 | Add declare model symbol methods to SymbolManager and Model (#5480) | Andrew Reynolds |
2020-11-19 | Use symbol manager for unsat cores (#5468) | Andrew Reynolds |
2020-11-16 | Cleaning up scopes in preparation for symbol manager (#5442) | Andrew Reynolds |
2020-11-13 | Add more features to symbol manager (#5434) | Andrew Reynolds |
2020-11-12 | Make symbol manager context dependent (#5424) | Andrew Reynolds |
2020-11-11 | Move symbol manager to src/expr/ (#5420) | Andrew Reynolds |