SMV

Aliases: —

Provenance: commit 8f8cfb2c30 · authored 2025-10-30T12:45:15+01:00 · model x-ai/grok-4-fast

1 source · not in taxonomy (canonical name didn't match any upstream)

Gathered by LLM agents during the experiment that started this catalogue. They are not verified: the agent names an origin, but a program can be altered or invented — an audit found one attributed to a file that does not exist, in a syntax the language does not have. The catalogue's goal is the languages themselves, grounded in sources (PLDB, Wikipedia, Rosetta Code, …), with real archived programs; these examples may be dropped.

MODULE counter

VAR
  state : 0 .. 15;

VAR
  out : boolean;

ASSIGN
  init(state) := 0;
  next(state) := case
    state = 15 : 0;
    TRUE : state+1;
  esac;

  out := state = 15;