CppVerify documentation

Workflow runs for CppVerify documentation

• verify: Replay obligation archives into Lean projects, bounded modules included

  cancelled:
  CppVerify documentation#154:Pull request#67openedbySwayamInSync
  fix/lean-replay

  Oct 24, 20263s
  More actions for workflow run 154

• verify: Define spec functions in Lean when Lean proves they terminate

  cancelled:
  CppVerify documentation#153:Pull request#66openedbySwayamInSync
  fix/lean-spec-definitions

  Oct 24, 20264s
  More actions for workflow run 153

• verify: Export spec collections to Lean, and extend cppverify_auto for them

  cancelled:
  CppVerify documentation#152:Pull request#65openedbySwayamInSync
  fix/lean-collections

  Oct 24, 20264s
  More actions for workflow run 152

• verify: Give each function of a Lean project its own goal module, and build only the proofs that changed

  cancelled:
  CppVerify documentation#151:Pull request#62synchronizebySwayamInSync
  fix/lean-modules

  Oct 24, 20261m 0s
  More actions for workflow run 151

• verify: Replay a Lean project into one kernel environment, importing the toolchain once

  cancelled:
  CppVerify documentation#150:Pull request#63synchronizebySwayamInSync
  fix/lean-certifier-memory

  Oct 24, 20261s
  More actions for workflow run 150

• Merge pull request #64 from SwayamInSync/perf/shared-logic-terms

  completed successfully:
  CppVerify documentation#149:Commit12dc9bcpushedbySwayamInSync
  main

  Oct 24, 202649m 54s
  More actions for workflow run 149

• verify: Share the subterms of logic terms instead of copying them

  completed successfully:
  CppVerify documentation#148:Pull request#64openedbySwayamInSync
  perf/shared-logic-terms

  Oct 23, 20262m 15s
  More actions for workflow run 148

• verify: Replay a Lean project into one kernel environment, importing the toolchain once

  completed successfully:
  CppVerify documentation#147:Pull request#63openedbySwayamInSync
  fix/lean-certifier-memory

  Oct 23, 20262m 19s
  More actions for workflow run 147

• verify: Give each function of a Lean project its own goal module, and build only the proofs that changed

  completed successfully:
  CppVerify documentation#146:Pull request#62synchronizebySwayamInSync
  fix/lean-modules

  Oct 23, 20265m 14s
  More actions for workflow run 146

• verify: Give each function of a Lean project its own goal module, and build only the proofs that changed

  completed successfully:
  CppVerify documentation#145:Pull request#62openedbySwayamInSync
  fix/lean-modules

  Oct 23, 20263m 29s
  More actions for workflow run 145

• Merge pull request #61 from SwayamInSync/fix/lean-automation

  completed successfully:
  CppVerify documentation#144:Commitc681385pushedbySwayamInSync
  main

  Oct 23, 20262m 33s
  More actions for workflow run 144

• verify: Try cppverify_auto on each new Lean goal, and certify it faster

  completed successfully:
  CppVerify documentation#143:Pull request#61synchronizebySwayamInSync
  fix/lean-automation

  Oct 23, 20267m 52s
  More actions for workflow run 143

• Merge pull request #57 from SwayamInSync/fix/contract-wellformedness

  completed successfully:
  CppVerify documentation#142:Commit213a367pushedbySwayamInSync
  main

  Oct 23, 20262m 26s
  More actions for workflow run 142

• verify: Try cppverify_auto on each new Lean goal, and certify it faster

  completed successfully:
  CppVerify documentation#141:Pull request#61synchronizebySwayamInSync
  fix/lean-automation

  Oct 23, 20264m 59s
  More actions for workflow run 141

• verify: Check that a contract is defined where C++ evaluates it

  completed successfully:
  CppVerify documentation#140:Pull request#57synchronizebySwayamInSync
  fix/contract-wellformedness

  Oct 23, 20263m 26s
  More actions for workflow run 140

• verify: Try cppverify_auto on each new Lean goal, and certify it faster

  completed successfully:
  CppVerify documentation#139:Pull request#61synchronizebySwayamInSync
  fix/lean-automation

  Oct 23, 20262m 11s
  More actions for workflow run 139

• verify: Try cppverify_auto on each new Lean goal, and certify it faster

  completed successfully:
  CppVerify documentation#138:Pull request#61openedbySwayamInSync
  fix/lean-automation

  Oct 22, 20262m 37s
  More actions for workflow run 138

• verify: Check that a contract is defined where C++ evaluates it

  completed successfully:
  CppVerify documentation#137:Pull request#57synchronizebySwayamInSync
  fix/contract-wellformedness

  Oct 22, 20263m 47s
  More actions for workflow run 137

• Merge pull request #49 from SwayamInSync/docs/versioned-site

  completed successfully:
  CppVerify documentation#136:Commitf861d01pushedbySwayamInSync
  main

  Oct 22, 20266m 52s
  More actions for workflow run 136

• Merge pull request #46 from SwayamInSync/fix/bug-report-url

  completed successfully:
  CppVerify documentation#135:Commit14f4aaepushedbySwayamInSync
  main

  Oct 22, 20265m 20s
  More actions for workflow run 135

• verify: Check that a contract is defined where C++ evaluates it

  completed successfully:
  CppVerify documentation#134:Pull request#57synchronizebySwayamInSync
  fix/contract-wellformedness

  Oct 22, 20261m 37s
  More actions for workflow run 134

• Merge pull request #60 from SwayamInSync/fix/lean-checker

  completed successfully:
  CppVerify documentation#133:Commit62af455pushedbySwayamInSync
  main

  Oct 22, 20267m 50s
  More actions for workflow run 133

• verify: Check that a contract is defined where C++ evaluates it

  completed successfully:
  CppVerify documentation#132:Pull request#57synchronizebySwayamInSync
  fix/contract-wellformedness

  Oct 22, 20261m 31s
  More actions for workflow run 132

• verify: Certify Lean proofs from their compiled modules, against proofs in bad faith

  completed successfully:
  CppVerify documentation#131:Pull request#60openedbySwayamInSync
  fix/lean-checker

  Oct 22, 20261m 35s
  More actions for workflow run 131

• Merge pull request #59 from SwayamInSync/fix/lean-readable

  completed successfully:
  CppVerify documentation#130:Commit85f0b90pushedbySwayamInSync
  main

  Oct 22, 20263m 22s
  More actions for workflow run 130