Skip to content
semgrep

CongruenceDomain: Implement sub idependently of add. #11780

Sign in to view logs

CongruenceDomain: Implement sub idependently of add.

CongruenceDomain: Implement sub idependently of add. #11780

Triggered via push February 24, 2025 13:52
@jerhardjerhard
pushed 829b2bd
congruence-hardness-unsound-branches
Status Success
Total duration 46s
Artifacts –

semgrep.yml

on: push
semgrep
36s
semgrep
Fit to window
Zoom out
Zoom in