Mathias Preiner 56e14c4639 Move public headers into top-level include directory. (#9555) ...

This PR moves the public API headers into a top-level include directory. This makes it easier to find the public API of cvc5 and makes the install headers script obsolete.

Fixes #9553
Fixes #9556

2023-03-07 23:39:29 +00:00

..

CMakeLists.txt

Move public headers into top-level include directory. (#9555)

2023-03-07 23:39:29 +00:00

cpp.rst

docs: Document UnknownExplanation. (#8508)

2022-04-01 22:53:53 +00:00

datatype.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

datatypeconstructor.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

datatypeconstructordecl.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

datatypedecl.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

datatypeselector.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

Doxyfile.in

Fix docs warnings (#8019)

2022-03-07 21:22:44 +00:00

driveroptions.rst

Improve documentation for OptionInfo (#8474)

2022-03-31 04:40:10 +00:00

exceptions.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

grammar.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

kind.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

modes.rst

docs: Add documentation for modes. (#8509)

2022-04-01 06:09:38 +00:00

op.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

optioninfo.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

quickstart.rst

docs: Do not use explicit line numbers in literalinclude. (#8690)

2022-05-02 20:13:00 +00:00

result.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

roundingmode.rst

docs: Document UnknownExplanation. (#8508)

2022-04-01 22:53:53 +00:00

solver.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

sort.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

statistics.rst

Improve documentation for Statistics in C++ API (#8476)

2022-03-31 17:30:33 +00:00

synthresult.rst

docs: Remove api namespace. (#8455)

2022-03-31 02:30:21 +00:00

term.rst

api: More fixes in C++ API docs. (#8570)

2022-04-05 03:08:05 +00:00

unknownexplanation.rst

docs: Document UnknownExplanation. (#8508)

2022-04-01 22:53:53 +00:00