Skip to content

E7: -fverify-* options for clang++ builds, a report per object, and quiet files without contracts - #120

Merged
SwayamInSync merged 23 commits into
mainfrom
fix/compile-time-options
Oct 29, 2026
Merged

E7: -fverify-* options for clang++ builds, a report per object, and quiet files without contracts#120
SwayamInSync merged 23 commits into
mainfrom
fix/compile-time-options

Merge main into fix/compile-time-options.

abe7602
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar