| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback