Check code formatting

Workflow runs for Check code formatting

• B2-2: class templates verified in each specialization

  skipped:
  Check code formatting#135:Pull request#81openedbySwayamInSync
  fix/class-templates

  Oct 24, 20261s
  More actions for workflow run 135

• B2-1: function templates verified in each specialization

  skipped:
  Check code formatting#134:Pull request#80openedbySwayamInSync
  fix/function-templates

  Oct 24, 20268s
  More actions for workflow run 134

• Member operators, own-object returns, and class invariants at reference and pointer parameters

  skipped:
  Check code formatting#133:Pull request#79reopenedbySwayamInSync
  fix/member-operators

  Oct 24, 20261s
  More actions for workflow run 133

• B3-3: class invariants at public member functions and constructors

  skipped:
  Check code formatting#132:Pull request#78openedbySwayamInSync
  fix/class-invariants

  Oct 24, 20269s
  More actions for workflow run 132

• Records kept in memory by value: passed, returned, and copied as their fields

  skipped:
  Check code formatting#131:Pull request#77synchronizebySwayamInSync
  fix/object-values

  Oct 24, 20261s
  More actions for workflow run 131

• Records kept in memory by value: passed, returned, and copied as their fields

  skipped:
  Check code formatting#130:Pull request#77openedbySwayamInSync
  fix/object-values

  Oct 24, 20261s
  More actions for workflow run 130

• B3-2: constructors, verified on their caller's storage and run where objects are defined

  skipped:
  Check code formatting#129:Pull request#76openedbySwayamInSync
  fix/constructors

  Oct 24, 20261s
  More actions for workflow run 129

• Loops that write local or dynamic storage: frame them by the objects they write

  skipped:
  Check code formatting#128:Pull request#75openedbySwayamInSync
  fix/local-loop-frames

  Oct 24, 20261s
  More actions for workflow run 128

• Loops over local storage: an invariant's definedness at the head, and initialization kept across iterations

  skipped:
  Check code formatting#127:Pull request#74openedbySwayamInSync
  fix/invariant-definedness

  Oct 24, 20261s
  More actions for workflow run 127

• verify: Verify member functions as functions of this

  skipped:
  Check code formatting#126:Pull request#73synchronizebySwayamInSync
  fix/member-functions

  Oct 24, 20261s
  More actions for workflow run 126

• verify: State the extents of pointer fields, and separate pairs with an extent over their extents

  skipped:
  Check code formatting#125:Pull request#72synchronizebySwayamInSync
  fix/pointer-field-extents

  Oct 24, 20269s
  More actions for workflow run 125

• verify: Lend local records and addresses to callees that keep no address of them

  skipped:
  Check code formatting#124:Pull request#71synchronizebySwayamInSync
  fix/local-record-arguments

  Oct 24, 20261s
  More actions for workflow run 124

• verify: Verify records through references, as pointers never null or reseated

  skipped:
  Check code formatting#123:Pull request#70synchronizebySwayamInSync
  fix/record-references

  Oct 24, 20261s
  More actions for workflow run 123

• verify: Let an unsupported construct cost its function alone

  skipped:
  Check code formatting#122:Pull request#69synchronizebySwayamInSync
  fix/per-function-errors

  Oct 24, 2026Skipped
  More actions for workflow run 122

• verify: Verify member functions as functions of this

  skipped:
  Check code formatting#121:Pull request#73openedbySwayamInSync
  fix/member-functions

  Oct 24, 202610s
  More actions for workflow run 121

• verify: Lend local records and addresses to callees that keep no address of them

  skipped:
  Check code formatting#120:Pull request#71synchronizebySwayamInSync
  fix/local-record-arguments

  Oct 24, 20261s
  More actions for workflow run 120

• verify: State the extents of pointer fields, and separate pairs with an extent over their extents

  skipped:
  Check code formatting#119:Pull request#72synchronizebySwayamInSync
  fix/pointer-field-extents

  Oct 24, 20261s
  More actions for workflow run 119

• verify: Verify records through references, as pointers never null or reseated

  skipped:
  Check code formatting#118:Pull request#70synchronizebySwayamInSync
  fix/record-references

  Oct 24, 20261s
  More actions for workflow run 118

• verify: Let an unsupported construct cost its function alone

  skipped:
  Check code formatting#117:Pull request#69synchronizebySwayamInSync
  fix/per-function-errors

  Oct 24, 20261s
  More actions for workflow run 117

• verify: State the extents of pointer fields, and separate pairs with an extent over their extents

  skipped:
  Check code formatting#116:Pull request#72openedbySwayamInSync
  fix/pointer-field-extents

  Oct 24, 20261s
  More actions for workflow run 116

• verify: Let an unsupported construct cost its function alone

  skipped:
  Check code formatting#115:Pull request#69synchronizebySwayamInSync
  fix/per-function-errors

  Oct 24, 20261s
  More actions for workflow run 115

• verify: Verify records through references, as pointers never null or reseated

  skipped:
  Check code formatting#114:Pull request#70synchronizebySwayamInSync
  fix/record-references

  Oct 24, 2026Skipped
  More actions for workflow run 114

• verify: Lend local records and addresses to callees that keep no address of them

  skipped:
  Check code formatting#113:Pull request#71synchronizebySwayamInSync
  fix/local-record-arguments

  Oct 24, 20261s
  More actions for workflow run 113

• verify: Confirm certified counterexamples in Lean, and make the gate's Lean row decisive

  skipped:
  Check code formatting#112:Pull request#68synchronizebySwayamInSync
  fix/lean-refutations

  Oct 24, 20261s
  More actions for workflow run 112

• verify: Lend local records and addresses to callees that keep no address of them

  skipped:
  Check code formatting#111:Pull request#71openedbySwayamInSync
  fix/local-record-arguments

  Oct 24, 202610s
  More actions for workflow run 111