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

..

attribute_black.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

attribute_white.cpp

Eliminate SolverEngineScope and OptionsScope (#8984)

2022-07-22 16:45:47 +00:00

CMakeLists.txt

test: unit: node: Fix directory name for binaries. (#9197)

2022-10-05 23:05:23 +00:00

kind_black.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

kind_map_black.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

node_algorithm_black.cpp

Final preparation for CONST_INTEGER (#8700)

2022-05-02 21:36:33 -05:00

node_algorithms_black.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

node_black.cpp

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

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

node_builder_black.cpp

Make printing of kinds depend on output language (#8953)

2022-07-21 14:16:55 +00:00

node_manager_black.cpp

Make printing of kinds depend on output language (#8953)

2022-07-21 14:16:55 +00:00

node_manager_white.cpp

Final preparation for CONST_INTEGER (#8700)

2022-05-02 21:36:33 -05:00

node_self_iterator_black.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

node_traversal_black.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

node_white.cpp

Final preparation for CONST_INTEGER (#8700)

2022-05-02 21:36:33 -05:00

symbol_table_black.cpp

Move SymbolManager and SymbolTable to parser (#8910)

2022-06-27 22:28:27 +00:00

type_cardinality_black.cpp

ff: connect sub-theories to main solver & test (#9218)

2022-12-16 16:36:41 +00:00

type_node_white.cpp

Remove NodeManager from constructors of Env and SolverEngine (#8967)

2022-07-21 16:25:58 +00:00