Roadmap (Summer 2024 and beyond)
Opened this issue · 0 comments
elsoroka commented
Development Roadmap for Summer 2024 and beyond
Minor features:
Expanding capabilities:
- #31. probably less difficult than #11.
- #11. This will probably involve work with metaprogramming to get right and need good unit testing.
- Completing the following three will take us to a milestone: all SMT-LIB theories supported. For each of these issues, a separate ticket should be created with a checklist for developing, testing, and documenting this feature.
- Add SMT-LIB theory of floating point numbers https://smt-lib.org/theories.shtml
- Add SMT-LIB theory of arrays https://smt-lib.org/theories.shtml
- Add SMT-LIB theory of strings https://smt-lib.org/theories.shtml
- [ ]
New features:
- #24. This should be straightforward to implement but requires understanding the logic types. Type promotion rules could be useful to encode the (https://smt-lib.org/logics.shtml)[hierarchy of logic types].