Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support for asynchronous connections between state machines #61

Open
pefribeiro opened this issue Jun 23, 2022 · 0 comments
Open

Support for asynchronous connections between state machines #61

pefribeiro opened this issue Jun 23, 2022 · 0 comments
Labels
enhancement New feature or request

Comments

@pefribeiro
Copy link
Contributor

Issue tracking the removal of Cn11 as a WFC. We're making this change so that connections between state machines can be set asynchronous.

Change in the semantics is tracked in issue https://github.com/UoY-RoboStar/robochart-csp-gen/issues/39 of robochart-csp-gen.
@pefribeiro pefribeiro added the enhancement New feature or request label Jun 23, 2022
pefribeiro added a commit that referenced this issue Jun 23, 2022
@pefribeiro
Changed Cn11 validation to warning.
de6d226 
This makes it possible to define asynchronous connections between state
machines, although the semantics for this is not currently implemented.
See the relevant issues:

* robochart-csp-gen:
UoY-RoboStar/robochart-csp-gen#39
* robochart-textual:
#61
@pefribeiro pefribeiro linked a pull request Jun 23, 2022 that will close this issue
Change check on Cn11 to warning #62
Merged
@pefribeiro pefribeiro removed a link to a pull request Jun 23, 2022
Change check on Cn11 to warning #62
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@pefribeiro