mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

mld

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-01-29 18:37:38 -08:00
parent ff475cbd5f
commit c99b805c14
3 changed files with 15 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
doc/mk_api_doc.py
View file

@ -14,6 +14,7 @@ import subprocess
import shutil import shutil
ML_ENABLED=False ML_ENABLED=False
MLD_ENABLED=False
BUILD_DIR='../build' BUILD_DIR='../build'
DOXYGEN_EXE='doxygen' DOXYGEN_EXE='doxygen'
TEMP_DIR=os.path.join(os.getcwd(), 'tmp') TEMP_DIR=os.path.join(os.getcwd(), 'tmp')
@ -27,7 +28,7 @@ JAVA_API_SEARCH_PATHS=['../src/api/java']
SCRIPT_DIR=os.path.abspath(os.path.dirname(__file__)) SCRIPT_DIR=os.path.abspath(os.path.dirname(__file__))
def parse_options(): def parse_options():
global ML_ENABLED, BUILD_DIR, DOXYGEN_EXE, TEMP_DIR, OUTPUT_DIRECTORY global ML_ENABLED, MLD_ENABLED, BUILD_DIR, DOXYGEN_EXE, TEMP_DIR, OUTPUT_DIRECTORY
global Z3PY_PACKAGE_PATH, Z3PY_ENABLED, DOTNET_ENABLED, JAVA_ENABLED global Z3PY_PACKAGE_PATH, Z3PY_ENABLED, DOTNET_ENABLED, JAVA_ENABLED
global DOTNET_API_SEARCH_PATHS, JAVA_API_SEARCH_PATHS global DOTNET_API_SEARCH_PATHS, JAVA_API_SEARCH_PATHS
parser = argparse.ArgumentParser(description=__doc__) parser = argparse.ArgumentParser(description=__doc__)
@ -41,6 +42,11 @@ def parse_options():
default=False, default=False,
help='Include ML/OCaml API documentation' help='Include ML/OCaml API documentation'
) )
parser.add_argument('--mld',
action='store_true',
default=False,
help='Include ML/OCaml API documentation'
)
parser.add_argument('--doxygen-executable', parser.add_argument('--doxygen-executable',
dest='doxygen_executable', dest='doxygen_executable',
default=DOXYGEN_EXE, default=DOXYGEN_EXE,
@ -98,6 +104,7 @@ def parse_options():
) )
pargs = parser.parse_args() pargs = parser.parse_args()
ML_ENABLED = pargs.ml ML_ENABLED = pargs.ml
MLD_ENABLED = pargs.mld
BUILD_DIR = pargs.build BUILD_DIR = pargs.build
DOXYGEN_EXE = pargs.doxygen_executable DOXYGEN_EXE = pargs.doxygen_executable
TEMP_DIR = pargs.temp_dir TEMP_DIR = pargs.temp_dir
@ -259,7 +266,7 @@ try:
prefix=bullet_point_prefix) prefix=bullet_point_prefix)
else: else:
website_dox_substitutions['JAVA_API'] = '' website_dox_substitutions['JAVA_API'] = ''
if ML_ENABLED: if ML_ENABLED or MLD_ENABLED:
website_dox_substitutions['OCAML_API'] = ( website_dox_substitutions['OCAML_API'] = (
'{prefix}<a class="el" href="ml/index.html">ML/OCaml API</a>' '{prefix}<a class="el" href="ml/index.html">ML/OCaml API</a>'
).format( ).format(

8
scripts/nightly.yaml
View file

@ -55,12 +55,12 @@ stages:
cd .. cd ..
- script: | - script: |
set -e set -e
cd doc
python mk_api_doc.py --ml --z3py-package-path=../build/python/z3
eval `opam config env` eval `opam config env`
cd doc
python mk_api_doc.py --mld --z3py-package-path=../build/python/z3
mkdir html/ml
ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build/api/ml ../build/api/ml/z3enums.mli ../build/api/ml/z3.mli
cd .. cd ..
# mkdir html/ml
# ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build/api/ml ../build/api/ml/z3enums.mli ../build/api/ml/z3.mli
- script: zip -r api.zip doc/api - script: zip -r api.zip doc/api
- script: cp api.zip $(Build.ArtifactStagingDirectory)/. - script: cp api.zip $(Build.ArtifactStagingDirectory)/.
- task: PublishPipelineArtifact@0 - task: PublishPipelineArtifact@0

2
src/util/zstring.cpp
View file

@ -16,6 +16,7 @@ Author:
--*/ --*/
#include "util/gparams.h" #include "util/gparams.h"
#include "util/zstring.h" #include "util/zstring.h"
#include "util/trace.h"
static bool is_hex_digit(char ch, unsigned& d) { static bool is_hex_digit(char ch, unsigned& d) {
if ('0' <= ch && ch <= '9') { if ('0' <= ch && ch <= '9') {
@ -147,6 +148,7 @@ std::string zstring::encode() const {
} }
} }
_flush(); _flush();
TRACE("seq", tout << "encode " << strm.str() << "\n";);
return strm.str(); return strm.str();
} }