@bramas/simulant-lang 0.1.0 → 0.1.2

package/README.md

@@ -0,0 +1,43 @@
+# @bramas/simulant-lang
+
+Compiler and typed intermediate representation for Simulant, a language for
+experiments on mobile entities and distributed algorithms. The compiler parses
+`.sim` files, resolves imports, elaborates models and algorithms, lowers
+structured procedures, and checks types and model capabilities.
+
+For a complete project with a simulator and CLI:
+
+```sh
+npm create @bramas/simulant@latest my-project
+```
+
+## Compiler API
+
+```sh
+npm install @bramas/simulant-lang
+```
+
+```ts
+import { loadProgram } from '@bramas/simulant-lang/elab/node';
+import { compile } from '@bramas/simulant-lang/elab/elaborate';
+
+const result = compile(loadProgram('src/main.sim'));
+console.log(result.diagnostics);
+console.log(Object.keys(result.experiments));
+```
+
+Each entry in `result.experiments` contains diagnostics and, when compilation
+succeeds, an `experiment`. `loadProgram` reads sources from disk and resolves
+`std/*.sim` imports from the installed standard library. For custom source
+storage, construct a `Program` with a source host instead.
+
+Types are exported from `@bramas/simulant-lang/ir`; the independent TypeScript
+IR builder is available at `@bramas/simulant-lang/builder`. This package uses
+subpath exports; it has no root import. Execution and exploration belong to
+`@bramas/simulant-engine`.
+
+[Language reference](https://github.com/Bramas/simulant/blob/main/docs/sim-language.md)
+· [IR contract](https://github.com/Bramas/simulant/blob/main/docs/ir.md)
+· [Source](https://github.com/Bramas/simulant/tree/main/packages/lang)
+
+Licensed under CeCILL-B; see `LICENCE.txt`.

package/dist/elab/elaborate.js

@@ -29,7 +29,7 @@ export class ElabError extends Error {
     }
 }
 const fail = (msg, span) => { throw new ElabError(msg, span); };
-const ROUND = T.enum('Round', ['fsync', 'ssync']);
+const ROUND = T.enum('Round', ['fsync', 'ssync', 'sequential']);
 const MEMORY = T.enum('Memory', ['persistent', 'oblivious']);
 const SYMMETRIES = T.enum('Symmetries', ['derived', 'none']);
 const META_TYPES = new Set(['Component', 'Model', 'Sensor', 'Topology', 'FrameModel', 'Round', 'Memory', 'Symmetries']);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@bramas/simulant-lang",
-  "version": "0.1.0",
+  "version": "0.1.2",
   "private": false,
   "license": "CECILL-B",
   "type": "module",
@@ -20,7 +20,7 @@
     "LICENCE.txt"
   ],
   "dependencies": {
-    "@bramas/simulant-stdlib": "0.1.0"
+    "@bramas/simulant-stdlib": "0.1.2"
   },
   "repository": {
     "type": "git",

package/src/elab/elaborate.ts

@@ -52,7 +52,7 @@ type MV =
   | { m: 'topology'; ir: Topology }
   | { m: 'frame'; ir: FrameModel };
 
-const ROUND = T.enum('Round', ['fsync', 'ssync']) as Type & { k: 'enum' };
+const ROUND = T.enum('Round', ['fsync', 'ssync', 'sequential']) as Type & { k: 'enum' };
 const MEMORY = T.enum('Memory', ['persistent', 'oblivious']) as Type & { k: 'enum' };
 const SYMMETRIES = T.enum('Symmetries', ['derived', 'none']) as Type & { k: 'enum' };
 const META_TYPES = new Set(['Component', 'Model', 'Sensor', 'Topology', 'FrameModel', 'Round', 'Memory', 'Symmetries']);

package/src/ir.ts

@@ -145,8 +145,8 @@ export type Model = {
   sensors: Sensor[];
   memory: 'persistent' | 'oblivious';
   frame: FrameModel;
-  /** `ssync`: the adversary activates a nonempty set of eligible agents; executions must be scheduler-fair. */
-  round: 'fsync' | 'ssync';
+  /** `ssync`: a nonempty eligible subset; `sequential`: one eligible agent. Both require scheduler fairness. */
+  round: 'fsync' | 'ssync' | 'sequential';
   movement: 'rigid';
   components: Component[];
   symmetries: 'derived' | 'none';