All issues

Search results

Revamp the Readme

Status: Open.

#33 In stephen-hlx/overcooked;

· stephen-hlx opened on Jun 26, 2024

Update readme

Status: Open.

#32 In stephen-hlx/overcooked;

· stephen-hlx opened on Jun 26, 2024

Add a test that highlights that only the specified Actor is going to be rejected, not all other actors.

Status: Open.

#31 In stephen-hlx/overcooked;

· stephen-hlx opened on Jun 7, 2024

add safeguard in StateMerger

Status: Open.

#29 In stephen-hlx/overcooked;

· stephen-hlx opened on Apr 18, 2024

revise the use of StateMachineTestSetup

Status: Open.

#28 In stephen-hlx/overcooked;

· stephen-hlx opened on Apr 18, 2024

Make it an option to define a sequence of actions for an actor

Status: Open.

#26 In stephen-hlx/overcooked;

· stephen-hlx opened on Mar 6, 2024

Add simulation of clock

Status: Open.

#25 In stephen-hlx/overcooked;

· stephen-hlx opened on Feb 23, 2024

Add verification of the reachability of a state

Status: Open.

#21 In stephen-hlx/overcooked;

· stephen-hlx opened on Jan 23, 2024

Add mechanism to trigger state changes to actors

Status: Open.

#20 In stephen-hlx/overcooked;

· stephen-hlx opened on Jan 16, 2024

Show the progress of the verification

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In stephen-hlx/overcooked;

· stephen-hlx opened on Jan 16, 2024

Review GlobalState as it now has both data and behaviour

refactor

Status: Open.

#6 In stephen-hlx/overcooked;

· stephen-hlx opened on Nov 24, 2023

Is it possible / necessary to introduce Local State Machine?

questionFurther information is requestedFurther information is requested

Status: Open.

#4 In stephen-hlx/overcooked;

· stephen-hlx opened on Nov 23, 2023