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.

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

Move `Spec` lifters out of `Constraints` #1575

Merged

michael-schwarz merged 18 commits into master from constraints-split

Sep 24, 2024

Merged

Document Spec lifter modules

GitHub Advanced Security / Semgrep OSS succeeded Sep 24, 2024 in 2s

No new alerts in code changed by this pull request

Code scanning / Semgrep OSS

Semgrep Finding: semgrep.trace-not-in-tracing Warning

trace functions should only be called if tracing is enabled at compile time

Code scanning / Semgrep OSS

Semgrep Finding: semgrep.trace-not-in-tracing Warning

trace functions should only be called if tracing is enabled at compile time

Code scanning / Semgrep OSS

Semgrep Finding: semgrep.trace-not-in-tracing Warning

trace functions should only be called if tracing is enabled at compile time

Code scanning / Semgrep OSS

Semgrep Finding: semgrep.trace-not-in-tracing Warning

trace functions should only be called if tracing is enabled at compile time