HTML doc

Workflow runs for HTML doc

• AutoLocality: Derive disjoint projections linearly

  completed successfully:
  HTML doc#201:Commit200f1acpushedbyhanno-becker
  main

  Oct 6, 202619m 30s
  More actions for workflow run 201

• uRust: Accept path-valued names for simple word enums

  completed successfully:
  HTML doc#200:Commit761256apushedbyhanno-becker
  main

  Sep 23, 202616m 35s
  More actions for workflow run 200

• Misc: Hide sorting helper names from downstream theories

  completed successfully:
  HTML doc#199:Commit60e1a30pushedbyhanno-becker
  main

  Sep 16, 202631m 45s
  More actions for workflow run 199

• I/P: Allow selecting the remote ML platform

  completed successfully:
  HTML doc#198:Commitc666753pushedbyhanno-becker
  main

  Sep 11, 202620m 6s
  More actions for workflow run 198

• I/P: Silently normalize ISABELLE_HOME

  completed successfully:
  HTML doc#197:Commiteccf4fepushedbyhanno-becker
  main

  Sep 2, 202617m 13s
  More actions for workflow run 197

• ip: Add proof and range timing views to heap-db-inspect

  completed successfully:
  HTML doc#196:Commit7eaf6e6pushedbyhanno-becker
  main

  Sep 1, 202620m 26s
  More actions for workflow run 196

• [fix] I/P: Forward SMT/ATP solver env vars to the remote ML process

  completed successfully:
  HTML doc#195:Commit49a819cpushedbyhanno-becker
  main

  Aug 29, 202617m 1s
  More actions for workflow run 195

• ip: Support Amazon Linux 2023 remote hosts

  completed successfully:
  HTML doc#194:Commitf028610pushedbyhanno-becker
  main

  Aug 29, 202617m 12s
  More actions for workflow run 194

• ic2: Fix stale and incorrect claims in the README

  completed successfully:
  HTML doc#193:Commit91a60ccpushedbyhanno-becker
  main

  Aug 24, 202610m 32s
  More actions for workflow run 193

• ic2: Add per-command check timeouts

  completed successfully:
  HTML doc#192:Commit0a46ad4pushedbyhanno-becker
  main

  Aug 18, 202629m 37s
  More actions for workflow run 192

• Misc: equal_instance plugin, and make the generated constants exportable

  completed successfully:
  HTML doc#191:Commitba31261pushedbyike-mulder-aws
  main

  Aug 6, 202620s
  More actions for workflow run 191

• AutoCorrode: Add small helper lemmas for magic wand and WP

  completed successfully:
  HTML doc#190:Commitb011deapushedbyike-mulder-aws
  main

  Aug 3, 202616m 48s
  More actions for workflow run 190

• Micro_Rust_Std_Lib: Remove StdLib_Exception

  completed successfully:
  HTML doc#189:Commit0a3ef42pushedbyike-mulder-aws
  main

  Jul 31, 202617m 40s
  More actions for workflow run 189

• I/P: Disable ip-test CI job temporarily

  completed successfully:
  HTML doc#188:Commitd36802dpushedbyike-mulder-aws
  main

  Jul 31, 202617m 51s
  More actions for workflow run 188

• Crush: Parametrizable MePo premise filter, split into a standalone core

  completed successfully:
  HTML doc#187:Commitda7b267pushedbyhanno-becker
  main

  Jul 16, 202618m 34s
  More actions for workflow run 187

• ic2: preserve failed commands in cancel-via-edit, fix lost diagnostics

  completed successfully:
  HTML doc#186:Commit26efebfpushedbyhanno-becker
  main

  Jul 15, 202615m 25s
  More actions for workflow run 186

• ic2: Drive partial check via a bounded visible perspective

  completed successfully:
  HTML doc#185:Commit053853bpushedbyhanno-becker
  main

  Jul 15, 202611m 0s
  More actions for workflow run 185

• Make ic2 checks submit-only

  completed successfully:
  HTML doc#184:Commit8bbe7ebpushedbyhanno-becker
  main

  Jul 14, 202616m 50s
  More actions for workflow run 184

• Preserve IC2 state across theory edits

  completed successfully:
  HTML doc#183:Commite0b0774pushedbyhanno-becker
  main

  Jul 13, 202616m 45s
  More actions for workflow run 183

• ic2: server status — prominent readiness state; ready == activity

  completed successfully:
  HTML doc#182:Commit1f3589cpushedbyhanno-becker
  main

  Jul 13, 202616m 54s
  More actions for workflow run 182

• ic2: server status shows cwd, start time, last activity; sort by last

  completed successfully:
  HTML doc#181:Commit4802221pushedbyhanno-becker
  main

  Jul 12, 202616m 52s
  More actions for workflow run 181

• ic2: order progress by last-updated, default 20 bars, stable display

  completed successfully:
  HTML doc#180:Commit609de19pushedbyhanno-becker
  main

  Jul 11, 202614m 19s
  More actions for workflow run 180

• I/R: test_repl.py: pass --port/--token in equal-sign form to cli

  completed successfully:
  HTML doc#179:Commitb009fffpushedbyhanno-becker
  main

  Jul 10, 202616m 0s
  More actions for workflow run 179

• Add proof shelving infrastructure (Shelver.thy + shelver.ML)

  completed successfully:
  HTML doc#178:Commit3def502pushedbyike-mulder-aws
  main

  Jul 10, 202614m 6s
  More actions for workflow run 178

• ic2: headless PIDE daemon + client (check, query, cancel/resume, I/R,…

  completed successfully:
  HTML doc#177:Commit63ce159pushedbyhanno-becker
  main

  Jul 10, 202616m 14s
  More actions for workflow run 177