2021-09-02 | Gereon Kremer | Remove options::getAll() (#7111) | blob | commitdiff | raw |
2021-08-30 | Gereon Kremer | Add API function to obtain information about a single... | blob | commitdiff | raw | diff to current |
2021-08-23 | Gereon Kremer | Move options parsing code to main (#7054) | blob | commitdiff | raw | diff to current |
2021-08-20 | Gereon Kremer | Add CVC5ApiOptionException (#6992) | blob | commitdiff | raw | diff to current |
2021-08-06 | Gereon Kremer | Clear options manager (#6991) | blob | commitdiff | raw | diff to current |
2021-08-04 | Gereon Kremer | Refactor managed streams (#6934) | blob | commitdiff | raw | diff to current |
2021-08-04 | Gereon Kremer | Add API function to get list of option names (#6971) | blob | commitdiff | raw | diff to current |
2021-07-26 | Gereon Kremer | Move public options functions to separate file (#6671) | blob | commitdiff | raw | diff to current |