Apply clang-format fixes

[zeroecco]

Summary

• Automatically formatted 241 C++ source files using clang-format
• Updated .clang-format configuration to properly handle project-specific macros (IF, NONDET)
• Applied consistent code style across the codebase
• Net reduction of 2533 lines (1720 insertions, 4253 deletions)

Configuration Changes

Updated .clang-format with:

• Set AllowShortIfStatementsOnASingleLine: WithoutElse - keeps compact single-line if statements
• Set AllowShortLoopsOnASingleLine: true - allows single-line loops
• Set AllowShortBlocksOnASingleLine: Always - preserves compact block statements
• Added ForEachMacros for IF and NONDET - treats these project macros like control flow statements

The new configuration maintains the project's compact coding style for single-line control flow statements, improving code density and readability without sacrificing clarity.

Changes

Applied formatting fixes to 241 files across:

• Core libraries (risc0/core, risc0/fp)
• Dialect implementations (BigInt, IOP, R1CS, ZHL, ZHLT, ZStruct, Zll)
• Circuit implementations (bigint, fib, hello_v3, keccak, recursion, rv32im, verify)
• Compiler components (codegen, edsl, zkp)
• DSL implementation
• Component libraries

Testing

No functional changes - formatting only. All existing tests should continue to pass.

🤖 Generated with Claude Code

[zeroecco]

Updated: Iteration 2

This PR has been updated with an improved .clang-format configuration that properly handles the project's macro usage patterns.

Changes from Previous Iteration

Configuration improvements:

• Added ForEachMacros to treat IF and NONDET as control flow constructs
• Changed AllowShortIfStatementsOnASingleLine: WithoutElse (was Never)
• Changed AllowShortLoopsOnASingleLine: true (was false)
• Added AllowShortBlocksOnASingleLine: Always
• Added SpaceBeforeParens: ControlStatements

Results:

• ✅ Preserves compact single-line style for IF and NONDET macros
• ✅ Net code reduction: 2533 lines removed (1720 insertions, 4253 deletions)
• ✅ Consistent formatting across 241 modified C++ files
• ✅ No unwanted expansion of single-line control flow statements

Key Improvements

The previous iteration had issues where clang-format was expanding compact macro statements like:

IF(isZeroBit) { eqz(val); }

Into multi-line format:

IF(isZeroBit) {
  eqz(val);
}

The new configuration preserves the compact style (with just a space added before parentheses):

IF (isZeroBit) { eqz(val); }

This maintains the project's coding style while applying consistent formatting across the codebase.