List view

Add Runnable trait and make ordering engines parametric

engine-related

enhancementNew feature or requestNew feature or request

juvix-related

priority:high

Status: Merged (completed).

anoma/nspecnumber 321

#321 In anoma/nspec;

· by AHartNtkn was closed on Jan 28, 2025

feat: implement interactive engine simulator with message passing support

engine-definition

enhancementNew feature or requestNew feature or request

new-content

system-architecture

tutorial

Status: Merged (completed).

anoma/nspecnumber 347

#347 In anoma/nspec;

· by jonaprieto was closed on Jun 3, 2025

feat: add engine simulator with message passing and pretty printing

engine-definition

enhancementNew feature or requestNew feature or request

new

new-content

node-architecture

Status: Merged (completed).

anoma/nspecnumber 355

#355 In anoma/nspec;

· by AHartNtkn was closed on Jun 3, 2025

Update RM specs (post-HHH edition)

resource-machine

Status: Merged (completed).

anoma/nspecnumber 359

#359 In anoma/nspec;

· by vveiln was closed on May 2, 2025

docs: Add v0.2.0 changelog entry

documentationImprovements or additions to documentationImprovements or additions to documentation

maintenance

v2v2 aka vTestnet, v1.5, ...v2 aka vTestnet, v1.5, ...

Status: Merged (completed).

anoma/nspecnumber 382

#382 In anoma/nspec;

· by jonaprieto was closed on Jun 3, 2025

Update the application architecture section

Status: Closed (completed).

#160 In anoma/nspec;

· by heueristik was closed on Dec 22, 2024