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

[YXI] Consolidate two different YXI directories #2328

Open

sampsyo opened this issue Nov 3, 2024 · 0 comments

Contributor

sampsyo commented Nov 3, 2024

We currently have two directories for YXI-related stuff:

/yxi: Most things.
/tools/yxi: The Rust tool for generating YXI specs from Calyx code.

We should unify these! My proposal is /tools/yxi, and the latter would become /tools/yxi/gen-yxi or similar.

Some tests (and the workspace Cargo.toml) would require minor changes.

The text was updated successfully, but these errors were encountered:

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