Search results

chan == * should be implicit in receive guards

enhancementNew feature or requestNew feature or request

Status: Open.

#42 In dSynMa/recipe;

· lou1306 opened on Dec 6, 2024

Problem with the send guards of the transitions in the example "Autonomous Resource Allocation"

Status: Open.

#39 In dSynMa/recipe;

· aaniculaesei opened on Nov 4, 2024

Recording these formulas would give different results. The first one should be false and the other one is true.

Status: Open.

#37 In dSynMa/recipe;

· lazkany opened on Sep 26, 2024

Get/Supply to a set of names

enhancementNew feature or requestNew feature or request

Status: Open.

#33 In dSynMa/recipe;

· lou1306 opened on Apr 22, 2024

Language Parsing

Status: Open.

#27 In dSynMa/recipe;

· shaunazzopardi opened on Aug 21, 2023

Proper documentation

Status: Open.

#26 In dSynMa/recipe;

· shaunazzopardi opened on Aug 21, 2023

Add tests that run model checker and validate result

Status: Open.

#13 In dSynMa/recipe;

· shaunazzopardi opened on Feb 24, 2023