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

Unify options for generating synthesizable code #1400

Open
rachitnigam opened this issue Mar 15, 2023 · 0 comments
Open

Unify options for generating synthesizable code #1400

rachitnigam opened this issue Mar 15, 2023 · 0 comments
Labels
S: Available Can be worked upon
Milestone
Quality of Results

Comments

@rachitnigam
Copy link
Contributor

Currently we have both --synthesis (which controls the backend) and the -p externalize alias which runs the synthesis passes. We should have exactly one command to trigger everything for you instead (and rename externalize to synthesize)
@rachitnigam rachitnigam added C: Calyx Extension or change to the Calyx IL S: Available Can be worked upon and removed C: Calyx Extension or change to the Calyx IL labels Apr 12, 2023
@rachitnigam rachitnigam added this to the Quality of Results milestone Apr 28, 2023
@rachitnigam rachitnigam mentioned this issue May 2, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
S: Available Can be worked upon
Projects
None yet
Milestone
Quality of Results
Development

No branches or pull requests
1 participant
@rachitnigam