[SMTChecker] Rename SMTChecker to SolCMC (Solidity compiler model checker)
Open
breaking change :warning:
documentation :book:
smt
- Dominant language
- C++
- Stars
- 25.7k
- Forks
- 6.2k
- Avg merge
- 1d 11h
- Merged PRs (30d)
- 21
Description
The module known as SMTChecker has evolved from a simple BMC-like approach to a proper model checker. It would be good to reflect the current status in the module's name.
Moreover, a [paper](https://dl.acm.org/doi/10.1007/978-3-031-13185-1_16) about the module has already been published where the new name, SolCMC has already been used.
A new breaking release is a good time to update the name.
Contributor guide
Assessment
This issue has not been assessed yet.