mirror of
https://github.com/Z3Prover/z3
synced 2026-07-15 03:25:43 +00:00
bd3cf8514c
Seed the range-set-integration branch with a handoff plan summarizing the current range_predicate / seq_range_collapse infrastructure in master, the two candidate integration approaches (first-class re.ranges AST node vs. deeper internal-only use of range-sets), and a concrete evaluation plan against master on the regex-equivalence and QF_S benchmarks. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> |
||
|---|---|---|
| .. | ||
| test_go_doc | ||
| CMakeLists.txt | ||
| design_recfuns.md | ||
| JAVA_IDE_SETUP.md | ||
| mk_api_doc.py | ||
| mk_go_doc.py | ||
| mk_params_doc.py | ||
| mk_tactic_doc.py | ||
| range_set_integration_plan.md | ||
| README | ||
| website.dox.in | ||
| z3api.cfg.in | ||
| z3code.dox | ||
API documentation ----------------- To generate the API documentation for the C, C++, .NET, Java, Python, and Go APIs, we must execute python mk_api_doc.py We must have doxygen installed in our system. The documentation will be stored in the subdirectory './api/html'. The main file is './api/html/index.html' To include Go API documentation, use: python mk_api_doc.py --go Note: Go documentation requires Go to be installed (for godoc support). Code documentation ------------------ To generate documentation for the Z3 code, we must execute doxygen z3code.dox We must also have dot installed in our system. The documentation will be store in the subdirectory './code/html'. The main file is './code/html/index.html'