Skip to content
This repository has been archived by the owner on Nov 4, 2024. It is now read-only.

Investigate how to compile chiquito style State machine to CCS #207

Closed
leolara opened this issue Feb 20, 2024 · 1 comment
Closed

Investigate how to compile chiquito style State machine to CCS #207

leolara opened this issue Feb 20, 2024 · 1 comment
Assignees

Comments

@leolara
Copy link
Collaborator

leolara commented Feb 20, 2024

We should see by hand an example of how converting a simple state machine to CCS.

@leolara leolara moved this to In progress in Chiquito 2024 Feb 20, 2024
@10to4
Copy link
Contributor

10to4 commented Aug 29, 2024

PR in #281

@leolara leolara closed this as completed Nov 4, 2024
@github-project-automation github-project-automation bot moved this from In progress to Done in Chiquito 2024 Nov 4, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
Status: Done
Development

When branches are created from issues, their pull requests are automatically linked.

2 participants