Repository navigation

Restructure and update the autoharness reference page - #4991

Open

CYJ904 wants to merge 18 commits into

model-checking:mainfrom

CYJ904:docs/autoharness-restructure

Open

Restructure and update the autoharness reference page#4991
CYJ904 wants to merge 18 commits into
model-checking:mainfrom
CYJ904:docs/autoharness-restructure

Commits on Oct 7, 2026
- Restructure the autoharness reference page
  CYJ904
  committed
  f3bdbdc
Commits on Oct 8, 2026
- Fill in the soundness caveats of the autoharness reference page
  CYJ904
  committed
  4fbd464
- Document default autoharness argument generators
  
  wodex1nhaoIeng
  authored and
  CYJ904
  committed
  896023f
Commits on Oct 9, 2026
- Merge branch 'model-checking:main' into docs/autoharness-restructure
  CYJ904
  authored
  2faf035
- docs(autoharness): document function selection and skip reasons
  
  authored and
  CYJ904
  committed
  76edc56
- Document autoharness default settings and the summary table
  CYJ904
  committed
  a81096f
- Document running autoharness on the standard library
  CYJ904
  committed
  2eba282
- Add an architecture overview for autoharness contributors
  CYJ904
  committed
  2f1b06a
- Polish the autoharness reference page for consistency
  CYJ904
  committed
  269d5f5
- Document autoharness assumptions and checks
  wodex1nhaoIeng
  authored
  882e3d1
- Clarify autoharness model availability and generation limits
  wodex1nhaoIeng
  authored
  2da6015
- Document the missing "(ctor)" marker for mined-invariant filtering
  CYJ904
  committed
  d5bfbdb
Commits on Oct 22, 2026
- Merge branch 'main' into docs/autoharness-restructure
  CYJ904
  authored
  bc99f58
Commits on Oct 29, 2026
- Merge branch 'main' into docs/autoharness-restructure
  CYJ904
  authored
  28bbd9d
Commits on Nov 1, 2026