Skip to content
Hypatia Security Scan

proofs: declare the strict flag set in every module that can take it #722

Sign in to view logs

proofs: declare the strict flag set in every module that can take it

proofs: declare the strict flag set in every module that can take it #722

Triggered via pull request October 27, 2026 03:38
@hyperpolymathhyperpolymath
opened #357
proofs/strict-pragmas
Status Success
Total duration 44s
Artifacts –

hypatia-scan.yml

on: pull_request
Hypatia Neurosymbolic Analysis
41s
Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in