Case Studies

This page documents what is runnable in this OSS package and what is legacy/experimental.

Paths and Layout

Runtime looks for case-study assets under:

Expected layout per case study:

<SPEC2CODE_CASE_STUDIES_ROOT>/<case_study>/
  nlspec.txt
  interface.txt or <module>.is
  headers/
    *.h

Template-driven runs in this repo currently rely on explicit paths in config/gui_templates/shutdown-algorithm-template.json.

shutdown_algorithm: supported and documented.
sgmm, sgmm_full: legacy/experimental identifiers; not shipped as ready-to-run assets/templates in this OSS package.
sfld, sfld-ghost: legacy/experimental identifiers; not shipped as ready-to-run assets/templates in this OSS package.
brak, brak-ghost, test: internal/testing identifiers.

See per-case-study notes: