| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-04-14 | Rename public and private headers in src/include. (#6352) | Aina Niemetz | |
| 2021-04-12 | Refactor and update copyright headers. (#6316) | Aina Niemetz | |
| 2021-04-09 | Rename CVC4__ header guards to CVC5__. (#6326) | Aina Niemetz | |
| 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-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner | |
| This PR updates the update-copyright.pl script to also update/add copyright headers to CMake specific files. It further fixes a small typo in the header. | |||
| 2020-06-16 | Update copyright headers. | Aina Niemetz | |
| 2019-04-24 | Do not use __ prefix for header guards. (#2974) | Mathias Preiner | |
| Fixes 2887. | |||
| 2019-03-26 | Update copyright headers. | Aina Niemetz | |
| 2018-07-31 | Make candidate rewrite match filtering handle polymorphic operators properly ↵ | Andrew Reynolds | |
| (#2236) Currently, the discrimination tree index used for candidate rewrite rule filtering based on matching does not properly distinguish polymorphic operators, which leads to type errors. This makes the index handle them correctly. Fixes #1923. | |||
| 2018-06-27 | Synthesize candidate-rewrites from standard inputs (#1918) | Andrew Reynolds | |
| 2018-06-25 | Updated copyright headers. | Aina Niemetz | |
| 2018-06-20 | Fix warnings and enable -Wnon-virtual-dtor warning (#2079) | Andres Noetzli | |
| This commit fixes warnings for an unused variable, comparison of two different types and add virtual destructors to classes that were previously missing them. It also enables the -Wnon-virtual-dtor warning which warns about any class definition with virtual methods that does not have a virtual destructor (except if the destructor is protected). This flag is supported by both clang and GCC and not enabled by default. | |||
| 2018-04-10 | Improve accuracy of stats for sygus sampler (#1755) | Andrew Reynolds | |
| 2018-03-27 | Filter candidate rewrites based on matching (#1682) | Andrew Reynolds | |
| 2018-02-12 | Minor improvements to sygus sampler (#1598) | Andrew Reynolds | |
| 2018-02-09 | Class to reduce printing of redundant candidate rewrites (#1588) | 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