8000 Support tag_class-based trace activation · Issue #7663 · Z3Prover/z3 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Support tag_class-based trace activation #7663

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
1 of 2 tasks
IamYJLee opened this issue May 27, 2025 · 1 comment
Closed
1 of 2 tasks

Support tag_class-based trace activation #7663

IamYJLee opened this issue May 27, 2025 · 1 comment

Comments

@IamYJLee
Copy link
Contributor
IamYJLee commented May 27, 2025 •
edited
Loading

Summary

Currently, trace tags can be individually enabled using -tr:<tag_name>.
We plan to support class-based activation, where enabling a tag_class activates all associated tags.

This was deferred from the initial PR and marked as a TODO.

TODO

  • Implement get_tags_by_class(tag_class) to return associated tags
  • Update enable_trace() to handle class-based activation logic

Related
@IamYJLee IamYJLee mentioned this issue May 27, 2025
Merged
IamYJLee added a commit to IamYJLee/z3 that referenced this issue May 28, 2025
@IamYJLee
trace : Disable code related to tag_class until implementation is rea…
0c11a8c 
…dy (Z3Prover#7663).
NikolajBjorner pushed a commit that referenced this issue May 28, 2025
@IamYJLee
Centralize and document TRACE tags using X-macros (#7657)
0a93ff5 
* Introduce X-macro-based trace tag definition
- Created trace_tags.def to centralize TRACE tag definitions
- Each tag includes a symbolic name and description
- Set up enum class TraceTag for type-safe usage in TRACE macros

* Add script to generate Markdown documentation from trace_tags.def
- Python script parses trace_tags.def and outputs trace_tags.md

* Refactor TRACE_NEW to prepend TraceTag and pass enum to is_trace_enabled

* trace: improve trace tag handling system with hierarchical tagging

- Introduce hierarchical tag-class structure: enabling a tag class activates all child tags
- Unify TRACE, STRACE, SCTRACE, and CTRACE under enum TraceTag
- Implement initial version of trace_tag.def using X(tag, tag_class, description)
  (class names and descriptions to be refined in a future update)

* trace: replace all string-based TRACE tags with enum TraceTag
- Migrated all TRACE, STRACE, SCTRACE, and CTRACE macros to use enum TraceTag values instead of raw string literals

* trace : add cstring header

* trace : Add Markdown documentation generation from trace_tags.def via mk_api_doc.py

* trace : rename macro parameter 'class' to 'tag_class' and remove Unicode comment in trace_tags.h.

* trace : Add TODO comment for future implementation of tag_class activation

* trace : Disable code related to tag_class until implementation is ready (#7663).
@IamYJLee
Copy link
Contributor Author

Tag class enabled in 4b2e5ad. Closing this issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@IamYJLee
0