@bramas/simulant-lang 0.1.0 → 0.1.1

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.1",
   "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.1"
   },
   "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';