From 903709b9c145b011533f3ab54b6c4ae22d7b935c Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 7 Jun 2017 17:09:01 +0100
Subject: [PATCH 1/3] [Doxygen] Fix bug where some header files were not being
 scanned.

---
 doc/z3api.cfg.in | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/doc/z3api.cfg.in b/doc/z3api.cfg.in
index 9e946aa7f..9c4b464c2 100644
--- a/doc/z3api.cfg.in
+++ b/doc/z3api.cfg.in
@@ -704,10 +704,13 @@ INPUT_ENCODING         = UTF-8
 FILE_PATTERNS          = website.dox \
                          z3_api.h \
                          z3_algebraic.h \
+                         z3_ast_containers.h \
+                         z3_fixedpoint.h \
+                         z3_fpa.h \
+                         z3_interp.h \
+                         z3_optimization.h \
                          z3_polynomial.h \
                          z3_rcf.h \
-                         z3_interp.h \
-                         z3_fpa.h \
                          z3++.h \
                          @PYTHON_API_FILES@ @DOTNET_API_FILES@ @JAVA_API_FILES@
 

From 85c7f5d8655b6a1e3721fa8ec308c51ffe87ead2 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 7 Jun 2017 18:22:38 +0100
Subject: [PATCH 2/3] [Doxygen] Fix some Doxygen warnings for
 `z3_optimization.h`

---
 src/api/z3_optimization.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/api/z3_optimization.h b/src/api/z3_optimization.h
index 795b4b8fd..f49e1b9ce 100644
--- a/src/api/z3_optimization.h
+++ b/src/api/z3_optimization.h
@@ -75,7 +75,7 @@ extern "C" {
        \brief Add a maximization constraint.
        \param c - context
        \param o - optimization context
-       \param a - arithmetical term
+       \param t - arithmetical term
        def_API('Z3_optimize_maximize', UINT, (_in(CONTEXT), _in(OPTIMIZE), _in(AST)))
     */
     unsigned Z3_API Z3_optimize_maximize(Z3_context c, Z3_optimize o, Z3_ast t);
@@ -84,7 +84,7 @@ extern "C" {
        \brief Add a minimization constraint.
        \param c - context
        \param o - optimization context
-       \param a - arithmetical term
+       \param t - arithmetical term
 
        def_API('Z3_optimize_minimize', UINT, (_in(CONTEXT), _in(OPTIMIZE), _in(AST)))
     */

From bcb3981c5fd1988778699f3b40db8e9ce0d8c4f5 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 7 Jun 2017 18:49:43 +0100
Subject: [PATCH 3/3] [Doxygen] Fixed mismatched `@{` and `@}` declaration
 which prevented the `capi` group from being declared properly. For example
 this prevented from `Z3_mk_solver()` from appearing in the `capi` group.

---
 src/api/z3_api.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index 93da0b2c7..b862884c9 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -48,6 +48,7 @@ DEFINE_TYPE(Z3_rcf_num);
 /*@{*/
 
 /** @name Types
+    @{
 
    Most of the types in the C API are opaque pointers.
 
@@ -5238,7 +5239,6 @@ extern "C" {
        def_API('Z3_get_error_msg', STRING, (_in(CONTEXT), _in(ERROR_CODE)))
     */
     Z3_string Z3_API Z3_get_error_msg(Z3_context c, Z3_error_code err);
-    /*@}*/
 
     /**
        \brief Return a string describing the given error code.