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

Conway conformance: DELEG - Translate #4465

Closed

teodanciu opened this issue Jul 3, 2024 · 0 comments · Fixed by #4469

Assignees

Contributor

teodanciu commented Jul 3, 2024

No description provided.

teodanciu mentioned this issue

Conway conformance track #4427

Open

80 tasks

teodanciu changed the title ~~Translate~~ Conway conformance: DELEG - Translate

teodanciu self-assigned this

teodanciu mentioned this issue

Conformance DELEG: Extract Deleg ExecSpecRule and SpecTranslate instances #4469

Merged

9 tasks

teodanciu closed this as completed in #4469

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment